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

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

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

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


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


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

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

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

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


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


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

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

Вам подходит эта работа?
Похожие работы
Высшая математика
Контрольная работа Контрольная
22 Янв в 11:09
24 +24
0 покупок
Высшая математика
Задача Задача
22 Янв в 03:53
26 +26
0 покупок
Высшая математика
Задача Задача
22 Янв в 03:43
22 +22
0 покупок
Другие работы автора
Теплоэнергетика
Тест Тест
15 Ноя 2024 в 13:48
50 +1
0 покупок
Теплоэнергетика
Лабораторная работа Лабораторная
15 Ноя 2024 в 10:12
45 +1
0 покупок
Электромеханика
Курсовая работа Курсовая
15 Ноя 2024 в 09:53
60
0 покупок
Электромеханика
Тест Тест
14 Ноя 2024 в 15:10
62 +3
1 покупка
Электроприводы
Тест Тест
13 Ноя 2024 в 14:07
75
5 покупок
Электроснабжение
Лабораторная работа Лабораторная
30 Окт 2024 в 10:32
66
0 покупок
Электроснабжение
Лабораторная работа Лабораторная
30 Окт 2024 в 10:29
83 +1
1 покупка
Темы журнала
Показать ещё
Прямой эфир