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

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

Задания для экономики и социологии труда. вариант 4.
ЗАДАНИЯ ДЛЯ ЭКОНОМИКИ И СОЦИОЛОГИИ ТРУДА Вариант № 4. 1.Заработная плата и формы оплаты труда. 2.Занятость населения. 3.Работница торгового предприятия, проработавшая 2 года сверх стажа выходит на пенсию. Рассчитайте её пенсию, если минимальная оплата труда 6 тыс.руб., а надбавка 832 руб.
Экономика предприятия Работа Контрольная
User studypro : 28 июля 2015
50 руб.
Контрольная работа по инженерной графике, 6 вариант.
СибГУТИ. Инженерная графика. 1 семестр. Контрольная работа №1. Вариант №6. В архиве содержится 5 файлов, в формате *.dwg (AutoCAD): Лист 1 - Схемы алгоритмов Лист 2 - Плоские сечения Лист 3 - Взаимное пересечение поверхностей Лист 4 - Проекционное черчение Лист 5 - Аксонометрическая проекция (дополнение к 4 листу)
СибГУТИ Инженерная графика Работа Контрольная
User serg04 : 28 апреля 2010
300 руб.
Контрольная работа по инженерной графике, 6 вариант.
Контрольная работа. Экономическая информатика. Вариант №10
Теоретический вопрос: 10. Создание таблиц в текстовом редакторе Word 2. Разработать базу данных для хранения информации об автомобильных мастерских: автомобили и их ремонт
Экономическая информатика ДО СИБГУТИ Работа Контрольная
User lenok333 : 11 сентября 2016
200 руб.
Базовые структуры анкетного метода
Базовые структуры анкетного метода Каныгин Геннадий Викторович – кандидат экономических наук, руководитель группы Санкт-Петербургского филиала Института социологии РАН. Компьютерное ассистирование интервью Компьютерное ассистирование интервью (КАИ) – обширная область исследований на стыке методики социологического опроса и информатики. В компьютерном интервьюировании различаются три направления: собственно КАИ, методологические проблемы интервьюирования и ассистирующие компьютерные системы. Соб
Рефераты Разное
User evelin : 4 марта 2013
up Наверх