Математическая логика и теория алгоритмов. Для изучающих компьютерные науки

ОГЛАВЛЕНИЕ ВВЕДЕНИЕ 3 Глава 1. ЛОГИКА ВЫСКАЗЫВАНИЙ 5 § Г Высказывание. Логические операции 5 § 2. Пропозициональные буквы, связки и формы (формулы логики высказываний) 8 § 3. Тавтологии (общезначимые формулы). Противоречия 1 0 § 4. Равносильность пропозициональных форм 1 2 § 5. Зависимости между пропозициональными связками 1 4 § 6. Нормальные формы 16 § 7. Совершенные нормальные формы 1 8 Вопросы и темы для самопроверки 20 Упражнения 21 Глава 2. ЛОГИКА ПРЕДИКАТОВ 28 § 1. Понятие предиката 28 § 2. Кванторы 29 § 3. Формулы логики предикатов 33 § 4. Интерпретация. Модель 34 § 5. Логически общезначимые формулы. Выполнимые и равносиль ­ ные формулы 39 § 6. Правила перенесения отрицания через кванторы 4 0 § 7. Правила перестановки кванторов 43 § 8. Правила переименования связанных переменных 4 4 § 9. Правила вынесения кванторов за скобки. Предваренная но р­ мальная форма 46 § 10. Проблема разрешимости логики предикатов 5 0 Вопросы и темы для самопроверки 51 Упражнения 51 ГЛАВА 3. ЛОГИЧЕСКОЕ СЛЕДСТВИЕ И МЕТОД РЕЗОЛЮЦИЙ 6 0 § 1. Логическое следствие и проблема дедукции в логике высказыва ­ ний 60 § 2. Резольвента дизъюнктов логики высказываний и метод резолю­ 261