Контрольная работа № 1 по дисциплине "Математическая логика и теория алгоритмов" 2 семестр 6 вариант

Цена:
125 руб.

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

material.view.file_icon E3807E71-EE68-44DC-BA47-99D1C7E43971.rar [ 75 KB ]
material.view.file_icon KONTR_MATLOG_ST_A 6 variant
material.view.file_icon контр.doc [ 288 KB ]
Работа представляет собой rar архив с файлами (распаковать онлайн), которые открываются в программах:
  • 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 .
q11x01y01z => q01x+z
5.Показать примитивную рекурсивность функции f(x,y)

Дополнительная информация

2010, зачёт

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

Рычаг регулировочный - 43.000 СБ
Аксарин П. Е. Чертежи для деталирования. Задание 43. Рычаг регулировочный. Деталирование. Сборочный чертеж. Модели Рычаг с червячным механизмом предназначен для регулирования тормозной системы автомобиля ЗИЛ-130. Зазор между тормозными колодками и тормозным барабаном изменяется поворотом разжимного кулака, на шлицевой хвостовик которого насаживается регулировочный рычаг. Поворот рычага при торможении производится тягой, соединяющей его с тормозной камерой. Зазор регулируется дополнительным пово
Чертежи Инженерная и компьютерная графика
User .Инженер. : 26 апреля 2024
170 руб.
Рычаг регулировочный - 43.000 СБ promo
Курсовая работа "ПРОЕКТ РАТС НА БАЗЕ ЦИФРОВОЙ АТС ТИПА EWSD". Вариант №10. Проектирование и эксплуатация сетей связи
Содержание Введение 4 Задание на курсовой проект 5 1. Разработка структурной схемы ГТС и нумерации АЛ 6 1.1 Структурная схема ГТС 6 1.2 Разработка системы нумерации АЛ на ГТС 7 2. Разработка структурной схемы проектируемой РАТС 9 2.1 Определение количества и емкости DLU 9 2.2 Распределение источников нагрузки по DLU 9 2.3 Структурная схема проектируемой РАТС 10 3. Расчет интенсивностей телефонных нагрузок 12 3.1 Расчет исходящей нагрузки от DLU 12 3.2 Расчет интенсивностей нагрузок между сущест
СибГУТИ Проектирование автоматизированных систем Работа Курсовая
User yans : 8 ноября 2013
500 руб.
Теплотехника РГАУ-МСХА 2018 Задача 4 Вариант 02
По трубе внутренним диаметром d, мм и длиной L, м протекает вода со скоростью ω, м/с (рис. 2.3). Средняя температура воды – t, °С , а внутренней стенки трубы – tс, °С. Определите коэффициент теплоотдачи от воды к стенке трубы и передаваемый тепловой поток. Ответить на вопросы: 1. Дайте определение конвективному теплообмену, вынужденной конвекции. 2. Что изучает теория подобия, каково ее назначение? 3. Какие наблюдаются режимы течения жидкости (газа) в трубах? При каких условиях они воз
Задачи Теплотехника
User Z24 : 26 января 2026
200 руб.
Теплотехника РГАУ-МСХА 2018 Задача 4 Вариант 02
Тепломассообмен ТГАСУ 2017 Задача 3 Вариант 52
Определение времени нагревания вала до заданной температуры Длинный стальной вал диаметром d = 2r0, который имел температуру t0, °C, был помещен в печь с температурой tж, ºС. Определить время τ, необходимое для нагрева вала, если нагрев считается законченным, когда температура на оси вала станет равной tr=0, ºC. Определить также температуру на поверхности вала tr=ro в конце нагрева. Коэффициент теплопроводности и температуропроводности стали равны соответственно λ и a. Коэффициент теплоотд
Задачи Теплотехника
User Z24 : 3 февраля 2026
200 руб.
Тепломассообмен ТГАСУ 2017 Задача 3 Вариант 52
up Наверх