УЗНАЙ ЦЕНУ

(pdf, doc, docx, rtf, zip, rar, bmp, jpeg) не более 4-х файлов (макс. размер 15 Мб)


↑ вверх
Тема/ВариантВариант 05
ПредметМатематическая логика
Тип работыконтрольная работа
Объем работы3
Дата поступления18.10.2011
300 ₽

ВАРИАНТ 5

Задание №1

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

 (AUB)&(AUC)|-AU(B&C)

 

Задание №2

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

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

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

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

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

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

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

 

Задание №3

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

 

Уточнение информации

+7 913 789-74-90
info@zauchka.ru
группа вконтакте