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

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

«Высшая математика (часть 1)»
«Высшая математика (часть 1)» зачет
Математика СибГУТИ Работа Контрольная
User усит : 15 января 2026
350 руб.
Гидравлика гидравлические машины и гидроприводы Задача 11 Вариант 3
Центробежный насос, перекачивающий жидкость Ж при температуре 20 ºС, развивает подачу Q. Определить допустимую высоту всасывания hв, если длина всасывающего трубопровода l, диаметр d, эквивалентная шероховатость Δэ, коэффициент сопротивления обратного клапана ζк, а показание вакуумметра не превышало бы р1. Построить пьезометрическую и напорную линии.
Задачи Гидравлика
User Z24 : 17 ноября 2025
220 руб.
Гидравлика гидравлические машины и гидроприводы Задача 11 Вариант 3
Маркетинговое исследование уровня цен и ассортимента товаров
Оглавление Введение 1. Теоретические основы маркетинговых исследований 1.1 Место и роль маркетинговых исследований в формировании ассортиментной политики предприятия 1.2 Теория ценообразования и формирования продуктовой номенклатуры 1.3 Методические основы проведения маркетинговых исследований 2. Маркетинговое исследование рынка табачных изделий г. Ярославля 2.1 Описание и краткая характеристика предприятия 2.2 Ценовое сегментирование рынка табачных изделий г. Ярославля 2.3 Оценка емкости «опред
Маркетинг Работа Курсовая
User Aronitue9 : 26 ноября 2012
19 руб.
СИБИТ_Кейс_Маркетинг персонала
Интерактивная деятельность (Кейс №2) Описание проблемы: Новый генеральный директор компании, человек, аккуратный до педантизма. Аккуратность важна во всем, считает он, и зорко следит за тем, чтобы сотрудники компании следовали его положительному примеру. Правила, введенные директором, очень просты: • На рабочем столе сотрудника должен быть порядок – ручка, тетрадь и документ, с которым сотрудник работает в настоящий момент (это все, что может находиться на столе!) • На рабочем месте не должно
Маркетинг Работа
User gerasimov74 : 31 марта 2020
300 руб.
up Наверх