Метод редукции и метод резолюций, методом Куайна

Цена:
23 руб.

Состав работы

material.view.file_icon A5F5EACA-0A7A-40AE-BF1D-4B47D2902978.rar [ 52 KB ]
material.view.file_icon Mat_Log_KR_DOR.doc [ 202 KB ]
Работа представляет собой rar архив с файлами (распаковать онлайн), которые открываются в программах:
  • Microsoft Word

Описание

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

Дополнительная информация

Исправленная работа.
Зачтена на отлично.

Другие работы

Выборочный контроль при исследовании надежности
1. Основные понятия в области технического обеспечения надежности Надежность представляет собой понятие связанное прежде всего с техникой. Его можно трактовать как “безотказность”, “способность выполнять определенную задачу” или как "вероятность выполнения определенной функции или функций в течение определенного времени и в определенных условиях". Как техническое понятие “надежность” представляет собой вероятность (в математическом смысле) удовлетворительного выполнения определенной функции. П
Менеджмент Работа
User Elfa254 : 23 октября 2013
10 руб.
Теплотехника ЮУрГАУ 2017 Задача 1 Вариант 23
Цикл идеального компрессора Воздух в компрессоре сжимается от давления р1 до давления р2 (при изотермическом, адиабатном и политропном сжатии). 1. Рассчитать: 1.1. Параметры в начале сжатия: удельный объем υ1, м³/кг, и объем V1, м³, для М, кг воздуха; 1.2. Параметры в конце сжатия: удельный объем υ2, м³/кг, и объем V2, м³, для М, кг воздуха; температуру Т2, К (для изотермического, адиабатного и политропного сжатия); 1.3. Для привода компрессора: удельную работу l, Дж/кг, и работу L,
Задачи Теплотехника
User Z24 : 4 декабря 2025
200 руб.
Теплотехника ЮУрГАУ 2017 Задача 1 Вариант 23
Расчет, моделирование на ПЭВМ и испытание цифровых фильтров нижних частот
Вариант 3 Граничная частота полосы пропускания = 1,2 кГц Граничная частота полосы задерживания = 3 кГц Отклонение АЧХ от единицы в полосе пропускания = 0,04 Отклонение АЧХ от нуля в полосе задерживания = 0,017 Частота дискретизации = 48 кГц Тип окна для нерекурсивного ЦФ 1 и 4 Входной четырехточечный сигнал (-2,-1,1,2)
******* Не известно Теория электрических цепей Работа Курсовая
User Майк : 23 марта 2017
300 руб.
Лабораторная работа №1 по дисциплине: Электромагнитные поля и волны. Исследование распространения электромагнитных волн в реальных средах. (4-й семестр)
Цель работы: Исследование влияния параметров реальных сред на процесс распространения электромагнитных волн. РАСЧЕТНАЯ (ЭКСПЕРИМЕНТАЛЬНАЯ) ЧАСТЬ КОНТРОЛЬНЫЕ ВОПРОСЫ 1. Какая волна называется плоской волной? При каком условии электромагнитную волну можно считать плоской волной? 2. Какие среды называют идеальными, какие реальными? Приведите примеры идеальных и реальных сред. 3. Чем обусловлены потери энергии электромагнитной волны в диэлектрике, проводнике и вакууме? 4. Поясните физический смысл
СибГУТИ Электромагнитные поля и волны Работа Лабораторная
User Jack : 28 марта 2013
120 руб.
promo
up Наверх