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

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

Проектирование грузового АТП на 120 автомобилей ГАЗ-2705 и 60 автомобилей МАЗ-53362 с разработкой агрегатного участка
Содержание Введение 1 Технико-экономическое обоснование исходных данных на проектирование 1.1 Технические характеристики и области применения заданного ПС 1.2 Расчет планируемого годового грузооборота и пассажирооборота 2 Технологический расчет АТП 2.1 Выбор и корректирование нормативных периодичностей ТО и ресурса ПС, построение цикловых графиков 2.2 Определение КТГ, годовой и суточной производственной программы 2.3 Определение трудоемкостей ЕО, ТО, ТР, расчет и распределение годовых объемов ра
Автомобили и технологическое обслуживание Работа Курсовая
User proekt-sto : 7 мая 2023
45 руб.
Проектирование грузового АТП на 120 автомобилей ГАЗ-2705 и 60 автомобилей МАЗ-53362 с разработкой агрегатного участка
Иновационная политика маркетинга. Основные этапы и принципы
1. Стратегия разработки новых товаров 2. Жизненный цикл товара (ЖЦТ) 1. Стратегия разработки новых товаров С учетом быстрых перемен во вкусах, технологии и состоянии конкуренции фирма не может полагаться только на существующие товары. Потребитель хочет и ждет новых и усовершенствованных изделий. Конкуренты приложат максимум усилий, чтобы обеспечить потребителя этими новинками. Следовательно, у каждой фирмы должна быть своя программа разработки новых товаров. Планирование продукта подразумева
Маркетинг Работа
User evelin : 14 октября 2013
5 руб.
Балахонцев Е.В. Техническая термодинамика Контрольная работа 4 Задача 11
Определить скорость истечения перегретого пара через суживающееся сопло, если начальные параметры пара р1=0,6 МПа и t1=350 ºС, а давление среды, в которую происходит истечение, р2=0,4 МПа. Скоростью на входе в сопло, потерями и теплообменом со стенками пренебречь.
Задачи Теплотехника
User Z24 : 19 октября 2025
200 руб.
Балахонцев Е.В. Техническая термодинамика Контрольная работа 4 Задача 11
Нерегламентована зайнятість населення та способи її регламентування
Вступ Слід зазначити, що поняття "неформальний сектор" з'явилось порівняно недавно. У 70-х роках минулого століття в деяких африканських країнах Міжнародна організація праці провела обстеження і вперше офіційно виділила специфічну частину населення, зайнятого практично в усіх галузях економіки, проте не врахованого статистикою. Як правило, це люди з низьким, нерегулярним доходом, часто в натуральній формі, що дає їм змогу якось вижити в умовах, коли так званий "формальний" (тобто такий, що врах
Работа Экономика
User Qiwir : 31 октября 2013
10 руб.
up Наверх