Содержание
- Введение 1
- Аксиоматические системы и их свойства 2
- - Понятие аксиомы и аксиоматической системы 2.1
- - Свойства аксиоматических систем: непротиворечивость, полнота, разрешимость 2.2
- - Примеры аксиоматических систем: арифметика Пеано, ZFC 2.3
- Логический вывод и доказательства 3
- - Основные понятия логики: формулы, кванторы, логические связки 3.1
- - Системы логического вывода: дедукция, индукция, абдукция 3.2
- - Методы доказательства теорем: прямое доказательство, доказательство от противного, математическая индукция 3.3
- Формальные модели и интерпретации 4
- - Понятие формальной модели и интерпретации 4.1
- - Типы формальных моделей: арифметические, алгебраические, геометрические 4.2
- - Взаимосвязь между формальными системами и их интерпретациями 4.3
- Практическое применение формальных методов 5
- - Формальная верификация программного обеспечения 5.1
- - Автоматизированное доказательство теорем 5.2
- - Формальные методы в искусственном интеллекте 5.3
- Заключение 6
- Список литературы 7