ТулГу Специальные разделы высшей математики. Часть 2
Вычислительные машины, комплексы, системы и сети Контрольная работа Цель. Изучить методы вывода в логике предикатов 1 порядка. Задание. Получить прямой вывод на основе метода унификации и обратный вывод на основе