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

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

Операционные системы реального времени. Лабораторная работа. Вариант №2
В данной лабораторной работе предлагается разработать систему из двух программ: программа рисования, работающая в графическом режиме с помощью библиотеки wingraph, и запускающее её, а затем управляющее ей консольное приложение. Всё это делается по аналогии с примерами, рассмотренными в лекционном материале. Варианты заданий уточняются ниже. Во всех заданиях движение фигур должно реализовываться отдельными нитями. Рекомендуется по возможности использовать один и тот же код для похожих нитей. Рабо
СибГУТИ Операционные системы Работа Лабораторная
User Багдат : 22 февраля 2018
55 руб.
Системы коммутации (часть 1). Зачётная работа. Билет № 11
Билет № 11 1. Методы многостанционного доступа и их краткая характеристика. Особенности абонентского радиодоступа на ССПО. 2. Особенности сигнализации по ОКС. Достоинства ОКС. Структура сигнальных единиц, передаваемых по ОКС.
СибГУТИ Системы коммутации Работа Зачетная
User varyag : 10 июня 2016
150 руб.
Командообразование.Тест Синергия 2023г (90 баллов)
Сдано на 90баллов в 2023г. Верно 27 из 30 вопросов. Скриншот с отметкой прилагается к работе. Ответы выделены цветом После покупки Вы получите файл с ответами на вопросы которые указаны ниже: 1. Установите последовательность факторов мотивации персонала при формировании команды на этапе приспособления: Тип ответа: Сортировка 1 осуществление положительного и отрицательного подкрепления 2 акцентирование внимания на межличностных отношениях 3 разрешение конфликтов и противоречий 4 п
Синергия МОИ МТИ МосАП Лидерство и формирование команды Тесты
User annaserg : 13 июля 2024
250 руб.
Экзаменационная работа по дисциплине: Теория связи. Билет №15
Билет №15 1. Функция корреляции узкополосного случайного процесса, нахождение интервала корреляции. 2. Корректирующие коды. Принцип обнаружения и исправления ошибок.
ДО СИБГУТИ Теория связи Работа Экзаменационная
User Учеба "Под ключ" : 17 июля 2022
300 руб.
promo
up Наверх