Название: Функции алгебры логики и классы Поста
Автор: Яблонский С.В., Гаврилов Г.П., Кудрявцев В.Б.
Издательство: Наука
Год: 1966
Формат: PDF
Страниц: 120
Размер: 16.3 MB
Язык: Русский
Работа состоит из двух частей. В гл. 1 первой части вводятся основные понятия алгебры логики и приводится ряд общих теорем. Эта глава по своему содержанию тесно примыкает к работе одного из авторов. В гл. 2-4 первой части рассматриваются некотрые специальные замкнутые классы и связанные с ними итерационные свойства. В связи с этим доказывается большое количество лемм. Основные построения производятся в следующей части. В гл. 1 второй части строятся замкнутые классы функций алгебры логики. Здесь же показывается, что других замкнутых классов нет, каждый замкнутый класс порождается своей конечной подсистемой и т. п. В гл. 2 монтируется структура всех замкнутых классов, исходя из структур для отдельных групп замкнутых классов. На основе этого уточняются некоторые теоремы гл. 1 и формулируются теоремы о полноте.
Скачать Яблонский С.В., Гаврилов Г.П., Кудрявцев В.Б. - Функции алгебры логики и классы Поста [1966, PDF]