ТулГу Специальные разделы высшей математики. Часть 2

Раздел
Математические дисциплины
Просмотров
175
Покупок
0
Антиплагиат
Не указан
Размещена
27 Июл в 12:38
ВУЗ
Не указан
Курс
Не указан
Стоимость
1 200 ₽
Демо-файлы   
1
docx
Демо_КР Демо_КР
35.4 Кбайт 35.4 Кбайт
Файлы работы   
1
Каждая работа проверяется на плагиат, на момент публикации уникальность составляет не менее 40% по системе проверки eTXT.
docx
КР
135 Кбайт 1 200 ₽
Описание

Институт Прикладной математики и компьютерных наук

Кафедра Вычислительной техники


Учебная дисциплина


Специальные разделы высшей математики.Часть 2

Уровень профессионального образования: (высшее образование – бакалавриат)

Направление подготовки:09.03.01 Информатика и вычислительная техника

Профиль подготовки: Вычислительные машины, комплексы, системы и сети


Контрольная работа


Цель. Изучить методы вывода в логике предикатов 1 порядка.

Задание. Получить прямой вывод на основе метода унификации и обратный вывод на основе метода резолюции в среде кубиков.

Вам подходит эта работа?
Похожие работы
Высшая математика
Контрольная работа Контрольная
5 Ноя в 04:57
5 +5
0 покупок
Высшая математика
Контрольная работа Контрольная
4 Ноя в 18:35
6 +6
0 покупок
Высшая математика
Контрольная работа Контрольная
4 Ноя в 15:07
8 +8
0 покупок
Другие работы автора
Электроснабжение
Лабораторная работа Лабораторная
30 Окт в 10:32
28
0 покупок
Электроснабжение
Лабораторная работа Лабораторная
30 Окт в 10:29
20 +1
1 покупка
Темы журнала
Показать ещё
Прямой эфир