150

Контрольная работа №1 по Математической логике и Теории алгоритмов (МЛиТА). Вариант №13.

ID: 223928
Дата закачки: 11 Февраля 2022
Продавец: Omrade (Напишите, если есть вопросы)
    Посмотреть другие работы этого продавца

Тип работы: Работа Контрольная
Сдано в учебном заведении: СибГУТИ

Описание:
Проверить полноту системы логических функций, используя критерий Поста. Заполнение таблицы Поста должно быть обоснованным. Если система не полна, то достроить до полной системы. (Запрещается дополнять функциями штрих Шеффера, стрелка Пирса, константами 0 и 1, отрицанием, конъюнкцией.) Используя функции полученной полной системы, выразить константы 0 и 1,отрицание, конъюнкцию.
Задачи 2–5
2. Записать рассуждение в логической символике, обосновать выбор логических связок.
3. Проверить правильность рассуждения методом Куайна.
4. Проверить правильность рассуждения методом редукции.
5. Проверить правильность рассуждения методом резолюций
Задача 6
На координатной плоскости даны множества А и В (А ограничено красным цветом, В – синим). Описать предикаты, определенные на координатной плоскости PA (z) = "точка z принадлежит множеству А", PB (z) = "точка z принадлежит множеству В" (границы включены в множества, можно использовать логические операции и сравнение ≤). С использованием полученных предикатов записать в виде формул логики предикатов высказывания о множествах А и В.

Задача 8
Построить машину Тьюринга для вычисления арифметической функции f (x, y) . Внешний алфавит состоит только из 0 и 1, 0 – пустой символ. Пояснения по построению программы для МТ обязательны. Проверить работу машины Тьюринга для конкретных значений x, y и нарисовать граф, соответствующий построенной МТ.





Комментарии: Сдано на отлично. По поводу покупки отдельных задач пишите на почту 6.9.99@mail.ru

Размер файла: 264,7 Кбайт
Фаил: (.rar)
-------------------
Обратите внимание, что преподаватели часто переставляют варианты и меняют исходные данные!
Если вы хотите, чтобы работа точно соответствовала, смотрите исходные данные. Если их нет, обратитесь к продавцу или к нам в тех. поддержку.
Имейте ввиду, что согласно гарантии возврата средств, мы не возвращаем деньги если вариант окажется не тот.
-------------------

Скачать

Добавить в корзину

Занесено в корзину

    Скачано: 4         Коментариев: 0

Есть вопросы? Посмотри часто задаваемые вопросы и ответы на них.
Опять не то? Мы можем помочь сделать!

Некоторые похожие работы:

К сожалению, точных предложений нет. Рекомендуем воспользоваться поиском по базе.