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

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

Курсовая работа по дисциплине: Программирование мобильных устройств (часть 2). Вариант 7
Содержание Введение 3 Задание на курсовую работу 4 1. Реализация проекта 5 1.1 Описание элементов сцены и их геометрии 5 1.2 Настройка освещения и камеры 6 1.3 Шейдеры и поток рендеринга 7 2. Результаты 9 2.1 Описание используемых методов 9 2.2 Скриншоты работы приложения 13 Заключение 15 Список используемых источников 16 Приложение А. Листинг программы 17 Задание на курсовую работу Разработать мобильное приложение для Android, отображающее трёхмерную сцену в соответствии с
СибГУТИ Работа Курсовая Программирование мобильных устройств
User Учеба "Под ключ" : 1 августа 2026
1300 руб.
promo
Техническое обслуживание и ремонт объектов недвижимости
КОМПЛЕКТ КОНТРОЛЬНЫХ ЗАДАНИЙ ПО ВАРИАНТАМ ЗАДАНИЕ 1 ИЗУЧЕНИЕ КОНСТРУКТИВНЫХ СХЕМ И КОНСТРУКТИВНЫХ ЭЛЕМЕНТОВ ЖИЛЫХ ЗДАНИЙ Ход решения: 1. Приведите названия конструктивных элементов зданий, представленных на разрезе 1-1 (рис.1), в соответствии с цифровыми обозначениями. Рис. 1. Конструктивные элементы кирпичного жилого дома На рис.1 представлены: несущие стены, перегородки, цоколь, междуэтажное перекрытие, чердачное перекрытие, от-мостка, подкос, стойка, люк, чердак, мауэрлат, тамбур, лест
Управление городским имуществом и недвижимостью Практические занятия и отчеты
User studypro3 : 23 июля 2020
800 руб.
Экспериментальное изучение законов Кирхгофа
ЦЕЛЬ РАБОТЫ Экспериментальная проверка первого и второго законов Кирхгофа в резистивных цепях постоянного тока. КРАТКАЯ ТЕОРИЯ Первый и второй законы сформулированы Кирхгофом в 1845 г. и являются основными законами, определяющими режим электрической цепи. На основе этих законов получены различные методы расчета режима работы электрической цепи, т. е. анализа цепей. Первый закон Кирхгофа применяется к узлам электрической цепи. Он гласит: алгебраическая сумма токов в узле электрической цепи равна
Теоретические основы электротехники Работа Расчетная
User GnobYTEL : 5 февраля 2012
20 руб.
Контрольная работа по Философии, 2-й семестр
Контрольная работа по Философии, 2 семестр Дистанционное обучение СибГУТИ К РАЗДЕЛУ 1. 1."Материалистами называются философы, которые признают лишь существование материальных вещей и тел" /Вольф Х./ Можно ли согласиться с этим определением? 2. Проанализируйте приведенные ниже высказывания о предмете философии. 3. Английский философ и ученый Бертран Рассел, размышляя над вопросом о специфике философии и ее месте в духовной культуре общества, заметил: 4. Определите к какому направлению в филосо
СибГУТИ Философия Работа Контрольная
User SybNet : 22 сентября 2012
50 руб.
up Наверх