Логические и математические исчисления: учебное пособие

Титульный лист Выходные данные Оглавление Предисловие ВВЕДЕНИЕ § 1. Математическая логика § 2. Формализованный язык 1. Синтактика 2. Дедуктика 3. Семантика А. ЛОГИЧЕСКИЕ ИСЧИСЛЕНИЯ А1. ИСЧИСЛЕНИЯ ВЫСКАЗЫВАНИЙ Глава I. Исчисление K § 1. Синтактика § 2. Семантика § 3. Дедуктика Глава II. Исчисление K' Глава III. Исчисления высказываний в алфавите A_K Глава IV. Основные свойства исчислений высказываний § 1. Непротиворечивость § 2. Интермедия § 3. Полнота § 4. Независимость А2. ИСЧИСЛЕНИЯ ПРЕДИКАТОВ Глава V. Исчисление L § 1. Синтактика § 2. Семантика § 3. Дедуктика Глава VI. Исчисление M Б. МАТЕМАТИЧЕСКИЕ ИСЧИСЛЕНИЯ Глава VII. Исчисление И § 1. Синтактика § 2. Семантика § 3. Дедуктика § 4. Основные свойства математических исчислений Глава VIII. Исчисление AR § 1. Синтактика § 2. Семантика § 3. Дедуктика § 4. Основные свойства исчисления AR Глава IX. Теорема Гёделя о неполноте § 1. Узкая формулировка § 2. Широкие формулировки ДОПОЛНЕНИЯ Глава X. Другие исчисления § 1. Ассоциативные исчисления § 2. Двухсторонние ассоциативные исчисления § 3. Порождающие грамматики § 4. Исчисление регулярных выражений § 5. Исчисление рекурсивных функций Глава XI. Общая теория исчислений § 1. Исчисления Поста § 2. Исчисления по Успенскому ПРИЛОЖЕНИЯ 1. Булевы функции 2. Булевы алгебры в исчислении высказываний 3. Исчисления высказываний в разных алфавитах 4. Операции над языками 5. Регулярные языки 6. Программа Примечания Упомянутая литература Указатель терминов Указатель обозначений