Контрольная работа № 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, зачёт

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

Курсовая работа по дисциплине: «Основы системного программирования», Вариант 02, СибГУТИ 2012 г.
Задание № 1 0.Создать командный файл, который выполняет следующие действия: a. Очистка экрана b. Создать директорию C:\TEMP c. Вывод на экран содержимого директории C:\TEMP. d. Создание нового файла NEW.TXT с консоли в директории C:\TEMP. e. Просмотр постранично содержимого директории C:\TEMP. f. Вывод на экран файла NEW.TXT, причем сначала следует указать название файла. g. Удаление всех файлов с расширением TXT с запросом подтверждения из текущей директории. Задание № 2 2. Написа
СибГУТИ Программирование Работа Курсовая
User agalat : 18 февраля 2012
300 руб.
Курсовая работа по дисциплине: «Основы системного программирования», Вариант 02, СибГУТИ 2012 г.
Термодинамика и теплопередача ИРНИТУ 2019 Задача 1 Вариант 95
Считая теплоемкость идеального газа зависящей от температуры, определить: параметры газа в начальном и конечном состояниях, изменение внутренней энергии, теплоту, участвующую в процессе и работу расширения. Исходные данные, необходимые для решения задачи, выбрать из таблицы 1. Указание: зависимость величины теплоемкости от температуры дана в табл. (приложение Б).
Задачи Теплотехника
User Z24 : 9 апреля 2026
200 руб.
Термодинамика и теплопередача ИРНИТУ 2019 Задача 1 Вариант 95
СИНЕРГИЯ Специальные инженерные сооружения Тест 100 баллов 2024 год
СИНЕРГИЯ Специальные инженерные сооружения Тест 100 баллов 2024 год СИНЕРГИЯ Специальные инженерные сооружения (Темы 1-6 Итоговый тест) МТИ МосТех МосАП МФПУ Синергия Тест оценка ОТЛИЧНО 2024 год Ответы на 59 вопросов Результат – 100 баллов С вопросами вы можете ознакомиться до покупки ВОПРОСЫ: Темы: УЧЕБНЫЕ МАТЕРИАЛЫ Тема 1. Подпорные стены Тема 2. Стены подвалов Тема 3. Железобетонные силосы Тема 4. Железобетонные бункера Тема 5. Железобетонные бункера Тема 6. Сооружения башенного тип
МТИ МосТех МосАП МФПУ Синергия Специальные инженерные сооружения Тесты
User Synergy2098 : 28 мая 2024
228 руб.
promo
Теплотехника Задача 20.34 Вариант 6
При помощи h-d диаграммы найти количество тепла, необходимое для нагрева влажного воздуха от температуры t1 до t2 при заданной относительной влажности. Определить влагосодержание воздуха.
Задачи Теплотехника
User Z24 : 3 марта 2026
150 руб.
Теплотехника Задача 20.34 Вариант 6
up Наверх