Контрольная работа по Мат Логике и теории алгоритмов 1 вариант

Цена:
100 руб.

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

material.view.file_icon E434B434-9D62-4172-AC26-E319DB23B129.zip [ 43 KB ]
material.view.file_icon Контрольная работа
material.view.file_icon Контрольная работа.doc [ 176 KB ]
Работа представляет собой zip архив с файлами (распаковать онлайн), которые открываются в программах:
  • 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.
5. Показать примитивную рекурсивность функции f(x,y)

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

Работа была успешно зачтена в 2014 году.

Похожие материалы

Контрольная работа по Мат Логике и теории алгоритмов 1 вариант
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. Построить машину Тьюринга для перевода из одной конфигурации в другую. На ленте всех м
******* Не известно Математическая логика и теория алгоритмов Работа Контрольная
User fominovich : 5 сентября 2015
100 руб.

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

Телевидение
ИССЛЕДОВАНИЯ в области телевидения заняли более чем 30 лет в жизни ученого и привели к открытию, принесшему ему мировую известность и послужившему основой для развития современного телевидения. Зарождение телевидения относится к 70-м годам прошлого столетия. Оно неразрывно связано с развитием электротехники и ее практическими применениями, в частности для связи на большие расстояния. Возможность бы строй передачи сообщений на большие расстояния в виде электрических сигналов наводила на мысль об
Работа Телекоммуникации
User DocentMark : 15 ноября 2012
15 руб.
Лабораторные работы № 1,2,3 вариант № 8 по дисциплине "Схемотехника телекоммуникационных устройств"
ЛР1 Цель работы Исследовать влияние параметров элементов схемы каскада с эмиттерной стабилизацией на его показатели (коэффициент усиления, частотные и переходные характеристики). 2 Описание схемы исследуемого усилителя: Принципиальная схема резисторного каскада приведена на рисунке 1. На схеме рисунка 1 транзистор VT1 включен по схеме с общим эмиттером. Необходимый режим работы и стабилизации тока коллектора обеспечивается резисторами R2, R3, R5. При этом делитель напряжения R2, R3 создает тре
ДО СИБГУТИ Схемотехника телекоммуникационных устройств Работа Лабораторная
User ARTEM1343 : 16 октября 2022
1500 руб.
Лабораторные работы № 1,2,3 вариант № 8 по дисциплине "Схемотехника телекоммуникационных устройств"
Ноксология. Контрольная работа. Вариант №1
Контрольная работа по Ноксологии. Цель работы: 1. Исследовать методы обнаружения опасностей, освоить методику таксономию опасности. 2. Выполнить анализ опасности и возможности внешней среды и системного анализа опасностей производственной среды. Задание 1. Исследование и анализ опасности внешней среды. Системный анализа опасностей производственной среды. 1. Заполнить (правую часть) таблицы 1 источников, процессов и условий внешней среды, создающих опасности (таблица 2). 2. Ответить н
Ноксология Работа Контрольная
User Damovoy : 19 декабря 2020
630 руб.
Облік створення та здійснення господарської діяльності товариства з додатковою відповідальністю
РЕФЕРАТ Об'єкт дослідження – товариство з додатковою відповідальністю (ТзДВ). Предмет дослідження – система фінансового обліку і відображення фінансової звітності ТзДВ. Ціль роботи – придбати навики у веденні бухгалтерського обліку та складання фінансової звітності підприємства. Завдання роботи – вивчення організації формування та відображення фінансової звітності та ведення обліку у ТзДВ. Основні результати курсової роботи: організація фінансового обліку товариств з додатковою відповідальн
Бухгалтерский учет и аудит Работа Курсовая
User evelin : 7 сентября 2013
5 руб.
up Наверх