Все разделы / Логика /


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

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

Математическая логика и теория алгоритмов. СибГУТИ. Вариант 4

Дата закачки: 06 Ноября 2015

Автор: Юлия
Продавец: lihaja
    Посмотреть другие работы этого продавца

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

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


Коментарии: год сдачи 2015

Размер файла: 106,3 Кбайт
Фаил: Microsoft Word (.docx)

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

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

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

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




16 Февраля 2016 09:43:27


Сообщений:
А на заказ шифр 02 сможете сделать?


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

  Cодержание / Логика / Математическая логика и теория алгоритмов. СибГУТИ. Вариант 4

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

Войти

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

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

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

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




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