Контрольная работа по Мат Логике и теории алгоритмов 1 вариант

Цена:
100 руб.

Состав работы

material.view.file_icon E434B434-9D62-4172-AC26-E319DB23B129.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 руб.

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

Гидравлика Москва 1990 Задача 19 Вариант 6
Горизонтальная труба служит для отвода жидкости Ж в количестве Q из большого открытого бака (рис.15). Свободный конец трубы снабжен краном. Определить ударное повышение давления в трубе перед краном, если диаметр трубы d, длина l, толщина стенки δ, материал стенки – сталь. Кран закрывается за время tзак по закону, обеспечивающему линейное уменьшение скорости жидкости в трубе перед краном в функции времени.
Задачи Гидравлика
User Z24 : 27 декабря 2025
150 руб.
Гидравлика Москва 1990 Задача 19 Вариант 6
Модернизация дисковой бороны (дискатора) БДМ-4х2 (конструкторская часть дипломного проекта)
3.6 Устройство и рабочий процесс модернизированной бороны БДМ-4х2 Борона прицепная дисковая БДМ-4х2 (рисунок 3.21) предназначена для лущения стерни и предпахотной обработки почвы. Борона используется во всех почвенно-климатических зонах. Техническая характеристика бороны приведена в таблица 1. Рабочий орган дисковой бороны – стальной заостренный сферический диск с вырезной режущей кромкой. Сферические диски (рисунок 3.19 а, б) применяют в качестве рабочих органов дисковых плугов, лущильн
Диплом и связанное с ним Сельскохозяйственные машины
User AgroDiplom : 22 апреля 2021
999 руб.
Модернизация дисковой бороны (дискатора) БДМ-4х2 (конструкторская часть дипломного проекта) promo
Термодинамика и теплопередача ТюмГНГУ Техническая термодинамика Задача 2 Вариант 04
Для теоретического цикла ГТУ с подводом теплоты при постоянном давлении определить параметры рабочего тела (воздуха) в характерных точках цикла, подведенную и отведенную теплоту, работу и термический к.п.д. цикла, если начальное давление р1=0,1 МПа, начальная температура t1=27 ºC, степень повышения давления в компрессоре π, температура газа перед турбиной t3. Определить теоретическую мощность ГТУ при заданном расходе воздуха G. Дать схему и цикл установки в pυ- и Ts — диаграммах. Данные для реш
Задачи Теплотехника
User Z24 : 10 января 2026
200 руб.
Термодинамика и теплопередача ТюмГНГУ Техническая термодинамика Задача 2 Вариант 04
Деньги, кредит, банки_Контрольная работа СибГУТИ
Контрольное задание (задачи по вариантам) по курсу ‘Деньги, кредит, банки’ ПЕРВОЕ ЗАДАНИЕ. Рассчитать сумму лизинговых платежей и сумму лизинговых взносов. Исходные данные приводятся в Таблице №1. Лизинговые взносы осуществляются равными долями для вариантов с 1 по 5 - ежемесячно, а для вариантов с 6 по 10 - ежеквартально. Результат расчета по второму заданию свести в Таблицу №2.''Лизинговые платежи'' ВТОРОЕ ЗАДАНИЕ. Определить сумму закрытия лизинговой сделки используя результаты расчетов, выпо
СибГУТИ Экономика Работа Контрольная
User helpersas : 12 января 2015
150 руб.
up Наверх