500

Контрольная работа по дисциплине: Математическая логика и теория алгоритмов .ВАРИАНТ-16 ДО СИБГУТИ

ID: 189059
Дата закачки: 21 Февраля 2018
Продавец: DO_SIBGUTI_HELP (Напишите, если есть вопросы)
    Посмотреть другие работы этого продавца

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

Описание:
ПИШИТЕ DEMSIBGUTI@MAIL.RU
ДЕЛАЕМ "ВСЕ" ДЛЯ ДО СИБГУТИ

Исчисление высказываний
1. Пользуясь определением формулы исчисления высказываний проверить, является ли данное выражение формулой. (см. скрин)

2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна, методом редукции и методом резолюций.
Если человек обедает в кафе быстрого питания, то он голоден и куда-то торопится. Человек не обедает в кафе быстрого питания, хотя и очень торопится. Значит, он голоден.

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

Теория алгоритмов
4.Построить машину Тьюринга для перевода из начальной конфигурации в заключительную. На ленте МТ записаны нули и единицы, пустые ячейки содержат нули, . Проверить работу машины Тьюринга для конкретных значений x,y. Нарисовать граф, соответствующий построенной МТ. (см. скрин)

5. Показать примитивную рекурсивность функции f(x,y). (см. скрин)




Комментарии: ПИШИТЕ DEMSIBGUTI@MAIL.RU
ДЕЛАЕМ "ВСЕ" ДЛЯ ДО СИБГУТИ

Размер файла: 87,7 Кбайт
Фаил: (.docx)

Скачать

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

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

    Скачано: 4         Коментариев: 0

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

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

К сожалению, точных предложений нет. Рекомендуем воспользоваться поиском по базе.