Контрольная работа по Мат Логике и теории алгоритмов 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 руб.

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

Контрольная работа по дисциплине "Менеджмент и маркетинг в информационных технологиях". Вариант №3
Необходимо рассчитать параметры работ сетевого графика на основании данных, приведенных в таблице
Менеджмент СибГУТИ Работа Контрольная
User Nicola90 : 9 июня 2014
300 руб.
Модернизация тормозной системы системы верхнего привода СВП Canrig 8050-Дипломная работа-Оборудование для бурения нефтяных и газовых скважин
Первый верхний привод компании National Oilwell Varco TDS-1 был пущен в эксплуатацию 1 апреля 1982 года на буровой установке Sedco 201 в Арабском заливе. К 1996 г. способ бурения верхним приводом стал основным методом бурения морских скважин. Также очевидно, что значительная часть скважин на суше сейчас бурится с применением СВП. Для продвижения СВП на новые рынки по всему миру компанией Maritime Hydraulics была разработана портативная СВП. Для малогабаритных скважин ("slim-hole") разработана по
Нефтяная промышленность Диплом и связанное с ним ИНиГ
User leha.nakonechnyy.92@mail.ru : 13 июля 2016
3485 руб.
Модернизация тормозной системы системы верхнего привода СВП Canrig 8050-Дипломная работа-Оборудование для бурения нефтяных и газовых скважин
Совершенствование технологии и организации ТО и ремонта парка машин в филиале «Жлобинавтотранс» ОАО «Гомельоблавтотранс» с разработкой участка ремонта агрегатов и модернизацией стенда для разборки и сборки коробки передач
Дипломный проект Введение 1 Обоснование темы и задачи проекта 1.1 Характеристика объектов ремонтно-обслуживающей базы предприятия 1.2 Состав и численность машинно-тракторного парка хозяйства, показатели машиноиспользования 1.3 Затраты на ТО и ремонт парка машин 1.4 Анализ производственно-хозяйственной деятельности объектов РОБ 1.5 Выводы 2 Обоснование годового объема ремонтно-обслуживающих работ 2.1 Обоснование исходных данных и методики расчета 2.2 Методологические основы расчета го
Технология обслуживания и ремонта машин в АПК Диплом и связанное с ним
User Shloma : 29 мая 2020
1590 руб.
Совершенствование технологии и организации ТО и ремонта парка машин в филиале «Жлобинавтотранс» ОАО «Гомельоблавтотранс» с разработкой участка ремонта агрегатов и модернизацией стенда для разборки и сборки коробки передач promo
Наближені обчислення та рекурентні співвідношення. Обчислення суми степеневого ряду.
Мета: - Закріплення знань та навичок з програмування циклічного обчислювального процесу та його застосування для програмування рекурентних співвідношень; - Набуття первинних навичок в використанні методів на-ближених обчислень (обчислень з заданою точністю), - Набуття досвіду та знань з розробки програм з підпрограмами та організації рекурсивних підпрограм. Код програми : #include<stdio.h> #include<conio.h> #include<string.h> #include<math.h> #include<stdlib.h> float eps=1e-3; float k=1;
Компьютерное программирование Работа Лабораторная
User SerFACE : 11 октября 2013
10 руб.
up Наверх