Необходимо выполнить курсовую работу по математической логике на тему : Поиск Решения задачи в клаузальной форме предикатов Нужно указать литературу в конце/ссылки, + после каждого абзаца нужны сноски откуда взята информация ( рекомендованная литература :
Лорьер Ж.Л "Системы искусственного интеллекта",
Р.Ковальский "Логика в решении проблем"
остальная по желанию
Необходимы самые элементарные примеры.
Вся работа около 10-12 страниц.