В книге рассматриваются и описываются основные виды алгебр бинарных формул, как в общем виде, так и применительно к ряду естественных классов теорий, включая различные виды упорядоченных теорий, полигонометрических теорий и теорий графов. Описываются связи алгебр бинарных формул с некоторыми основными теоретико-модельными и графовыми конструкциями.
Для интересующихся математической логикой и теоретико-модельной алгеброй.
Книга размещена в электронной библиотеке НГТУ.
Год издания: 2023
Автор: Емельянов Д.Ю., Кулпешов Б.Ш., Судоплатов С.В.
Кафедра: АиМЛ
Число страниц: 330
Факультет: ФПМИ