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