Функции алгебры логики и классы Поста.

Аннотация

Работа состоит из двух частей. В первой части вводятся основные понятия алгебры логики и приводится ряд общих теорем. Эта глава по своему содержанию тесно примыкает к работе одного из авторов. Рассматриваются некоторые специальные замкнутые классы и связанные с ними итерационные свойства. В связи с этим доказывается большое количество лемм. Основные построения производятся в следующей части.

Авторы:   Яблонский С.В.  Гаврилов Г.П.  Кудрявцев В.Б.

Категории:   Математика

Формат: djvu


Во второй части строятся замкнутые классы функций алгебры логики. Здесь же показывается, что других замкнутых классов нет, каждый замкнутый класс порождается своей конечной подсистемой и т. п. Монтируется структура всех замкнутых классов, исходя из структур для отдельных групп замкнутых классов. На основе этого уточняются некоторые теоремы и формулируются теоремы о полноте.

Издательство:

Наука

Город:

Москва

Год издания:

1966

Прочитано страниц:

1318

Распознаных страниц:

402

Количество загрузок:

67

Размер файлов:

876 KB

Файлы для скачивания доступны в течении 4х часов после создания ссылок.

Не закрывайте это окно до окончания скачивания, иначе вам прийдется заново делать запрос на файлы.

 

 

 

 

 

Получить ссылку на файлы

Отзывы
    Warning! Нет данных для отображения
Написать собственный отзыв
Warning! Вы не можете просматривать данную страницу

Новинки сайта