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

20

Математическая логика и теория алгоритмов - КОНТРОЛЬНАЯ РАБОТА №1, 6 ВАРИАНТ

ID: 165335
Дата закачки: 14 Апреля 2016
Продавец: Simplex (Напишите, если есть вопросы)
    Посмотреть другие работы этого продавца

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

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


Комментарии: Сдача - 2015 год, Преподаватель: Мачикина Елена Павловна
Оценка: отлично.

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

   Скачать

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


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


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

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

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



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

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

  Cодержание / Математическая логика и теория алгоритмов / Математическая логика и теория алгоритмов - КОНТРОЛЬНАЯ РАБОТА №1, 6 ВАРИАНТ
Вход в аккаунт:
Войти

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

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

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


Способы оплаты:
UnionPay СБР Ю-Money qiwi Payeer Крипто-валюты Крипто-валюты


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

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

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


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