Все разделы / Математика /


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

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

Математичекая логика и теория алгоритмов. Контрольная работа. 14-й вариант

Дата закачки: 18 Октября 2012
Продавец: Moscow
    Посмотреть другие работы этого продавца

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

Описание:
Вариант контрольной работы соответствует двум последним цифрам пароля.
1. Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций.
1.14. |- А → A & ( А v В )

2. Пусть Омега - множество людей. На множестве Омега заданы следующие предикаты:

E(x, y) = И <=> x и y – один и тот же человек;
P(x, y) = И <=> x родитель y;
C(x, y) = И <=> x и y – супруги;
M(x) = И <=> x – мужчина;
W(x) = И <=> x – женщина.

С использованием этих предикатов записать формулы, выражающие следую-щие утверждения:
14. X – свекор

3. Привести формулу к предваренной форме
&#61656;( &#61476;х &#61474;y Q (x, y )) v ( &#61474;y &#61476;х Q(x,y))

4. Построить машину Тьюринга для перевода из одной конфигурации в другую. На ленте всех машин Тьюринга записаны лишь нули и единицы, при этом пустые ячейки содержат нули. ( x , y ,z &#61619; 1) Проверить работу машины Тью-ринга для конкретных значений x , y , z .
14.

5. Показать примитивную рекурсивность функции f(x,y)
f(x,y) = 5,3 <= y <=8
x:-1, иначе


Коментарии: Вид работы: Контрольная работа 1
Оценка:Зачет
Дата оценки: 25.04.2012

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

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

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

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

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


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

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

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

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

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


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

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

  Cодержание / Математика / Математичекая логика и теория алгоритмов. Контрольная работа. 14-й вариант

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

Войти

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

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

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

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


Способы оплаты:
Z-PAYMENT VISA Card MasterCard Yandex деньги WebMoney Сбербанк или любой другой банк SMS оплата ПРИВАТ 24 qiwi PayPal

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

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

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

Здесь находится аттестат нашего WM идентификатора 782443000980
Проверить аттестат


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