Контрольная работа. Математическая логика и теория алгоритмов. II-й семестр. вариант №17
-
Категории:
ДО СИБГУТИ, Математическая логика и теория алгоритмов, Работа Контрольная
-
Добавлен:
19.02.2017
-
Размер:
126 KB
-
Покупок:
8
-
Добавил:
Madam
Написать сообщение
Скачать
Состав работы
|
Контрольная работа-I. II-семестр. 17 - вариант..docx
|
Работа представляет собой rar архив с файлами (распаковать онлайн), которые открываются в программах:
- Microsoft Word
Описание
Контрольная работа Математическая логика и теория алгоритмов II семестр вариант 17
Исчисление высказываний.
1. Пользуясь определением формулы исчисления высказываний проверить, является ли данное выражение формулой.
2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна, методом редукции и методом резолюций.
Исчисление предикатов
3. Пользуясь определением формулы логики предикатов проверить, что выражение является формулой. В формуле указать свободные и связанные переменные. Привести формулу к предваренной форме.
Теория алгоритмов
4. Построить машину Тьюринга для перевода из начальной конфигурации в заключительную. На ленте МТ записаны нули и единицы, пустые ячейки содержат нули, x,y≥1. Проверить работу машины Тьюринга для конкретных значений x,y. Нарисовать граф, соответствующий построенной МТ.
5. Показать примитивную рекурсивность функции f(x, y).
Исчисление высказываний.
1. Пользуясь определением формулы исчисления высказываний проверить, является ли данное выражение формулой.
2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна, методом редукции и методом резолюций.
Исчисление предикатов
3. Пользуясь определением формулы логики предикатов проверить, что выражение является формулой. В формуле указать свободные и связанные переменные. Привести формулу к предваренной форме.
Теория алгоритмов
4. Построить машину Тьюринга для перевода из начальной конфигурации в заключительную. На ленте МТ записаны нули и единицы, пустые ячейки содержат нули, x,y≥1. Проверить работу машины Тьюринга для конкретных значений x,y. Нарисовать граф, соответствующий построенной МТ.
5. Показать примитивную рекурсивность функции f(x, y).
Дополнительная информация
Сибирский государственный университет телекоммуникаций и информатики
Год: 2017г
Оценка: Зачёт
Проверяющий: Мачикина Е. П.
Год: 2017г
Оценка: Зачёт
Проверяющий: Мачикина Е. П.
Похожие материалы
Математическая логика и теория алгоритмов. Контрольная работа. Вариант №17
andryha8
: 17 апреля 2016
1. Пользуясь определением формулы исчисления высказываний проверить, является ли данное выражение формулой.
(A→B)→((C→A)→(C→B))
2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна, методом редукции и методом резолюций.
Незнание правил дорожного движения не освобождает от ответственности в случае их несоблюдения. Для того чтобы нести ответственность нужно нарушать правила. Следовательно, знать правила нужно.
3. Пользуясь определением формулы ло
andryha8
: 17 апреля 2016
600 руб.
Контрольная работа работа по математической логике и теории алгоритмов 3-й семестр
sanrus72
: 31 марта 2015
I. Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций.
II. Пусть Омега - множество людей. На множестве Омега заданы следующие предикаты:
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 – женщина.
С использованием этих предикатов записать формулу, выражающую следующее утверждение: X – шурин.
III. Привести формулу к предвар
sanrus72
: 31 марта 2015
150 руб.
Контрольная работа. Вариант 17. Математическая логика и теория алгоритмов. СИБГУТИ
Kuki
: 23 июня 2023
Задание 1. Построить таблицу истинности логической формулы.
(A→B)→((C→A)→(C~B))
Задание 2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна и методом редукции.
Рассуждение: «Если погода хорошая, то самолет взлетит. Если самолет взлетает, то все пассажиры на борту. На борту все пассажиры, но самолет не взлетает. Значит, погода нелётная.»
Задание 3. В формуле указать свободные и связанные переменные. Привести формулу к предваренной форме. Для каждо
Kuki
: 23 июня 2023
150 руб.
Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант №17
IT-STUDHELP
: 4 ноября 2022
Вариант 17
-------------------------------------------
Контрольная работа
по дисциплине
«Математическая логика и теория алгоритмов»
-------------------------------------------
Задача 1. Построить таблицу истинности логической формулы.
17. (A⟶B)⟶((C⟶A)⟶(C~B))
Задача 2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна и методом редукции.
17. Если погода хорошая, то самолет взлетит. Если самолет взлетает, то все пассажиры на борту. На борту все п
IT-STUDHELP
: 4 ноября 2022
680 руб.
Контрольная работа по дисциплине "Математическая логика и теория алгоритмов". Вариант №17
Nikis
: 22 января 2015
Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций.
Пусть Омега - множество людей. На множестве Омега заданы следующие предикаты:
E(x, y) = И <=> x и y – один и тот же человек;
P(x, y) = И <=> x родитель y;
C(x, y) = И <=> x и y – супруги;
M(x) = И <=> x – мужчина;
W(x) = И <=> x – женщина.
С использованием этих предикатов записать формулы, выражающие следующие утверждения: X – тесть
Построить машину Тьюринга для перевода из одной конфигурации в
Nikis
: 22 января 2015
150 руб.
Математическая логика и теория алгоритмов - Контрольная работа
Дарья140
: 4 января 2024
Контрольная работа "Математическая логика и теория алгоритмов" вариант 2
Дарья140
: 4 января 2024
300 руб.
Математическая логика и теория алгоритмов. Контрольная работа
m9c1k
: 18 ноября 2009
Контрольная работа
по дисциплине
«Математическая логика и теория алгоритмов»
Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций.
Построить машину Тьюринга для перевода из одной конфигурации в другую. На ленте всех машин Тьюринга записаны лишь нули и единицы, при этом пустые ячейки содержат нули. . Проверить работу машины Тьюринга для конкретных значений .
5.Показать примитивную рекурсивность функции :
m9c1k
: 18 ноября 2009
100 руб.
Математическая логика и теория алгоритмов. Контрольная работа. 3-й семестр. 1-й вариант
karapulka
: 31 мая 2016
1.Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций.
1. A>B|(C>A)>(C>B)
2.Пусть Омега - множество людей. На множестве Омега заданы следующие предикаты:
1.E(x, y) = И <=> x и y – один и тот же человек;
С использованием этих предикатов записать формулы, выражающие следующие утверждения:
У каждого есть отец и мать.
3. Привести формулу к предваренной форме
3.1.
4.Построить машину Тьюринга для перевода из одной конфигурации в другую. На ленте всех ма
karapulka
: 31 мая 2016
50 руб.
Другие работы
Контрольная работа №1. Вариант 05. Основы радиосвязи и телевидения
albanec174
: 28 октября 2014
Начертить осциллограмму полного ТВ сигнала, соответствующего развертке заданной строки изображения, показанного на рис. 1. На осциллограмме указать длительность строки, длительность прямого хода развертки, гасящего импульса строк, синхронизирующего импульса строк, а так же численные значения уровне белого, серого, черного, гашения и синхронизирующих импульсов. Осциллограмма должна быть построена под изображением.
Определить частоту первой гармоники импульсного сигнала, формируемого при развертке
albanec174
: 28 октября 2014
100 руб.
Экономика в туризме, современные предпочтения
alfFRED
: 21 ноября 2013
Введение……………………………………………………………………….3
1. Экономические показатели мировой индустрии туризма……………………...5
2. Общие направления развития международного туризма………………………8
3. Мировой рынок международного туризма…………………………………….13
3.1. Европа……………………………………………………………………….14
3.2. Америка……………………………………………………………………..16
3.3. Восточная Азия и Тихоокеанский регион………………………………...17
3.4. Ближний Восток……………………………………………………………19
3.5. Африка………………………………………………………………………21
3.6. Южная Азия………………………………………………………
alfFRED
: 21 ноября 2013
10 руб.
Реферат: Москва в произведении Пушкина Евгений Онегин
evelin
: 26 августа 2013
Москва - святыня России, её сердце. Не зря захватчики
всех времён и народов, будь то татарские, французские
или немецкие, чтобы остановить жизнь России, стремились остановить
её сердце, то есть захватить Москву.
"Сердце" и "судьба" - это слова, которые мы произносим, когда
хотим сказать о чём-то важном для нас. Для автора романа "Евгений
Онегин", для Александра Сергеевича Пушкина именно в сердце России,
в Москве случилось два судьбоносных момента его жизни: распоряжение
царя об окончании пушкинс
evelin
: 26 августа 2013
5 руб.
Розробка бізнес-плану МПП СОФ
Lokard
: 23 октября 2013
ВВЕДЕННЯ:
1. ЗНАЧЕННЯ ОРГАНІЗАЦІЇ МАЛОГО БІЗНЕСУ У ЕКОНОМІЦІ УКРАЇНИ.
2. ЗНАЧЕННЯ РАЗРОБКИ БИЗНЕС-ПЛАНУ ДЛЯ ОРГАНІЗАЦІЇ БІЗНЕСУ.
3. ЗМІСТ БИЗНЕС-ПЛАНУ.
4. РОЗРОБКА РОЗДІЛІВ БИЗНЕС-ПЛАНА МПП “СОФ”.
4.1.РЕЗЮМЕ
4.2.СТИСЛА ІНФОРМАЦІЯ ПРО МПП “СОФ”
4.3.ЗМІСТ ПРОЕКТУ
4.3.1Місцезнаходження Торгового комплексу
4.3.2. Стислий опис Торгового комплексу
4.3.3. Технологія фасування та пакування сипучих продуктів харчування
4.4.ПЛАН МАРКЕТИНГУ
4.4.1. Характеристика ринку
Lokard
: 23 октября 2013
10 руб.
