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


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

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

Контрольная работа по дисциплине «Математическая логика и теория алгоритмов»

Дата закачки: 16 Июля 2010

Автор: Александр
Продавец: m9c1k
    Посмотреть другие работы этого продавца

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

Описание:
1) Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций.
2) Пусть Омега - множество людей. На множестве Омега заданы следующие предикаты:
E(x, y) = И <=> x и y – один и тот же человек;
P(x, y) = И <=> x родитель y;
C(x, y) = И <=> x и y – супруги;
M(x) = И <=> x – мужчина;
W(x) = И <=> x – женщина.
С использованием этих предикатов записать формулы, выражающие следующие утверждения:
X – прабабушка.
3) Привести формулу к предваренной форме
4) Построить машину Тьюринга для перевода из одной конфигурации в другую. На ленте всех машин Тьюринга записаны лишь нули и единицы, при этом пустые ячейки содержат нули. . Проверить работу машины Тьюринга для конкретных значений .
5) Показать примитивную рекурсивность функции f(x,y)
f(x,y)=x+|xy-x|


Коментарии: Вариант №4

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

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

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

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





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

  Cодержание / Математика / Контрольная работа по дисциплине «Математическая логика и теория алгоритмов»

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

Войти

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

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

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

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




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