5. Контрольные вопросы

1. Что такое алгебра логики

2. Какая формула является пропозициональной

3. Какая формула является пропозициональной

4. В чем суть метода резолюций

Литература

1. Адаменко А., Кучуков А. Логическое программирование и Visual Prolog.

Содержание

1. Цель работы 1

2. Основные теоретические положения 1

2.1. Логические операции над логическими переменными 1

2.2. Алгебра логики 3

2.3. Пропозициональные формулы 5

2.4. Логическое следствие и логический вывод 6

2.5. Метод резолюций 8

2.6. Исчисление высказываний как формальная теория 9

3. Порядок выполнения работы 10

4. Варианты для выполнения лабораторной работы 10

5. Контрольные вопросы 12

Литература 12

Андрей Владимирович Протодьяконов

Александр Сергеевич Пермяков

Математические основы логического программирования

Методические указания к лабораторной работе по курсу

"Системы искусственного интеллекта и принятия решений", специальность 071900 "Информационные системы и технологии"

Редактор

Подписано в печать

Формат 60х84/16. Бумага офсетная. Отпечатано на ризографе.

Уч.-изд. л.0,75. Тираж экз. Заказ

ГУ Кузбасский государственный технический университет.

650026, Кемерово, ул. Весенняя, 28.

Типография ГУ кузбасский технический университет.

650099, Кемерово, ул. Д. Бедного, 4А.