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


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

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

Математическая логика и теория алгоритмов

Дата закачки: 26 Декабря 2010
Продавец: botkin
    Посмотреть другие работы этого продавца

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

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


Коментарии: Вариант 22

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

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

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

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


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

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

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




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

  Cодержание / Математический анализ / Математическая логика и теория алгоритмов

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

Войти

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

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

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

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




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