Контрольная работа по Мат Логике и теории алгоритмов 1 вариант

Цена:
100 руб.

Состав работы

material.view.file_icon 9C8FAC6B-50CB-4D6B-BA8C-4F3541ED3FAB.zip [ 43 KB ]
material.view.file_icon Контрольная работа
material.view.file_icon Контрольная работа.doc [ 176 KB ]
Работа представляет собой zip архив с файлами (распаковать онлайн), которые открываются в программах:
  • Microsoft Word

Описание

1. Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций.
2. Пусть Омега - множество людей. На множестве Омега заданы следующие предикаты:
1. E(x, y) = И <=> x и y – один и тот же человек;
2. P(x, y) = И <=> x родитель y;
3. C(x, y) = И <=> x и y – супруги;
4. M(x) = И <=> x – мужчина;
5. W(x) = И <=> x – женщина.

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

Дополнительная информация

Работа была успешно зачтена в 2014 году.

Похожие материалы

Контрольная работа по Мат Логике и теории алгоритмов 1 вариант
1. Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций. 2. Пусть Омега - множество людей. На множестве Омега заданы следующие предикаты: 1. E(x, y) = И <=> x и y – один и тот же человек; 2. P(x, y) = И <=> x родитель y; 3. C(x, y) = И <=> x и y – супруги; 4. M(x) = И <=> x – мужчина; 5. W(x) = И <=> x – женщина. 3. Привести формулу к предваренной форме. 4. Построить машину Тьюринга для перевода из одной конфигурации в другую. На ленте всех м
******* Не известно Математическая логика и теория алгоритмов Работа Контрольная
User fominovich : 5 сентября 2015
100 руб.

Другие работы

Типы рисков. Способы и типы измерения
Введение. Основы теории рисков. Концепции и факторы риска. Типы рисков. Способы измерения рисков. Банковские риски в России. Сущность банковского риска. Управление банковскими рисками. Заключение. Литература.
******* Не известно Работа Курсовая Экономика
User evelin : 25 июля 2015
30 руб.
Архитектурный ансамбль многоэтажного здания
1. Архитектурно-строительная часть 1.1 Общая характеристика сооружения 1.2 Решение генерального плана 1.3 Объемно-планировочное решение 1.4 Конструктивное решение 1.5 Теплотехнический расчет 1.6 Инженерное оборудование 2. Конструктивная часть 2.1 Расчет многопустотной плиты перекрытия 2.2 Расчет свайного фундамента 3. Технологическая часть 3.1 Сравнение вариантов монтажных кранов 3.2 Технологическая карта на производство кирпичной кладки 3.3 Технологическая карта на устройство линолеумных
Диплом и связанное с ним Архитектура
User Aronitue9 : 24 апреля 2012
450 руб.
Культурология. Контрольная работа №1. Вариант 17
М. Мид об антропологических основах культурологии.
ДО СИБГУТИ Культура, искусство, спорт и туризм Работа Контрольная
User ddr84 : 3 октября 2016
300 руб.
Культурология. Контрольная работа №1. Вариант 17
Лабораторные работы 1-3 по дисциплине: Информатика. Вариант №01
Лабораторная работа № 1 Задание В соответствии с вариантом разработайте алгоритм обработки элементов массива. Напишите программу на алгоритмическом языке в соответствии со схемой алгоритма. Проведите тестирование программы в среде программирования. Варианты заданий: 1 Массив Х[30] нецелых элементов задать датчиком случайных чисел. Записать в массив Y подряд отрицательные элементы массива Х. Найти их среднее арифметическое. --------------------------------------------------------------------
ДО СИБГУТИ Информатика Работа Лабораторная
User holm4enko87 : 25 февраля 2025
500 руб.
promo
up Наверх