Контрольная работа. Математическая логика и теория алгоритмов. 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 руб.
Контрольная работа. Вариант 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 руб.
Контрольная работа работа по математической логике и теории алгоритмов 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 руб.
Математическая логика и теория алгоритмов - Контрольная работа
Дарья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 руб.
Другие работы
Контрольня работа. "Основы радиосвязи и телевидения" .Вариант №2
svh
: 19 сентября 2016
1. Объясните необходимость коррекции амплитудной характеристики ТВ тракта.
В цветном телевидении возникают нелинейные искажения цветовых факторов, вызванное нелинейностью НЭ отдельных элементов.
Гамма-корректор исправляет искажения цветового тона и насыщенности света, вызванные нелинейностью амплитудной характеристики тракта от света до света. Причем требуется высокая идентичность амплитудных характеристик гамма-корректоров в трех цветовых каналах. Несовпадение амплитудных характеристик гамма-к
svh
: 19 сентября 2016
200 руб.
Безопасность операционных систем и баз данных - тест с ответами - Синергия - 2022
StudentHelp
: 10 ноября 2022
Безопасность операционных систем и баз данных - тест с ответами - Синергия - 2022
30 вопросов с ответами
Сдача работы 10.11.2022 на 83+ балла.
Работа выполнена в виде скриншотов
StudentHelp
: 10 ноября 2022
390 руб.
Клапан. Сборочный чертеж
.Инженер.
: 4 июля 2023
Задание по инженерной графике. Клапан. Сборочный чертеж. Деталирование. Модели.
Выполнить сборочный чертеж клапана по чертежам его деталей и описанию устройства. На главном виде сборочного чертежа корпус 1 расположить так, как он изображен на главном виде чертежа детали. Масштаб сборочного чертежа 4:1.
Назначение и устройство клапана.
Клапан - это устройство для частичного выпуска газа или пара при повышении давления сверх установленного. Под силой давления шарик отходит от закрываемого отверс
.Инженер.
: 4 июля 2023
250 руб.
Перечертить два вида модели. Вариант 17
lepris
: 20 августа 2022
Перечертить два вида модели. Вариант 17
Контрольная работа 1Б
Перечертить два вида модели. Построить третий вид. Выполнить необходимые разрезы. Проставить размеры.
3d модель и чертеж (все на скриншотах показано и присутствует в архиве) сделано и открываются в компасе v13, компас v14, компас v15, компас v16, компас v17, компас v18, компас v19, компас v20, компас v21, компас v22 и выше версиях компаса.
Также открывать и просматривать, печатать чертежи и 3D-модели, выполненные в КОМПАСЕ можно п
lepris
: 20 августа 2022
120 руб.
