МЦНМО ИНТЕРНЕТ БИБЛИОТЕКА Физматлит

Каталог библиотеки

Семен Григорьевич Гиндикин.

Алгебра логики в задачах.

М., Наука, 1972 — 288 с.
50 000 экз.

СОДЕРЖАНИЕ

Предисловие.
Путеводитель и указания к пользованию книгой.

§ 1. Операции над высказываниями. Задачи, указания и решения.
§ 2. Функции алгебры логики; нормальные формы. Задачи, указания и решения.
§ 3. Закон двойственности в алгебре логики. Задачи, указания и решения.
§ 4. Арифметические операции в алгебре логики. Задачи, указания и решения.
§ 5. Монотонные функции алгебры логики. Задачи, указания и решения.
§ 6. Функционально замкнутые классы и теорема Поста. Задачи, указания и решения.
§ 7. Общая теория функционально замкнутых классов. Задачи, указания и решения.
§ 8. Схемы из функциональных элементов. Задачи, указания и решения.
§ 9. Релейно-контактные схемы. Оценки сложности схем. Задачи, указания и решения.
§ 10. Элементы вероятностной логики. Задачи, указания и решения.
§ 11. Многозначные логики. Задачи, указания и решения.
§ 12. Логика предикатов. Задачи, указания и решения.

Приложение.
Литература.
Предметный указатель.


Скачать в формате Djvu 3.2 Mb
Rambler's Top100