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