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

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

Курсовая работа по дисциплине: «Радиоприемные устройства»
Задание на курсовой проект. Выбор метода подавления зеркального канала. Выбор преобразовательного диода Расчёт блока преобразования частоты Расчёт УВЧ. Расчёт согласующих цепей УВЧ. Расчёт УПЧ.Расчёт фильтра на ПАВ. Расчет входной согласующей цепи УПЧ Расчет согласующих цепей фильтра Заключение Список использованной литературы.
Электротехника Работа Курсовая
User GnobYTEL : 30 ноября 2011
49 руб.
Тренировочные вопросы для подготовки к итоговому тестированию по ИНФОРМАТИКЕ.
Тренировочные вопросы для подготовки к итоговому тестированию по ИНФОРМАТИКЕ Основные понятия и методы теории информации. 1. Информация. Единицы измерения информации * По форме представления информация бывает * На семантическом уровне информация ОПРЕДЕЛЯЕТ * Информацию, достаточную для решения поставленной задачи, называют * Предметом изучения информатики (Computer Science) является * Мера неопределенности в теории информации называется ** Продолжите ряд. Свойства информации: объективнос
Информатика Тесты
User studypro : 27 июля 2015
200 руб.
Контрольная работа по маркетингу. Вариант 7
Решение задач по маркетингу предприятия. Проанализирована зависимость между объемом продажи товара и уровнем цены. Определен коэффициент эластичности. Составлена систематическая модель валовых издержек производства и обращения товара. Определен уровень оптимальной цены, обеспечивающий уровень прибыли.
Маркетинг Работа Контрольная
User GnobYTEL : 20 января 2012
20 руб.
Безбалансирный станок качалка-Курсовая работа-Оборудование для добычи и подготовки нефти и газа
Аннотация В дипломном проекте рассмотрены геологические условия Мало-Балыкского месторождения, для данных условий выбран способ добычи нефти при помощи скважинной штанговой насосной установки (СШНУ). Также мною было составлено техническое задание на безбалансирный станок качалку. Была разработана конструкция безбалансирного и безредукторного станка качалки, описано его назначение, описано устройство и работа данного станка качалки. Произведены расчеты на прочность основных и наиболее нагружен
******* Не известно Нефтяная промышленность Работа Курсовая
User https://vk.com/aleksey.nakonechnyy27 : 2 марта 2016
1294 руб.
Безбалансирный станок качалка-Курсовая работа-Оборудование для добычи и подготовки нефти и газа
up Наверх