Математическая логика
1.3 Основные аксиомы и теоремы булевой алгебры:
1.5 Дизъюнктивные и конъюнктивные нормальные формы.
1. 7. Свойства булевых функций
1. 9 Минимизация булевых функций.
2.3. Метатеоремы о тавтологиях.
2.4. Формализация и решение логических задач.
3.2. Исчисление высказываний. Формальная теория L
3.3. Доказательство и вывод а формальной теории L
3. 5. Правила введения я удаления связок.
3.6. Свойства формальной теория L
3.7. Другие формализации исчисления высказывания
Глава 4. ТЕОРИЯ ПРЕДИКАТОВ ПЕРВОГО ПОРЯДКА
4.2. Формализация- предложения естественного языка.
4.4. Проверял общезначимости формул алгебры предикатов.
4.5. Основные логически общезначимые формулы алгебры предикатов.
4.6. Логическое следование и равносильность формул
4.8. Исчисление предикатов первого порядка Теория К.
4.9. Формализация и доказательство логического следования
Глава 5. АВТОМАТИЧЕСКОЕ ДОКАЗАТЕЛЬСТВО ТЕОРЕМ
5.2. Предваренные нормальные формы
5.3. Скулемовская стандартная форма
5.4. Эрбрановский универсум множества дизъюнктов.
5.5. Метод резолюций для логики высказываний.
5.6. Примеры использования метода резолюций.
Глава 6. ФОРМАЛЬНАЯ АРИФМЕТИКА
6.3. Арифметические функции и отношения
6.4. Примитивно рекурсивные и рекурсивные функции.
6.5. Арифметизация. Геделевы номера.
6. 6. Теорема Геделя о неполноте.
12 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44