Содержание
- Введение 1
- Основные понятия и определения формальной теории 2
- - Аксиоматические системы 2.1
- - Формальные языки 2.2
- - Правила вывода 2.3
- Теоремы Гёделя о неполноте 3
- - Первая теорема Гёделя 3.1
- - Вторая теорема Гёделя 3.2
- - Ограничения формализации 3.3
- Применение формальной теории в информатике 4
- - Формальные методы верификации 4.1
- - Логическое программирование 4.2
- - Автоматическое доказательство теорем 4.3
- Заключение 5
- Список литературы 6