Алгебраические системы
Мальцев А.И.
Автором этой книги является выдающийся советский математик академик Анатолий Иванович Мальцев.
А. И. Мальцев является одним из создателей теории алгебраических систем, возникшей в результате применения к алгебре методов математической логики. Формальным аппаратом этой теории служит язык так называемого прикладного исчисления предикатов, а сама теория должна рассматриваться как пограничная между математической логикой и алгеброй.Для чтения книги требуется знание обычных университетских курсов высшей алгебры и математической логики и лишь в отдельных местах читатель отсылается к специальной литературе.
А. И. Мальцев является одним из создателей теории алгебраических систем, возникшей в результате применения к алгебре методов математической логики. Формальным аппаратом этой теории служит язык так называемого прикладного исчисления предикатов, а сама теория должна рассматриваться как пограничная между математической логикой и алгеброй.Для чтения книги требуется знание обычных университетских курсов высшей алгебры и математической логики и лишь в отдельных местах читатель отсылается к специальной литературе.
Kategorije:
Godina:
1970
Izdavač:
Наука
Jezik:
russian
Strane:
394
Serije:
Современная алгебра
Fajl:
DJVU, 3.60 MB
IPFS:
,
russian, 1970