Алгебраические системы
Мальцев А.И.
Автором этой книги является выдающийся советский математик академик Анатолий Иванович Мальцев.
А. И. Мальцев является одним из создателей теории алгебраических систем, возникшей в результате применения к алгебре методов математической логики. Формальным аппаратом этой теории служит язык так называемого прикладного исчисления предикатов, а сама теория должна рассматриваться как пограничная между математической логикой и алгеброй.Для чтения книги требуется знание обычных университетских курсов высшей алгебры и математической логики и лишь в отдельных местах читатель отсылается к специальной литературе.
А. И. Мальцев является одним из создателей теории алгебраических систем, возникшей в результате применения к алгебре методов математической логики. Формальным аппаратом этой теории служит язык так называемого прикладного исчисления предикатов, а сама теория должна рассматриваться как пограничная между математической логикой и алгеброй.Для чтения книги требуется знание обычных университетских курсов высшей алгебры и математической логики и лишь в отдельных местах читатель отсылается к специальной литературе.
Categorie:
Anno:
1970
Casa editrice:
Наука
Lingua:
russian
Pagine:
394
Collana:
Современная алгебра
File:
DJVU, 3.60 MB
IPFS:
,
russian, 1970