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

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

Контрольная работа по дисциплине "Математическая логика и теория алгоритмов". Вариант №11
Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций. Пусть Омега - множество людей. На множестве Омега заданы следующие предикаты: E(x, y) = И <=> x и y – один и тот же человек; P(x, y) = И <=> x родитель y; C(x, y) = И <=> x и y – супруги; M(x) = И <=> x – мужчина; W(x) = И <=> x – женщина. С использованием этих предикатов записать формулы, выражающие следующие утверждения: X – тесть Построить машину Тьюринга для перевода из одной конфигурации
СибГУТИ Математика вычислительная Работа Контрольная
User kanchert : 31 марта 2014
Теплотехника Задача 18.191 Вариант 5
Определить термический КПД цикла Ренкина с учетом работы питательного насоса, если параметры пара на входе в турбину p1 = (20 + 6⸱n) бар и t1 = 400°С. Давление пара на выходе из турбины p2 = 0,05 бар. Для сравнения определить также термический КПД без учета работы насоса и оценить получаемую при этом погрешность δ, %.
Задачи Теплотехника
User Z24 : 22 октября 2026
200 руб.
Теплотехника Задача 18.191 Вариант 5
Секс и семейная жизнь как фактор здорового образа жизни
План Введение 1. Семья как ячейка общества 2. Здоровый сон и питание – залог здорового секса 3. Тайны здорового секса Заключение Список использованной литературы Введение Здоровье - бесценное достояние не только каждого человека, но и всего общества. При встречах, расставаниях с близкими и дорогими людьми мы желаем им доброго и крепкого здоровья, так как это - основное условие и залог полноценной и счастливой жизни. Здоровье помогает нам выполнять наши планы, успешно решать основные жизне
Медицина и медицинская техника Работа
User evelin : 30 января 2013
Буровая лебедка JC50DB(КНР)-Чертеж-Оборудование для бурения нефтяных и газовых скважин-Курсовая работа-Дипломная работа
Буровая лебедка JC50DB(КНР)-(Формат Компас-CDW, Autocad-DWG, Adobe-PDF, Picture-Jpeg)-Чертеж-Оборудование для бурения нефтяных и газовых скважин-Курсовая работа-Дипломная работа
Нефтяная промышленность ИНиГ Чертежи
User https://vk.com/aleksey.nakonechnyy27 : 21 мая 2016
500 руб.
Буровая лебедка JC50DB(КНР)-Чертеж-Оборудование для бурения нефтяных и газовых скважин-Курсовая работа-Дипломная работа
up Наверх