Вариант 15 |
500,00 ₽
Просмотров: 452
|
Тип работы: | Контрольная |
Название предмета: | Математическая логика и теория алгоритмов |
Тема/вариант: | Вариант 15 |
Объем работы: | 6 |
ВУЗ: | СибГУТИ |
Дата выполнения: | 2017-10-05 |
Размер файла, тип файла: | 198.5 Kb, DOC |
Прикрепленные файлы: |
Методичка (11 Kb)
|
1.15. Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций:
2.15. Пусть W - множество людей. На множестве W заданы следующие предикаты:
Е(х,у)=И х и у – один и тот же человек;
Р(х,у)=И х родитель у;
С(х,у)=И х и у – супруги;
М(х)=И х – мужчина;
W(х)=И х – женщина.
С использованием этих предикатов записать формулу, выражающую утверждение: Х - зять.
3.15. Привести формулу к предваренной форме:
4.15. Построить машину Тьюринга для перевода из одной конфигурации в другую. На ленте всех машин Тьюринга записаны лишь нули и единицы, при этом пустые ячейки содержат нули. Проверить работу машины Тьюринга для конкретных значений x, y, z.
5.15. Показать примитивную рекурсивность функции :
Сообщить другу
11423