Вариант 16 |
500,00 ₽
Просмотров: 388
|
Тип работы: | Контрольная |
Название предмета: | Математическая логика и теория алгоритмов |
Тема/вариант: | Вариант 16 |
Объем работы: | 7 |
ВУЗ: | СибГУТИ |
Дата выполнения: | 2017-10-05 |
Размер файла, тип файла: | 188 Kb, DOC |
Прикрепленные файлы: |
Методичка (11 Kb)
|
1.16. Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций:
2.16. Пусть W - множество людей. На множестве W заданы следующие предикаты:
Е(х,у)=И х и у – один и тот же человек;
Р(х,у)=И х родитель у;
С(х,у)=И х и у – супруги;
М(х)=И х – мужчина;
W(х)=И х – женщина.
С использованием этих предикатов записать формулу, выражающую утверждение: Х - сноха.
3.16. Привести формулу к предваренной форме:
4.16. Построить машину Тьюринга для перевода из одной конфигурации в другую. На ленте всех машин Тьюринга записаны лишь нули и единицы, при этом пустые ячейки содержат нули. Проверить работу машины Тьюринга для конкретных значений x, y, z.
5.16. Показать примитивную рекурсивность функции :
Сообщить другу