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


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

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

Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. ВАриант 15

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

Сдано в учебном заведении: СибГУТИ

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

Коментарии: Зачет.

Размер файла: 497,5 Кбайт
Фаил: Microsoft Word (.doc)

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

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

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


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

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



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

  Cодержание / Математическая логика и теория алгоритмов / Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. ВАриант 15

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

Войти

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

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

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

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




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