ТулГу Специальные разделы высшей математики. Часть 2
Раздел
Математические дисциплины
Предмет
Просмотров
128
Покупок
0
Антиплагиат
Не указан
Размещена
27 Июл
в 12:38
ВУЗ
Не указан
Курс
Не указан
Стоимость
1 200 ₽
Демо-файлы
1
Демо_КР
Файлы работы
1
Каждая работа проверяется на плагиат, на момент публикации
уникальность составляет не менее 40% по системе проверки eTXT.
КР
Описание
Институт Прикладной математики и компьютерных наук
Кафедра Вычислительной техники
Учебная дисциплина
Специальные разделы высшей математики.Часть 2
Уровень профессионального образования: (высшее образование – бакалавриат)
Направление подготовки:09.03.01 Информатика и вычислительная техника
Профиль подготовки: Вычислительные машины, комплексы, системы и сети
Контрольная работа
Цель. Изучить методы вывода в логике предикатов 1 порядка.
Задание. Получить прямой вывод на основе метода унификации и обратный вывод на основе метода резолюции в среде кубиков.
Вам подходит эта работа?
Похожие работы
Другие работы автора
1 100 ₽
1 100 ₽
1 100 ₽
2 200 ₽