Сводный каталог книг

w10=
Найдено документов в текущей БД: 2
   В123+В152.61
   М300

    Замкнутые классы булевых функций
[Текст] / Марченков С.С. - 2-е изд., испр. - Москва : Физматлит, 2001. - 126 с : табл. - Библиогр.: с. 119-121. - Указ. обозначений, предм.: с. 122-126. - ISBN 5-9221-0132-3 : 58.10 р.
УДК

Аннотация: В книге рассмотрен круг проблем, связанных с замкнутыми классами булевых функций (классами Поста). Изложено новое компактное доказательство конечной порождаемости всех классов Поста и дано описание решетки классов Поста. Рассмотрено предикатное задание классов Поста и приведено определение классов Поста в терминах некоторых стандартных предикатов. Изложены основы теории Галуа для алгебры булевых функций. Введены булевы вектор-функции, с использованием соответствий Галуа решена проблема полноты для класса всех булевых вектор-функций. Рассмотрены некоторые "сильные" операторы замыкания, которые приводят к конечным решеткам замкнутых классов. Первое издание - 2000 г. Для научных сотрудников, работающих в области дискретной математики, а также студентов, изучающих булевы функции.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)
   В15
   М215

    Итеративные алгебры Поста
[Текст] : монография / А. И. Мальцев, И. А. Мальцев. - Новосибирск : Институт математики, 2009. - 188 с. : ил., табл. - Библиогр.: с.141-183 . - Предм. указ.: с. 184-187. - В надзаг.: Российская академия наук; Сибирское отделение; Институт математики им. С.Л. Соболева. - ISBN 978-5-86134-156-1 : 5.00 р.
ГРНТИ
УДК
ББК В152.61
Рубрики:
Поста алгебры
Кл.слова (ненормированные):
Алгебра логики

Аннотация: Монография "Итеративные алгебры Поста" написана выдающимся советским математиком Анатолием Ивановичем Мальцевым в последние годы его жизни. В ней был отражен совершенно новый взгляд на интенсивно излучавшиеся тогда замкнутые классы многозначных логик как на особый класс универсальных алгебр и заложены основы алгебраической теории многозначных логик. Изданная в НГУ в 1976 г. небольшим тиражом, книга быстро разошлась и с тех пор более не переиздавалась. Несмотря на бурное развитие в различных направлениях исследований замкнутых классов функций, она нисколько не утратила и служит превосходным введением в эту область математики. Написанная просто и ясно, монография А.И. Мальцева будет полезна как лицам, желающим заниматься исследованиями замкнутых классов функций, так и преподавателям высших учебных заведений в качестве учебного пособия. В настоящем издании И.А. Мальцевым исправлены выявленные опечатки, добавлены некоторые недостающие фрагменты доказательств, написано добавление и составлен библиографический список.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Мальцев, Иван Анатольевич
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)