Страницу Назад
Поискать другие аналоги этой работы
Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант №10ID: 215042Дата закачки: 02 Января 2021 Продавец: IT-STUDHELP (Напишите, если есть вопросы) Посмотреть другие работы этого продавца Тип работы: Работа Контрольная Форматы файлов: Microsoft Word Сдано в учебном заведении: СибГУТИ Описание: Вариант 10 Задача 1. Построить таблицу истинности логической формулы. (A→B)∼((¬A→C)→(¬B→C)) Задача 2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна и методом редукции. Если менеджер успел на автобус, то менеджер вовремя приедет в офис. Если менеджер приедет вовремя в офис, то он обслужит всех клиентов. Сегодня менеджер не смог обслужить всех клиентов. Значит, менеджер опоздал на автобус. Задача 3. В формуле указать свободные и связанные переменные. Привести формулу к предваренной форме. Для каждого преобразования указать, какие равносильности были использованы. Для итоговой формулы указать свободные и связанные переменные. Задача 4. На координатной плоскости даны множества A и B (A ограничено красным цветом, B — синим, границы включены в множества). Описать предикат P_C (z), определенный на координатной плоскости, который принимает значение «истина», если точка z=(x,y) принадлежит множеству C, и значение «ложь», если точка z не принадлежит множеству C. Для записи предиката можно использовать любые логические операции и сравнение ≤. C=¯A∖B Задача 5. Дана машина Тьюринга с алфавитом A={0,1} и программой q_1 1→1Rq_2, q_1 0→1Hq_2, q_2 0→1Hq_0, q_2 1→1Rq_2. Определить конфигурацию, в которую переходит машина Тьюринга после выполнения не более чем 5 команд, если начальная конфигурация была 00q_1 00010. Комментарии: Уважаемый студент, дистанционного обучения, Оценена Ваша работа по предмету: Математическая логика и теория алгоритмов Вид работы: Контрольная работа Оценка: Зачет Дата оценки: 02.01.2021 Рецензия: Уважаемый , Мачикина Елена Павловна Помогу с вашим вариантом, другой работой или дисциплиной. E-mail: sneroy20@gmail.com Размер файла: 41,4 Кбайт Фаил: 
(.docx)
------------------- Обратите внимание, что преподаватели часто переставляют варианты и меняют исходные данные! Если вы хотите, чтобы работа точно соответствовала, смотрите исходные данные. Если их нет, обратитесь к продавцу или к нам в тех. поддержку. Имейте ввиду, что согласно гарантии возврата средств, мы не возвращаем деньги если вариант окажется не тот. -------------------
Скачано: 10 Коментариев: 0 |
||||
Есть вопросы? Посмотри часто задаваемые вопросы и ответы на них. Опять не то? Мы можем помочь сделать! |
||||
Вход в аккаунт:
Страницу Назад
Cодержание / Математическая логика и теория алгоритмов / Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант №10