Страницу Назад
Поискать другие аналоги этой работы
800 Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант 04ID: 193720Дата закачки: 22 Июля 2018 Продавец: SibGOODy (Напишите, если есть вопросы) Посмотреть другие работы этого продавца Тип работы: Работа Контрольная Форматы файлов: Microsoft Word Сдано в учебном заведении: ДО СИБГУТИ Описание: Исчисление высказываний 1. Пользуясь определением формулы исчисления высказываний проверить является ли данное выражение формулой. (см скрин) 2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна, методом редукции и методом резолюций. Если бы он хорошо знал английский язык или хотя бы она говорила помедленней, то он бы ее понял. Но он ее не понял. Значит, она как всегда говорила слишком быстро. Исчисление предикатов 3. Пользуясь определением формулы логики предикатов проверить, что выражение является формулой. В формуле указать свободные и связанные переменные. Привести формулу к предваренной форме. (см. скрин) Теория алгоритмов 4. Построить машину Тьюринга для перевода из начальной конфигурации в заключительную. На ленте МТ записаны нули и единицы, пустые ячейки содержат нули, . Проверить работу машины Тьюринга для конкретных значений x,y. Нарисовать граф, соответствующий построенной МТ. (см. скрин) 5. Показать примитивную рекурсивность функции f(x,y). (см. скрин) Комментарии: Зачет без замечаний! Дата сдачи: июнь 2018 г. Помогу с другим вариантом. Выполняю работы на заказ по различным дисциплинам. E-mail: LRV967@ya.ru Размер файла: 265 Кбайт Фаил: ![]() ------------------- Обратите внимание, что преподаватели часто переставляют варианты и меняют исходные данные! Если вы хотите, чтобы работа точно соответствовала, смотрите исходные данные. Если их нет, обратитесь к продавцу или к нам в тех. поддержку. Имейте ввиду, что согласно гарантии возврата средств, мы не возвращаем деньги если вариант окажется не тот. -------------------
Скачано: 1 Коментариев: 0 |
||||
Есть вопросы? Посмотри часто задаваемые вопросы и ответы на них. Опять не то? Мы можем помочь сделать! Некоторые похожие работы:Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант №4Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант №17 Онлайн-Тест по дисциплине: Математическая логика и теория алгоритмов. Помогу с вашим онлайн тестом Ещё искать по базе с такими же ключевыми словами. |
||||
Не можешь найти то что нужно? Мы можем помочь сделать! От 350 руб. за реферат, низкие цены. Спеши, предложение ограничено ! |
Вход в аккаунт:
Страницу Назад
Cодержание / Математическая логика и теория алгоритмов / Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант 04
Вход в аккаунт: