Содержание
- Введение 1
- Основные понятия и определения 2
- - Переменные, константы и предикаты 2.1
- - Кванторы всеобщности и существования 2.2
- - Синтаксис и построение формул 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