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


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

(300 )

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

ID: 187429
Дата закачки: 06 Января 2018
Продавец: Efimenko250793 (Напишите, если есть вопросы)
    Посмотреть другие работы этого продавца

Тип работы: Работа Контрольная
Сдано в учебном заведении: Сибирский государственный университет телекоммуникаций и информатики

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

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

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

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

Работа сдана в 2017г.
Зачтесна с первого раза без замечаний.

Комментарии: 2017

Размер файла: 346 Кбайт
Фаил: Microsoft Word (.doc)
-------------------
Обратите внимание, что преподаватели часто переставляют варианты и меняют исходные данные!
Если вы хотите, чтобы работа точно соответствовала, смотрите исходные данные. Если их нет, обратитесь к продавцу или к нам в тех. поддержку.
Имейте ввиду, что согласно гарантии возврата средств, мы не возвращаем деньги если вариант окажется не тот.
-------------------

   Скачать

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


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


Не можешь найти то что нужно? Мы можем помочь сделать! 

От 350 руб. за реферат, низкие цены. Просто заполни форму и всё.

Спеши, предложение ограничено !



Что бы написать комментарий, вам надо войти в аккаунт, либо зарегистрироваться.

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

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

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

Войти

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

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

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


Способы оплаты:
Ю-Money WebMoney SMS оплата qiwi Крипто-валюты

И еще более 50 способов оплаты...
Гарантии возврата денег

Как скачать и покупать?

Как скачивать и покупать в картинках


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