Страницу Назад
Поискать другие аналоги этой работы
150 Контрольная работа работа по математической логике и теории алгоритмов 3-й семестрID: 152796Дата закачки: 31 Марта 2015 Продавец: sanrus72 (Напишите, если есть вопросы) Посмотреть другие работы этого продавца Тип работы: Работа Контрольная Форматы файлов: Microsoft Word Сдано в учебном заведении: ******* Не известно Описание: I. Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций. II. Пусть Омега - множество людей. На множестве Омега заданы следующие предикаты: 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 – женщина. С использованием этих предикатов записать формулу, выражающую следующее утверждение: X – шурин. III. Привести формулу к предваренной форме. Решение. Избавляемся от импликации в формуле, используя на втором этапе законы де Моргана и закон двойного отрицания: IV. Построить машину тьюринга для перевода из одной конфигурации в другую. На ленте всех машин тьюринга записаны лишь нули и единицы, при этом пустые ячейки содержат нули. ( x , y , >=z ;) Проверить работу машины тьюринга для конкретных значений x , y , z . q11x01y01z => q01z+x Внешний алфавит для такой машины достаточно взять двухсимвольный, А={0,1}. V. Показать примитивную рекурсивность функции f(x,y): Комментарии: Уважаемый слушатель, дистанционного обучения, Оценена Ваша работа по предмету: Математическая логика и теория алгоритмов Вид работы: Зачет Оценка:Зачет Дата оценки: 20.02.2015 Рецензия:Уважаемый , Мачикина Елена Павловна Размер файла: 131,2 Кбайт Фаил: (.rar)
Скачано: 1 Коментариев: 0 |
||||
Есть вопросы? Посмотри часто задаваемые вопросы и ответы на них. Опять не то? Мы можем помочь сделать! Некоторые похожие работы:Математическая логика и теория алгоритмов. Контрольная работа. Вариант 5, Семестр 2Математическая логика и теория алгоритмов. Контрольная работа. Вариант 12, Семестр 2 Математическая логика и теория алгоритмов. Контрольная работа. Вариант №1. 2-й семестр. 2-й курс Контрольная работа. Математическая логика и теория алгоритмов. II-й семестр. вариант №17 Математическая логика и теория алгоритмов. Контрольная работа№1. Вариант №5. Семестр №2 Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант №6. Семестр 3. Контрольная работа № 1 по дисциплине "Математическая логика и теория алгоритмов" 2 семестр 6 вариант Ещё искать по базе с такими же ключевыми словами. |
||||
Не можешь найти то что нужно? Мы можем помочь сделать! От 350 руб. за реферат, низкие цены. Спеши, предложение ограничено ! |
Вход в аккаунт:
Страницу Назад
Cодержание / Математическая логика и теория алгоритмов / Контрольная работа работа по математической логике и теории алгоритмов 3-й семестр
Вход в аккаунт: