Все разделы / Математическая логика и теория алгоритмов /


Страницу Назад
Поискать другие аналоги этой работы

За деньгиЗа деньги (800 руб.)

Контрольная работа. Математическая логика и теория алгоритмов. Вариант №8.

Дата закачки: 01 Января 2016
Продавец: murlika
    Посмотреть другие работы этого продавца

Тип работы: Работа Контрольная
Форматы файлов: Microsoft Word
Сдано в учебном заведении: СибГУТИ

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

(A (B¬C))(¬(A¬B)¬C)
2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна, методом редукции и методом резолюций

Если бы он ей не сказал, она бы не узнала. А не спроси она его, он бы и не сказал ей. Но она узнала. Значит, она его спросила.
3. Пользуясь определением формулы логики предикатов проверить, что выражение является формулой. в формуле указать свободные и связанные переменные. Привести формулу к предваренной форме:

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

q_1 1^x 〖01〗^y 0⟹{█(q_1 1^x,если x>y@q_0 1^y,если x≤y)┤ 





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

f(x,y)=(x+y)mod2



Коментарии: Декабрь, 2015 г. Работа зачтена.

Размер файла: 93 Кбайт
Фаил: Упакованные файлы (.rar)

-------------------
Обратите внимание, что преподователи часто переставляют варианты и меняют исходные данные!
Если вы хотите что бы работа точно соответствовала, смотрите исходные данные. Если их нет, обратитесь к продавцу или к нам в тех. поддержку.
Имейте ввиду, что согласно гарантии возврата средств, мы не возвращем деньги если вариант окажется не тот.
-------------------

 Скачать Скачать

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

        Коментариев: 1


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

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

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

Сдай работу играючи!

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


Betelda 04 Марта 2016 15:35:21


Сообщений: 2
Второй вопрос не зачли. Остальное без замечаний


Страницу Назад

  Cодержание / Математическая логика и теория алгоритмов / Контрольная работа. Математическая логика и теория алгоритмов. Вариант №8.

Вход в аккаунт:

Войти

Перейти в режим шифрования SSL

Забыли ваш пароль?

Вы еще не зарегистрированы?

Создать новый Аккаунт




Сайт помощи студентам, без посредников!