Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Яблонский С.В., Гаврилов Г.П., Кудрявцев В.Б. — Функции алгебры логики и классы Поста
Яблонский С.В., Гаврилов Г.П., Кудрявцев В.Б. — Функции алгебры логики и классы Поста



Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: Функции алгебры логики и классы Поста

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

Аннотация:

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


Язык: ru

Рубрика: Математика/

Статус предметного указателя: Неизвестно

ed2k: ed2k stats

Год издания: 1966

Количество страниц: 120

Добавлена в каталог: 04.03.2006

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте