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


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

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

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

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

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

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

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

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

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

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

    Скачано: 14         Сейчас качают: 1         Коментариев: 5


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

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

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

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

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


Юлия 18 Февраля 2016 10:00:27


Сообщений: 3
Преподаватель проверял один и тот же, а мне написал замечания и незачёл.

BOETZ 19 Февраля 2016 17:42:10


Сообщений: 2
В чем суть замечаний? Те, кто до этого скачивал подобных комментариев не оставляли.

nikis 25 Апреля 2016 06:05:38


Сообщений: 4
незачет

Юлия 27 Апреля 2016 08:33:45


Сообщений: 3
Задача 2: "Выше все правильно написано про гипотезы и вывод. Непонятно почему далее неверно записана выводимость. Гипотезы должны быть слева от знака выводимости, вывод – справа".
Задача 3: "Здесь необходимо последовательно применять равносильности с кванторами. Во второй части формулы переменная х является свободной, поэтому после преобразований должна остаться свободной. А результате все переменные связанные".

BOETZ 28 Апреля 2016 06:55:29


Сообщений: 2
Сдавалась именно эта работа и не один раз. Был получен зачет. Почему сейчас преподаватель придирается, не готов прокомментировать. Наверно, надоело одно и тоже читать.


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

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

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

Войти

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

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

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

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




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