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

Цена:
100 руб.

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

material.view.file_icon E434B434-9D62-4172-AC26-E319DB23B129.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 руб.

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

Нефтенакопитель динамический Сборочный чертеж-Чертеж-Оборудование для добычи и подготовки нефти и газа-Курсовая работа-Дипломная работа
Нефтенакопитель динамический Сборочный чертеж-(Формат Компас-CDW, Autocad-DWG, Adobe-PDF, Picture-Jpeg)-Чертеж-Оборудование для добычи и подготовки нефти и газа-Курсовая работа-Дипломная работа
Нефтяная промышленность ИНиГ Чертежи
User https://vk.com/aleksey.nakonechnyy27 : 24 мая 2016
100 руб.
Нефтенакопитель динамический Сборочный чертеж-Чертеж-Оборудование для добычи и подготовки нефти и газа-Курсовая работа-Дипломная работа
Вентиль угловой ПМИГ.ХХХХХХ.002
Вентиль угловой ПМИГ.ХХХХХХ.002 Вентиль угловой. Вариант 2 Вентиль — устройство для регулирования движения в трубопроводе пара, газа, воды или другой жидкости. Вентиль состоит из корпуса 1, на котором установлена при помощи болтов 12, шайб и гаек крышка 3. В крышке 3 в резьбовое отверстие установлен шпиндель 2. На нижнем хвостике шпинделя 2 при помощи скобы 7 закреплен клапан 8, упирающийся конической частью в седло 9, установленное в корпусе. На верхнем конце шпинделя установочным винтом 13 за
Начертательная геометрия и инженерная графика БГТУ Практические занятия и отчеты
User lepris : 29 октября 2022
500 руб.
Вентиль угловой ПМИГ.ХХХХХХ.002 promo
Производство стали в конверторе/Раскисление металла
Исходные материалы Материальный баланс Раскисление металла Тепловой баланс Расчет расходных коэффициентов на 1т годной стали Описание технологии плавки
Металлургия Работа Расчетная
User Aronitue9 : 23 августа 2012
20 руб.
Теория электрической связи. Лабораторная работа № 4. Вариант №3
Исследование обнаруживающей и исправляющей способности циклических кодов Цель работы Ознакомление с методами построения корректирующих кодов. Экспериментальное исследование обнаруживающей и исправляющей способности циклических кодов. Описание лабораторной установки Лабораторная установка выполнена в виде программно управляемой модели и выполняется на ЭВМ. Приведём краткое описание структурных схем декодеров исследуемых циклических кодов. Лабораторное задание 1. Ознакомиться с рабочим местом и
СибГУТИ Работа Лабораторная Теория электрической связи
User 4eJIuk : 19 марта 2013
70 руб.
up Наверх