Контрольная работа по Мат Логике и теории алгоритмов 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 руб.

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

Одиночество пожилых людей и социальная работа с ними
Введение Глава I. Характеристика одиночества как социальной проблемы 1.1 Одиночество: виды и причины 1.2 Одиночество пожилых людей как социальная проблема Глава II. Социализация личности и проблемы одиночества 2.1 Социальный статус пожилого человека 2.2 Социальная работа и социальная политика в отношении пожилых Заключение Список литературы Введение Одиночество - одна из наиболее частых причин обращения к психологу, психотерапевту, психоаналитику - явление столь неоднородное и многозначное, что
Социология Работа
User alfFRED : 4 февраля 2014
10 руб.
Приборы СВЧ и оптического диапазона. Зачет. Билет №7
Вопросы к зачету по курсу «ЭКП СВЧ и ОД» Билет №7 1 Какие частоты и длины волн входят в СВЧ-диапазон? 2 Какие колебательные системы используются в электронных приборах СВЧ? 3 Где протекает и чем обусловлен конвекционный ток? 4 Как происходит модуляция по плотности электронного потока при электростатическом управлении? 5 Какое управление и какая длительность взаимодействия электронного потока с электромагнитным полем в триодах СВЧ? 6 Где, в каком месте ЛБВ типа О происходит группирование электро
ДО СИБГУТИ Приборы и системы. Измерительная техника Работа Зачетная
User FreeForMe : 25 августа 2016
65 руб.
Физика. Контрольная работа №3. Вариант №6
Задача 1.Уравнение незатухающих колебаний пружинного маятника массой 0,1 кг. имеет вид: Х=5 cos(t+π/6), ρм. Найти период колебаний и кинетическую энергию через время π/6 с. Написать дифференциальное уравнение колебаний маятника. Задача 2.Колебательный контур состоит из конденсатора емкостью 400 нФ и катушки индуктивностью I мГн. Каково максимальное напряжение на обкладках конденсатора, если максимальная сила тока равна 0,5 А? Записать дифференциальное уравнение для колебаний заряда в этом контур
СибГУТИ Физика. Физика математическая Работа Контрольная
User Vasay2010 : 27 января 2013
48 руб.
Контрольная работа №2 по дисциплине: Исполнительное право. Вариант №2
Задача № 1 По иску Гниломедова к ООО «Недвижимость России» и ООО «Недвижимость Руси» о защите прав потребителя судом постановлено заочное решение, которым с ООО «Недвижимость России» в пользу Гниломедова взыскано 485 595 руб., в удовлетворении исковых требований к ООО «Недвижимость Руси» Гниломедову отказано. При этом в мотивировочной части заочного решения суд указал, что не может согласиться с доводами истца о том, что это одна и та же организация, поскольку работают одни и те же сотрудники
Московский университет им. С.Ю. Витте Исполнительное право Работа Контрольная
User IT-STUDHELP : 3 марта 2020
250 руб.
up Наверх