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

Цена:
100 руб.

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

material.view.file_icon 9C8FAC6B-50CB-4D6B-BA8C-4F3541ED3FAB.zip [43 KB]
material.view.file_icon Контрольная работа
material.view.file_icon Контрольная работа.doc [Office 2010, 7 стр., 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 Исследование двоичных счетчиков
1. Цель работы Экспериментальное исследование работы различных типов двоичных счетчиков. 2. Описание схемы В лабораторную установку включены схемы трех типов счетчиков: простейший четырехразрядный двоичный счетчик, счетчик с предварительной установкой начального состояния, счетчик-делитель
СибГУТИ Работа Лабораторная Вычислительные машины, системы и сети
User ВороноФФ : 12 декабря 2008
Лабораторная работа № 4 Исследование двоичных счетчиков
Контрольная работа по начертательной геометрии, 15-й вариант, СПбГТУРП, специальность 2107 и 2103
Контрольная работа по начертательной геометрии, 15 вариант, СПбГТУРП, специальность 2107 и 2103 Промышленная теплоэнергетика, Автоматизация технологических процессов и производств Чертежи в компасе+сохранены в картинки. Сделано по методичке: Инженерная графика, част 1, начертательная геометрия, методические и контрольные указания для студентов заочной формы обучения всех специальностей , 1998г Санкт-Петербургский государственный технологический университет растительных полимеров
СПбГТУРП Начертательная геометрия Работа Контрольная
User Laguz : 11 декабря 2016
150 руб.
Контрольная работа по начертательной геометрии, 15-й вариант, СПбГТУРП, специальность 2107 и 2103
Клапан выпускной деталировка
Клапан выпускной сборочный чертеж Клапан выпускной спецификация Поз.1_Корпус Поз.2_Штуцер Поз.3_Шток Поз.4_Золотник Поз.5_Рычаг Поз.8_Пружина Корпус 1 выполнен из стали. Крышка 2 выполнена из стали, имеет резьбу для присоединения к корпусу М40х 1,5 и резьбу для присоединения к резервуару 1,, . Клапан З выполнен из латуни, имеет резьбу М6 для навертывания специальной гайки 4, зажимающей прокладку 6 и являющуюся опорой для пружины 8. Гайка специальная 4 выполнена из стали. Рукоятка 5 выполнена из
Чертежи Инженерная и компьютерная графика БГЭУ
User coolns : 3 марта 2020
350 руб.
Клапан выпускной деталировка promo
Краснощеков Задачник по теплопередаче Задача 7.5
Определить коэффициент теплоотдачи от вертикальной плиты высотой Н = 2 м к окружающему спокойному воздуху, если известно, что температура поверхности плиты tс = 100ºС, температура окружающего воздуха вдали от поверхности tж = 20 ºС. Ответ: α = 7,9 Вт/(м²·ºС).
Задачи Теплотехника
User Z24 : 24 сентября 2025
150 руб.
Краснощеков Задачник по теплопередаче Задача 7.5
up Наверх