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

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

Кредитно-денежная политика и ее влияние на общее экономическое равновесие
Введение....................................................................................................................... 2 1. Основные понятия кредитно-денежной системы............................................ 4 2. Инструменты кредитно-денежной политики..................................................... 10 2.1. Политика обязательных резервов................................................................. 10 2.2. Рефинансирование коммерческих банков...........................
Работа Экономика
User evelin : 29 октября 2013
10 руб.
Английский язык. 1-й семестр. Экзамен
Английский язык 1семестр экзамен GSM end-user sets A range of end-user sets for GSM is available from Alcatel. V Alcatel 9109 НА (Alcatel GSM handheld terminal): This is a small pocket size/ light weight telephone developed for use in the GSM environment. The batteries support a full hour of continuous talk time or 1 2 hours of standby time..
СибГУТИ Иностранные языки Работа Экзаменационная
User fitaria : 16 августа 2013
50 руб.
Технология изготовления детали Вал - эксцентрик
Содержание Введение Анализ детали Выбор способа получения заготовки Расчет припусков Маршрутная технология Расчет режимов резания Расчет технической нормы времени на операцию 040 (токарно-винторезная) Приспособление
Работа Курсовая Металлообработка
User ostah : 14 сентября 2014
45 руб.
Сети связи и системы коммутации. Вариант №18
Вариант №18 Задача 1 «Расчет оборудования узла мультисервисного доступа (УМСД)» Таблица 1 – Исходные данные варианта 18 Показатели Количество 1. Количество ААЛ, включенных в УМСД, шт. 4800 2. Количество аналоговых портов на одной плате ААЛ, шт. 24 3. Количество пользователей ADSL, включенных в УМСД, шт. 580 4. Количество портов на одной плате ADSL , шт. 24 5. Количество пользователей SHDSL, включенных в УМСД, шт. 152 6. Количество портов на одной плате SHDSL, шт. 24 7. Количество линий
СибГУТИ Сети связи и системы коммутации Работа Контрольная
User IT-STUDHELP : 13 июня 2021
600 руб.
promo
up Наверх