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

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

E434B434-9D62-4172-AC26-E319DB23B129.zip [ 43 KB ]

Контрольная работа

Контрольная работа.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 вариант

******* Не известно Математическая логика и теория алгоритмов Работа Контрольная

fominovich : 5 сентября 2015

100 руб.

Философская система Аристотеля. Особенности русской философии

СОДЕРЖАНИЕ Введение 1. Философская система Аристотеля 1.1 Политика 1.2 Этика Заключение 2. Особенности русской философии 2.1 Роль писателей в становлении русской философии (Л.Н. Толстой) Заключение Список использованной литературы ВВЕДЕНИЕ Величайшего древнегреческого философа Аристотеля Ф. Энгельс называл «самой универсальной головой», мыслителем, исследовавшим «существенные формы диалектического мышления». Аристотель жил в IV в. до н. э. Еще в VII в. и Греции не было ни одного философа. Во вр

Философия Работа

evelin : 16 ноября 2013

15 руб.

Применение метода дерево решений в конкретных управленческих ситуациях на материалах ООО Стр

ОГЛАВЛЕНИЕ Введение……………………………………………………………………………...3 Теоретические и практические основы применения метода «дерева решений в конкретных управленческих ситуациях……………………………....5 1.1Основные понятия и определения метода «дерево решений», его сущность и необходимость применения……………...….…………….……5 Алгоритм построения дерева целей…………………………..………9 Анализ и оценка качества принятия управленческих решений на примере ООО «Строительные материалы»……………………………………………16 Краткая характеристика экономической дея

Менеджмент Работа

Elfa254 : 25 марта 2014

5 руб.

Контрольная работа по Мат.анализу. 1-й семестр. Вариант 07

1.Вычислить несобственный интеграл или доказать его расходимость 2.Вычислить с помощью двойного интеграла объем тела, ограниченного указанными поверхностями 3.Вычислить криволинейный интеграл по координатам 4.Найти общее решение дифференциального уравнения первого порядка 5.Решить задачу Коши Уважаемый студент, дистанционного обучения, Оценена Ваша работа по предмету: Математический анализ (часть 2) Вид работы: Контрольная работа 1 Оценка:Зачет Дата оценки: 19.11.2017 Агульник Владимир Игоре

Математический анализ ДО СИБГУТИ Работа Контрольная

Entimos : 16 ноября 2018

90 руб.