Контрольная работа. Математическая логика и теория алгоритмов. 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 руб.
Другие работы
Графическая работа 5 (1-ая часть). Вариант 3 - Сечение призмы плоскостью
Чертежи по сборнику Миронова 1984
: 2 апреля 2023
Возможные программы для открытия данных файлов:
WinRAR (для распаковки архива *.zip или *.rar)
КОМПАС 3D не ниже 16 версии для открытия файлов *.cdw, *.m3d
Любая программа для ПДФ файлов.
Миронов Б.Г. Сборник заданий по инженерной графике с примерами выполнения чертежей на компьютере.
Графическая работа 5 (1-ая часть). Вариант 3 - Сечение призмы плоскостью
Построить три проекции шестиугольной призмы, усеченной плоскостью Р, натуральную величину сечения, развертку и изометрию.
Данные для вариа
Чертежи по сборнику Миронова 1984
: 2 апреля 2023
120 руб.
Теплотехника 5 задач Задача 4 Вариант 20
Z24
: 4 января 2026
Плоская стальная стенка толщиной δ1 (λ1 = 40 Вт/(м⸱К) с одной стороны омывается газами; при этом коэффициент теплоотдачи равен α1. С другой стороны стенка изолирована от окружающего воздуха плотно прилегающей к ней пластиной толщиной δ2 (λ2 = 0,15 Вт/(м⸱К). Коэффициент теплоотдачи от пластины к воздуху равен α2. Определить тепловой поток ql, Вт/м² и температуры t1, t2, и t3 поверхностей стенок, если температура продуктов сгорания tг, а воздуха — tв.
Z24
: 4 января 2026
150 руб.
Кран мостовой опорный грузоподъёмностью 20т.
ostah
: 24 сентября 2012
1. Выбор каната и барабана.
1.1. Грузоподъёмная сила
1.2. Определение КПД полиспаста
1.3. Наибольшее натяжение ветви каната, набегающего на барабан при подъёме груза
1.4. Разрывное усилие каната
1.5. Выбор типа каната
1.6. Минимальный диаметр барабана
1.7. Длина барабана
1.8. Проверка размера барабана
1.9. Угловая скорость барабана
2. Выбор электродвигателя.
2.1. Статическая мощность электродвигателя
2.2. Угловая скорость двигателя
3. Выбор редуктора.
3.1. Передаточное число редуктора
3.2. Грузо
ostah
: 24 сентября 2012
45 руб.
Лабораторная работа № 2 Принципы и организация диспетчирования
Помощь студентам СибГУТИ ДО
: 24 апреля 2017
Цель работы
1.1 Изучение принципов и организации диспетчирования на АТС с программным управлением, алгоритмов работы ППУ и ПОУ.
1.2 Изучение состава и назначения таблиц расписаний, которые используют программы диспетчеры.
1.3 Изучение состава и назначения результирующих данных, создаваемых программами диспетчерами.
1.4 Моделирование процесса принципов и организации диспетчирования на АТС с программным управлением.
N вар Число программ ППУ Число программ ПОУ
1 4
Помощь студентам СибГУТИ ДО
: 24 апреля 2017
400 руб.
