Страницу Назад
Поискать другие аналоги этой работы
Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант №21ID: 200407Дата закачки: 11 Мая 2019 Продавец: IT-STUDHELP (Напишите, если есть вопросы) Посмотреть другие работы этого продавца Тип работы: Работа Контрольная Форматы файлов: Microsoft Word Сдано в учебном заведении: СибГУТИ Описание: 1. Пользуясь определением формулы исчисления высказываний проверить является ли данное выражение формулой. ((A→¬¬¬B)→¬(A→¬C))→¬(A→¬(¬B→C)) 2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна, методом редукции и методом резолюций. Если подозреваемый совершил кражу, то кража была тщательно подготовлена. Если бы кража была тщательно подготовлена, то если бы был соучастник, украдено было бы гораздо больше. Значит, подозреваемый не виновен. 3. Пользуясь определением формулы логики предикатов проверить, что выражение является формулой. В формуле указать свободные и связанные переменные. Привести формулу к предваренной форме 4. Построить машину Тьюринга для перевода из начальной конфигурации в заключительную. На ленте МТ записаны нули и единицы, пустые ячейки содержат нули, x,y ⩾1 . Проверить работу машины Тьюринга для конкретных значений x,y. Нарисовать граф, соответствующий построенной МТ. 5. Показать примитивную рекурсивность функции f(x,y). Комментарии: Уважаемый студент, дистанционного обучения, Оценена Ваша работа по предмету: Математическая логика и теория алгоритмов Вид работы: Контрольная работа 1 Оценка:Зачет Дата оценки: 11.05.2019 Рецензия:Уважаемый , Мачикина Елена Павловна Помогу с вашим вариантом, другой работой или дисциплиной. E-mail: sneroy20@gmail.com Размер файла: 884,5 Кбайт Фаил: 
(.doc)
------------------- Обратите внимание, что преподаватели часто переставляют варианты и меняют исходные данные! Если вы хотите, чтобы работа точно соответствовала, смотрите исходные данные. Если их нет, обратитесь к продавцу или к нам в тех. поддержку. Имейте ввиду, что согласно гарантии возврата средств, мы не возвращаем деньги если вариант окажется не тот. -------------------
Скачано: 8 Коментариев: 0 |
||||
Есть вопросы? Посмотри часто задаваемые вопросы и ответы на них. Опять не то? Мы можем помочь сделать! |
||||
Вход в аккаунт:
Страницу Назад
Cодержание / Математическая логика и теория алгоритмов / Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант №21