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

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

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

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


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


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

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

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

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


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


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

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

Вам подходит эта работа?
Похожие работы
Высшая математика
Тест Тест
20 Дек в 12:39
101 +6
0 покупок
Высшая математика
Тест Тест
20 Дек в 12:25
80 +2
0 покупок
Высшая математика
Контрольная работа Контрольная
19 Дек в 16:34
98 +1
0 покупок
Высшая математика
Контрольная работа Контрольная
19 Дек в 12:38
93 +1
0 покупок
Высшая математика
Контрольная работа Контрольная
19 Дек в 12:36
78 +1
0 покупок
Другие работы автора
Теплоэнергетика
Тест Тест
15 Ноя в 13:48
31
0 покупок
Теплоэнергетика
Лабораторная работа Лабораторная
15 Ноя в 10:12
26
0 покупок
Электромеханика
Курсовая работа Курсовая
15 Ноя в 09:53
39
0 покупок
Электромеханика
Тест Тест
14 Ноя в 15:10
39
0 покупок
Электроприводы
Тест Тест
13 Ноя в 14:07
42
2 покупки
Электроснабжение
Лабораторная работа Лабораторная
30 Окт в 10:32
46
0 покупок
Электроснабжение
Лабораторная работа Лабораторная
30 Окт в 10:29
50
1 покупка
Темы журнала
Показать ещё
Прямой эфир