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

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

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

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


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


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

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

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

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


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


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

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

Вам подходит эта работа?
Похожие работы
Высшая математика
Задача Задача
22 Ноя в 00:13
3 +3
0 покупок
Высшая математика
Задача Задача
22 Ноя в 00:09
4 +4
0 покупок
Высшая математика
Задача Задача
22 Ноя в 00:05
4 +4
0 покупок
Высшая математика
Задача Задача
22 Ноя в 00:01
4 +4
0 покупок
Высшая математика
Задача Задача
21 Ноя в 23:54
4 +4
0 покупок
Другие работы автора
Теплоэнергетика
Тест Тест
15 Ноя в 13:48
14 +1
0 покупок
Теплоэнергетика
Лабораторная работа Лабораторная
15 Ноя в 10:12
11
0 покупок
Электромеханика
Курсовая работа Курсовая
15 Ноя в 09:53
11
0 покупок
Электромеханика
Тест Тест
14 Ноя в 15:10
15
0 покупок
Электроприводы
Тест Тест
13 Ноя в 14:07
14 +1
0 покупок
Электроснабжение
Лабораторная работа Лабораторная
30 Окт в 10:32
37
0 покупок
Электроснабжение
Лабораторная работа Лабораторная
30 Окт в 10:29
28 +1
1 покупка
Темы журнала
Показать ещё
Прямой эфир