2.3 Основы логики предикатов и логического вывода

Содержание

• Глава 2. Введение в математическую логику
• 2.1. Формальные модели
• 2.2. Логика высказываний
• 2.2.1 Формулировка и доказательство теорем.
• 2.2.2 Проверка доказательных рассуждений
• 2.3 Основы логики предикатов и логического вывода
• 2.3.1 Предикаты
• 2.3.2 Логический вывод в логике предикатов
• 2.3.3 Логическое программирование
• Стратегии
• 2.3.4 Экспертные системы