Контрольная работа № 1 по дисциплине "Математическая логика и теория алгоритмов" 2 семестр 6 вариант

Цена:
125 руб.

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

material.view.file_icon E3807E71-EE68-44DC-BA47-99D1C7E43971.rar [ 75 KB ]
material.view.file_icon KONTR_MATLOG_ST_A 6 variant
material.view.file_icon контр.doc [ 288 KB ]
Работа представляет собой rar архив с файлами (распаковать онлайн), которые открываются в программах:
  • 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 .
q11x01y01z => q01x+z
5.Показать примитивную рекурсивность функции f(x,y)

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

2010, зачёт

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

Организация ЭВМ и систем
Содержание 1. Задание на курсовую работу……………………………………….……..3 2. Описание алгоритма задачи……………………………………….……...4 3. Описание отдельных процедур………………………………....………...5 4. Листинг программы……………………………………………….………6 5. Листинг результатов выполнения работы………………………….……11 6. Список литературы………………………………………………….…….12
СибГУТИ Программирование Работа Контрольная
User maxgalll : 6 января 2011
Развитие трудовой деятельности дошкольников
Введение 3 1. Особенности труда дошкольников 4 - 5 2. Разновидность труда 6 3. Организация труда 3.1. Условия организации труда 6 - 7 3.2. Формы организации труда 7 -
Психология Работа
User Slolka : 12 октября 2013
Лабораторная работа №1 по дисциплине "Программирование на языках высокого уровня. Язык программирования Си". Вариант 3
Язык Си. Тема: Программирование алгоритмов линейной и разветвляющейся структуры. Задание 1. Составьте и выполните программу линейной структуры согласно вариантам задания. Варианты задания 1 Вычислить значение функции переменных при заданных значениях параметров: 3. x=6t2-(z+1)/y2 при y=2; z=4; t=sin(2+z). Задание 2. Составьте программы разветвляющейся структуры согласно вариантам задания (используя IF) Варианты задания 2 3. Даны четыре числа. Вычислить произведение отрицательных среди них чисел.
СибГУТИ Программирование Работа Лабораторная
User Greenberg : 17 февраля 2012
49 руб.
Экзаменационная работа по дисциплине: Волоконно-оптические системы передачи (ВОСП). Билет №1
Билет 1 Вопросы для краткого ответа (ПК-1) 1. Что принято понимать под волоконно-оптической системой передачи? 2. Какие разновидности пассивных компонентов применяются в составе оптических систем передачи? 3. Как можно перестроить длину волны излучения одномодового лазера? 4. Что такое модуляция? 5. Какие основные оптические и электрические характеристики имеет фотодиод конструкции p-i-n? 6. Чем отличается прямое фотодетектирование от фотодетектирования с преобразованием? 7. На каких физических
ДО СИБГУТИ Волоконно-оптические системы передачи Работа Экзаменационная
User debug106 : 29 декабря 2020
400 руб.
up Наверх