Институт Прикладной математики и компьютерных наук
Кафедра Вычислительной техники
Учебная дисциплина
Специальные разделы высшей математики.Часть 2
Уровень профессионального образования: (высшее образование – бакалавриат)
Направление подготовки:09.03.01 Информатика и вычислительная техника
Профиль подготовки: Вычислительные машины, комплексы, системы и сети
Контрольная работа
Цель. Изучить методы вывода в логике предикатов 1 порядка.
Задание. Получить прямой вывод на основе метода унификации и обратный вывод на основе метода резолюции в среде кубиков.