↑ вверх

Помощь дистанционщикам!
ДО СибГУТИ (www.do.sibsutis.ru),
ДО СибАГС (www.sapanet.ru),
ДО НГУЭиУ (sdo.nsuem.ru),
ДО СибУПК (sdo.sibupk.su) и др ВУЗы

Этот сайт продаётся. По всем вопросам обращаться по +7 913 923-45-34 (Денис)
Корзина пуста!
Обратная связь




Вариант 07

50000
      
Просмотров: 439
Тип работы: Контрольная
Название предмета: Математическая логика и теория алгоритмов
Тема/вариант: Вариант 07
Объем работы: 4
ВУЗ: СибГУТИ
Дата выполнения: 2017-10-05
Размер файла, тип файла: 109 Kb, DOC
Прикрепленные файлы: Методичка (11 Kb)

1.7. Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций:

2.7. Пусть W - множество людей. На множестве W заданы следующие предикаты:

Е(х,у)=И  х и у – один и тот же человек;

Р(х,у)=И  х родитель у;

С(х,у)=И  х и у – супруги;

М(х)=И  х – мужчина;

W(х)=И  х – женщина.

С использованием этих предикатов записать формулу, выражающую утверждение: X - шурин.

3.7. Привести формулу к предваренной форме:

4.7. Построить машину Тьюринга для перевода из одной конфигурации в другую. На ленте всех машин Тьюринга записаны лишь нули и единицы, при этом пустые ячейки содержат нули. Проверить работу машины Тьюринга для конкретных значений x, y, z.

5.7. Показать примитивную рекурсивность функции :

 

ЗАКАЗАТЬ РАБОТУ
Отправь нам своё задание, и мы поищем твою работу в нашей базе готовых работ. А если не найдем, то порекомендуем партнеров, которые качественно смогут выполнить твой заказ.
(doc, docx, rtf, zip, rar, bmp, jpeg) не более 5 Мб