Номер: 201905
Количество страниц: 3
Автор: marvel7
Контрольная Логика, вариант 17, номер: 201905
390 руб.
Купить эту работу
Не подошла
данная работа? Вы можете заказать учебную работу
на любую интересующую вас тему
Заказать новую работу
данная работа? Вы можете заказать учебную работу
на любую интересующую вас тему
- Содержание:
"ДОМАШНЕЕ ЗАДАНИЕ
Формализовать посылки и гипотезу с использованием языка логики первого порядка и показать с помощью метода резолюций, что гипотеза логически следует из посылок или, если это не так, найти такую интерпретацию, в которой все посылки принимают значение «истина», а гипотеза принимает значение «ложь».
Группа РК9-112
17.
Посылки:
1. Всё, что движется, не съедобно.
2. Здесь всё куда-то движется.
Гипотеза: Здесь нет ничего съедобного.
Список использованных источников и литературы
1. Доказательство методом резолюции http://life-prog.ru/view_ekspertnie_systemi.php?id=12 (Дата обращения 30.10.2015)
2. Об автоматическом доказательстве теорем http://ai-center.botik.ru/planning/index.php?ptl=materials/aboutTheoremProving.htm (Дата обращения 30.10.2015)
3. Основы логического программирования. Проверка общезначимости формулы. Метод резолюций http://it.kgsu.ru/Prolog/pro006.html (Дата обращения 30.10.2015)
"
Другие работы
330 руб.