| ПРЕДИСЛОВИЕ | . . . . . . . . . . . . . . | |
| Глава I. | Алгебра высказываний . . . . . | |
| § 1. Понятие высказывания . . . . . . | ||
| § 2. Язык исчисления высказываний . . . . | ||
| § 3. Истинностные значения формул . . . . | ||
| § 4. Законы логики, противоречия, выполнимые и равносильные формулы . . . . . . | ||
| § 5. Совершенные дизъюнктивная (СДНФ) и конъюнктивная (СКНФ) нормальные формы . . | ||
| § 6. Булевы функции . . . . . . . . | ||
| § 7. Логическое следование . . . . . . | ||
| § 8. Некоторые применения алгебры высказываний | ||
| I. Анализ логических рассуждений . . . . | ||
| II. Оптимизация логики условных переходов в программах . . . . . . . . | ||
| III. Автоматизированный логический вывод формул | ||
| IV. Проектирование, анализ и оптимизация релейно-контактных и больших интегральных схем | ||
| Глава II. | Алгебра предикатов . . . . . . | |
| § 1. Предикаты и кванторы . . . . . . | ||
| § 2. Равносильные и тождественно истинные предикаты . . . . . . . . . . | ||
| § 3. Язык исчисления предикатов . . . . | ||
| § 4. Интерпретации формул исчисления предикатов | ||
| § 5. Предварённая и приведённая нормальные формы | ||
| § 6. О структуре современных математических теорий | ||
| § 7. Виды математических утверждений . . . | ||
| § 8. Некоторые методы доказательства теорем . . | ||
| Глава III. | Формальные аксиоматические теории | |
| § 1. Формальные и неформальные аксиоматические теории . . . . . . . . . . | ||
| § 2. Непротиворечивость аксиоматических теорий . | ||
| § 3. Полнота аксиоматических теорий . . . . | ||
| § 4. Разрешимость аксиоматических теорий . . | ||
| § 5. Независимость системы аксиом теории . . | ||
| § 6*. Формальное исчисление высказываний . . | ||
| ПРИЛОЖЕНИЕ | ФОРМАЛЬНАЯ ТЕОРИЯ МНОЖЕСТВ . . . | |
| § 1. Азы наивной теории множеств . . . . | ||
| § 2. Аксиоматика Цермело-Френкеля теории множеств | ||
| § 3. Формальная теория множеств: райские кущи или адские дебри ? . . . . . . . | ||
| ЛИТЕРАТУРА | . . . . . . . . . . . . . . | |
| ПРЕДМЕТНЫЙ | УКАЗАТЕЛЬ . . . . . . . . . . |