900

Математическая логика и теория алгоритмов Вариант 15

ID: 240778
Дата закачки: 01 Ноября 2023
Продавец: Aleksandr (Напишите, если есть вопросы)
    Посмотреть другие работы этого продавца

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

Описание:
Задача 1

Построить таблицу истинности логической формулы.

Задача 2
Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна и методом редукции
Если Оля продолжит смотреть аниме, то друзья не помогут с учебой и ее отчислят из вуза. Друзья помогли Оле с учебой, и Оля продолжает учиться в вузе. Значит, Оля не смотрит больше аниме.
Задача 3

В формуле указать свободные и связанные переменные. Привести формулу к предваренной форме. Для каждого преобразования указать, какие равносильности были использованы. Для итоговой формулы указать свободные и связанные переменные.

Задача 4

На координатной плоскости даны множества А и В (А ограничено красным цветом, В – синим, границы включены в множества). Описать предикат , определенный на координатной плоскости, который принимает значение «истина», если точка z=(x,y) принадлежит множеству С, и значение «ложь», если точка z не принадлежит множеству С. Для записи предиката можно использовать любые логические операции и сравнение ≤.
Задача 5
15. Дана машина Тьюринга с алфавитом и программой.
Определить конфигурацию, в которую переходит машина Тьюринга после выполнения не более чем 5 команд, если начальная конфигурация была .

Комментарии: 2023 г. Мачикина Е. П.

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

Скачать

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

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

        Коментариев: 0

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

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

Ответы на тест «Основы искусственного интеллекта». МФПУ «Синергия», магистратура
Математическая логика и теория алгоритмов. Вариант №15
Математическая логика и теория алгоритмов. Вариант №5, 15, 25 ... Контрольная работа
Контрольная работа по дисциплине «Математическая логика и теория алгоритмов». Вариант №15
Контрольная работа №1 по дисциплине: Математическая логика и теория алгоритмов. Онлайн
Контрольная работа. По дисциплине: Математическая логика и теория алгоритмов. 15 вариант.
Экзаменационная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант №15
Ещё искать по базе с такими же ключевыми словами.