↑ вверх

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

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




Вариант 02

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

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

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

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

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

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

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

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

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

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

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

 

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