Контрольная работа по Мат Логике и теории алгоритмов 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 семестр). Зачет. Билет 6
Определить значение переменной x после работы следующего фрагмента программы: a = 4; b = 7/2 * a – 2; x = 0; y = 2 * b + 1; if (2 * a < y / 5 + 3 ) and ( b + 4 > 3 * a ) then begin x = x + 3; y = –6 end; if ( b / 2 < a ) or ( x + y > 0 ) then begin x = x – 2; y = y + 1 end;
СибГУТИ Программирование Работа Зачетная
User Aftalick : 21 сентября 2014
100 руб.
Теоретическая механика СамГУПС Самара 2020 Задача С2 Рисунок 7 Вариант 6
Определение реакций опор твёрдого тела (пространственная система сил) Определить значение силы Р и реакции опор твёрдого тела, изображённого на рис. С2.0 – С2.9. Исходные данные для расчёта представлены в таблице С2.
Задачи Теоретическая механика
User Z24 : 7 ноября 2025
150 руб.
Теоретическая механика СамГУПС Самара 2020 Задача С2 Рисунок 7 Вариант 6
Лабораторная работа №3. Резонансы напряжений и токов в электрических цепях. Вариант №4
1. Цель работы Исследование явления резонанса в последовательном и параллельном контурах, их частотных характеристик, влияния нагрузки на свойства контуров. 2. Подготовка к выполнению работы При подготовке к работе необходимо изучить явления электрического резонанса в последовательном и параллельном контурах, основные расчетные соотношения, частотные характеристики контуров, влияние нагрузки на свойства контуров (параграфы 4.1, 4.2, 4.3 электронного учебника). 3. Последовательный контур 1. Собра
Теория электрических цепей СибГУТИ Работа Лабораторная
User Помощь студентам СибГУТИ ДО : 20 ноября 2014
350 руб.
Стратегия управления качеством продукции
Стратегия управления качеством продукции Содержание Введение 2 1. Основы управления качеством продукции 4 1.1. Основные понятия по управлению качеством продукции 4 1.2. Сущность стратегии управления качеством продукции 6 1.3. Управление качеством полиграфической продукции 7 2. Анализ стратегии управления качеством полиграфической продукции на предприятии "НОУ Центр "Педагогический Поиск" 13 2.1. Организационно-экономическая характеристика предприятия 13 2.2. Стратегия управления качеством полиг
Маркетинг Работа Курсовая
User Aronitue9 : 23 августа 2012
20 руб.
up Наверх