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

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

material.view.file_icon
material.view.file_icon
material.view.file_icon Контрольная работа.doc

Необходимые программы

Работа представляет собой 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 руб.
Механика жидкости и газа СПбГАСУ 2014 Задача 8 Вариант 27
Из бачка I вода подается при постоянном уровне через цилиндрический насадок диаметром d1 = (0,3 + 0,02·y) м в емкость, разделенную на два отсека: II и III. В перегородке есть прямоугольное отверстие размерами a = (0,4 + 0,02·y) м, b = (0,2 + 0,01·z) м. Полный напор над центром тяжести наружного отверстия диаметром d2 = (0,4 + 0,01·z) м H = (4,0 + 0,1·y) м. Определить расход Q и высоты уровней воды в отсеках II и III, т. е. h1, h2, h3 (рис. 8).
User Z24 : 1 января 2026
220 руб.
Механика жидкости и газа СПбГАСУ 2014 Задача 8 Вариант 27
Внешние эффекты и их влияние на экономику страны
Глава1. Внешние эффекты в бизнесе. Роль государства в регулировании внешних эффектов 1.1 Понятие внешних эффектов. Отрицательные и положительные эффекты 1.2 Как государство регулирует внешние эффекты. Анализ данных Глава 2. Пути снижения воздействия внешних отрицательных эффектов на благосостояние общества 2.1 Корректирующие налоги и субсидии 2.2 Теорема Коуза 2.3 Правовые нормы ответственности и судебные иски 2.4 Новый подход к ликвидации отрицательных внешних эффектов 2.5 Оптимальное для обще
User Qiwir : 25 февраля 2014
5 руб.
Антикризисная программа управления персоналом
Содержание ВВЕДЕНИЕ 3 ЦЕЛЬ РАБОТЫ И ЗАДАЧИ РАБОТЫ 6 1. ТЕОРЕТИЧЕСКИЕ ОСНОВЫ УПРАВЛЕНИЯ ПЕРСОНАЛОМ В УСЛОВИЯХ КРИЗИСА 1.1. Причины возникновения кризисной ситуации 8 1.2. Основные проблемы управления персоналом кризисного предприятия 9 1.3. Принципы, задачи и методы управления человеческим потенциалом кризисного предприятия 11 2. ХАРАКТЕРИСТИКА ДЕЯТЕЛЬНОСТИ ЗАО «ЭКО-МАЛ 2.1. Общая характеристика деятельности ЗАО «ЭКО-МАЛ 13 2.2. Диагностика финансового состояния ЗАО «ЭКО-МАЛ» 15 2.3. Анализ систе
User Slolka : 3 апреля 2014
5 руб.
Развитие профессиональных и личностных компетенций как фактор повышения конкурентоспособности
Молодежь, составляющая третью часть трудоспособного населения России, занимает важное место в системе воспроизводства и развития трудовых ресурсов и является основным инновационным потенциалом. И от того, насколько широко молодежь включена, интегрирована во все сферы социально-экономической жизни и насколько активно ее участие в ней, во многом зависят темпы развития всего общества, уровень жизни населения страны. В начале ХХ века блистательно-афористичный Козьма Прутков утверждал: «Однобокий сп
User alfFRED : 18 ноября 2013
10 руб.
up Наверх