Страницу Назад
Поискать другие аналоги этой работы
680 Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант №20ID: 215044Дата закачки: 02 Января 2021 Продавец: IT-STUDHELP (Напишите, если есть вопросы) Посмотреть другие работы этого продавца Тип работы: Работа Контрольная Форматы файлов: Microsoft Word Сдано в учебном заведении: СибГУТИ Описание: Вариант №20 Задача 1. Построить таблицу истинности логической формулы. 20. ¬(A⟶¬(¬B⟶C))⟶((A⟶¬B)~¬(A⟶¬C)) Задача 2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна и методом редукции. 20. Если подозреваемый совершил кражу, то кража была тщательно подготовлена. Если бы кража была тщательно подготовлена, то если бы был соучастник, украдено было бы гораздо больше. Значит, подозреваемый не виновен. Задача 3. В формуле указать свободные и связанные переменные. Привести формулу к предваренной форме. Для каждого преобразования указать, какие равносильности были использованы. Для итоговой формулы указать свободные и связанные переменные. 20. (∀xQ(x,y)⟶∃yQ(x,y))∨∃xR(x,y) Задача 4. На координатной плоскости даны множества A и B (A ограничено красным цветом, B – синим, границы включены в множества). Описать предикат P_C (z), определенный на координатной плоскости, который принимает значение «истина», если точка z=(x,y) принадлежит множеству C, и значение «ложь», если точка z не принадлежит множеству C. Для записи предиката можно использовать любые логические операции и сравнение ≤. Вариант 20 Задача 5. 20. Дана машина Тьюринга с алфавитом A={0,1} и программой: q_1 1⟶1Rq_2; q_1 0⟶1Hq_2; q_2 0⟶1Hq_0; q_2 1⟶1Lq_2 Определить конфигурацию, в которую переходит машина Тьюринга после выполнения не более чем 5 команд, если начальная конфигурация была: 011q_1 1110110 Комментарии: Уважаемый студент, дистанционного обучения, Оценена Ваша работа по предмету: Математическая логика и теория алгоритмов Вид работы: Контрольная работа Оценка: Зачет Дата оценки: 02.01.2021 Рецензия: Уважаемый , Мачикина Елена Павловна Помогу с вашим вариантом, другой работой или дисциплиной. E-mail: sneroy20@gmail.com Размер файла: 52,9 Кбайт Фаил: (.docx) ------------------- Обратите внимание, что преподаватели часто переставляют варианты и меняют исходные данные! Если вы хотите, чтобы работа точно соответствовала, смотрите исходные данные. Если их нет, обратитесь к продавцу или к нам в тех. поддержку. Имейте ввиду, что согласно гарантии возврата средств, мы не возвращаем деньги если вариант окажется не тот. -------------------
Скачано: 5 Сейчас качают: 1 Коментариев: 0 |
||||
Есть вопросы? Посмотри часто задаваемые вопросы и ответы на них. Опять не то? Мы можем помочь сделать! Некоторые похожие работы:Контрольная работа № 1 по дисциплине: Математическая логика и теория алгоритмов. Вариант №20Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант 20 Онлайн-Тест по дисциплине: Математическая логика и теория алгоритмов. Помогу с вашим онлайн тестом Ещё искать по базе с такими же ключевыми словами. |
||||
Не можешь найти то что нужно? Мы можем помочь сделать! От 350 руб. за реферат, низкие цены. Спеши, предложение ограничено ! |
Вход в аккаунт:
Страницу Назад
Cодержание / Математическая логика и теория алгоритмов / Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант №20
Вход в аккаунт: