Математическая логика и теория алгоритмов, 11-й вариант
-
Категории:
СибГУТИ, Математическая логика и теория алгоритмов, Работа Контрольная
-
Добавлен:
10.04.2021
-
Размер:
72 KB
-
Покупок:
18
-
Добавил:
GFox
Написать сообщение
Скачать
Состав работы
|
Мат. логика 11 вариант.docx
|
Работа представляет собой rar архив с файлами (распаковать онлайн), которые открываются в программах:
- Microsoft Word
Описание
Задача 1
Построить таблицу истинности логической формулы.
Задача 2
Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна и методом редукции
Если юноша счастлив, то либо он получил хорошую оценку, либо у него день рождения. Если юноша получил плохую оценку, то у него плохое настроение. Юноша получил плохую оценку и настроение у него хорошее. Значит, у него день рождения.
Задача 3
В формуле указать свободные и связанные переменные. Привести формулу к предваренной форме. Для каждого преобразования указать, какие равносильности были использованы. Для итоговой формулы указать свободные и связанные переменные.
Задача 4
На координатной плоскости даны множества А и В (А ограничено красным цветом, В – синим, границы включены в множества). Описать предикат , определенный на координатной плоскости, который принимает значение «истина», если точка z=(x,y) принадлежит множеству С, и значение «ложь», если точка z не принадлежит множеству С. Для записи предиката можно использовать любые логические операции и сравнение ≤.
Задача 5
11. Дана машина Тьюринга с алфавитом и программой
q10→0Rq2, q11→1Hq2, q20→1Hq0, q21→1Lq2,
Определить конфигурацию, в которую переходит машина Тьюринга после выполнения не более чем 5 команд, если начальная конфигурация была 010q1110110.
Построить таблицу истинности логической формулы.
Задача 2
Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна и методом редукции
Если юноша счастлив, то либо он получил хорошую оценку, либо у него день рождения. Если юноша получил плохую оценку, то у него плохое настроение. Юноша получил плохую оценку и настроение у него хорошее. Значит, у него день рождения.
Задача 3
В формуле указать свободные и связанные переменные. Привести формулу к предваренной форме. Для каждого преобразования указать, какие равносильности были использованы. Для итоговой формулы указать свободные и связанные переменные.
Задача 4
На координатной плоскости даны множества А и В (А ограничено красным цветом, В – синим, границы включены в множества). Описать предикат , определенный на координатной плоскости, который принимает значение «истина», если точка z=(x,y) принадлежит множеству С, и значение «ложь», если точка z не принадлежит множеству С. Для записи предиката можно использовать любые логические операции и сравнение ≤.
Задача 5
11. Дана машина Тьюринга с алфавитом и программой
q10→0Rq2, q11→1Hq2, q20→1Hq0, q21→1Lq2,
Определить конфигурацию, в которую переходит машина Тьюринга после выполнения не более чем 5 команд, если начальная конфигурация была 010q1110110.
Дополнительная информация
2020 год, зачёт
Похожие материалы
Математическая логика и теория алгоритмов(20-й вариант)
puzirki
: 15 марта 2015
I. Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций.
II. Пусть Омега - множество людей. На множестве Омега заданы следующие предикаты:
3.Привести формулу к предваренной форме
IV. Построить машину Тьюринга для перевода из одной конфигурации в другую. На ленте всех машин Тьюринга записаны лишь нули и единицы, при этом пустые ячейки содержат нули. ( x , y ,z 1) Проверить работу машины Тьюринга для конкретных значений x , y , z .
V.Показать п
puzirki
: 15 марта 2015
250 руб.
Математическая логика и теория алгоритмов
Илья272
: 24 мая 2021
Задача 1
Построить таблицу истинности логической формулы.
Задача 2
Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна и методом редукции
Если Оля продолжит смотреть аниме, то друзья не помогут с учебой и ее отчислят из вуза. Друзья помогли Оле с учебой, и Оля продолжает учиться в вузе. Значит, Оля не смотрит больше аниме.
Задача 3
В формуле указать свободные и связанные переменные. Привести формулу к предваренной форме. Для каждого преобразован
Илья272
: 24 мая 2021
1200 руб.
Математическая логика и теория алгоритмов
Aleksey0697
: 19 марта 2019
1)Проверить полноту системы логических функций, используя критерий Поста.
Заполнение таблицы Поста должно быть обоснованным. Если система не
полна, то достроить ее до полной. К системе добавить функции {0, 1, }
(константу 0, константу 1, отрицание) Из полученного множества функций
выбрать все полные подсистемы. (5б.)
2)Когда у меня есть свободное время, я читаю книги. Если книга попадается скучная, я
засыпаю. Сегодня у меня есть свободное время и мне посоветовали интересную книгу.
Значит, сегодн
Aleksey0697
: 19 марта 2019
120 руб.
Математическая логика и теория алгоритмов
vohmin
: 3 июня 2018
2. Является ли следующее рассуждение верным?
Если Джон не встречал этой ночью Смита, то либо Смит был убийцей, либо Джон лжет. Если Смит не был убийцей, то Джон не встречал Смита этой ночью, и убийство произошло после полуночи. Если убийство произошло после полуночи, то либо Смит был убийцей, либо Джон лжет. Следовательно, убийцей был Смит.
Решение
Суть применения методов алгебры логики к решению логических задач состоит в том, что, имея конкретные условия логической задачи, необходимо записа
vohmin
: 3 июня 2018
50 руб.
Математическая логика и теория алгоритмов
TehBlok
: 26 февраля 2017
1. Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций.
2. Пусть Омега - множество людей. На множестве Омега заданы следующие предикаты:
E(x, y) = И <=> x и y – один и тот же человек;
P(x, y) = И <=> x родитель y;
C(x, y) = И <=> x и y – супруги;
M(x) = И <=> x – мужчина;
W(x) = И <=> x – женщина.
С использованием этих предикатов записать формулы, выражающие следующие утверждения:
X – прадедушка
3. Привести формулу к предваренной форме
4. Постр
TehBlok
: 26 февраля 2017
100 руб.
Математическая логика и теория алгоритмов
style2off
: 12 января 2016
ПРАВИЛА ВЫПОЛНЕНИЯ И ОФОРМЛЕНИЯ КОНТРОЛЬНОЙ РАБОТЫ
При выполнении контрольной работы необходимо строго придерживаться указанных ниже правил. Работы, выполненные без соблюдения этих правил, не засчитываются и возвращаются студенту для переработки.
Контрольную работу следует выполнять в редакторе Microsoft Word. Формулы следует набирать в специальном редакторе Microsoft Equation.
На титульном листе должны быть ясно написаны фамилия студента, его инициалы, номер варианта, название дисцип
style2off
: 12 января 2016
800 руб.
Математическая логика и теория алгоритмов
maxgalll
: 6 января 2011
1. Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций.
2. Пусть Омега - множество людей. На множестве Омега заданы следующие предикаты:
С использованием этих предикатов записать формулы, выражающие следующие утверждения:
X – свекор.
3. Привести формулу к предваренной форме
4. Построить машину Тьюринга для перевода из одной конфигурации в другую. На ленте всех машин Тьюринга записаны лишь нули и единицы, при этом пустые ячейки содержат нули. ( x
maxgalll
: 6 января 2011
65 руб.
Математическая логика и теория алгоритмов
botkin
: 26 декабря 2010
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 – женщина.
С использованием этих предикатов записать формулы, выражающие следующие утверждения:
Некоторые супруги имеют детей только женского
botkin
: 26 декабря 2010
100 руб.
Другие работы
Образовательные конфликты в московских вузах: социально-управленческий аспект
Sunburn
: 10 октября 2016
Последнее время все чаще в СМИ и научной литературе по социальным взаимоотношениям в московских вузах используется понятие «образовательный конфликт», что говорит об актуальности данного социального явления. Социология и взаимосвязанные с ней науки дают достаточно обширную теоретико-методологическую базу для исследования этого феномена, но стоит отметить, что до сих пор не было дано достаточно четкое определение данного термина, что вызывает необходимость в его обосновании.
Подробно исследуются
Sunburn
: 10 октября 2016
Сущность и структура социально-экономической адаптации населения
evelin
: 4 февраля 2014
Социально-экономическая адаптация характеризуется способностью индивидов, различных социально-экономических слоев и групп населения рационально и эффективно использовать имеющиеся профессионально-квалификационные ресурсы, личностный потенциал для встраивания в сложившуюся хозяйственную ситуацию с целью реализации своих потребностей и интересов. Характер процесса адаптации наиболее значим для успешного выхода из состояния кризиса потому, что именно здесь осуществляется переход с макро-уровня госу
evelin
: 4 февраля 2014
5 руб.
Механизм налогового планирования на предприятии в условиях трансформационной экономики
Qiwir
: 26 октября 2013
Раздел 1.Предприятие как налогоплательщик и как элемент хоз.
механизма.
1.1 Хар-ка предприятий и их роль в образовании ВНП.
1.2 Налоги и сборы уплачиваемые в бюджеты предприятиями.
1.3 Проблема сокрытия налогов от налогооблажения.
Р.2 Финансовое и налоговое планирование на предприятии в современных
условиях(на примере прдприятия)
2.1 Организационно эконом. хар-ка и анализ фин. состояния предприятия.
2.2 Хар-ка налогов уплачиваемых предприятием.
2.3 Выбор оптимального варианта налогооблажения п
Qiwir
: 26 октября 2013
10 руб.
[Skillbox] Java-разработчик - модуль 2 -синтаксис языка часть 1 - решение задач
StudentHelp
: 29 марта 2023
[Skillbox] Java-разработчик - модуль 2 -синтаксис языка часть 1 - решение задач.
Решение задач на модуль 2 - синтаксис языка часть 1 - ( 2022 - 2023 год обучения).
Задание 1 - Booleans
Задание 2 - AgeComparator
StudentHelp
: 29 марта 2023
400 руб.
![[Skillbox] Java-разработчик - модуль 2 -синтаксис языка часть 1 - решение задач](https://public.c-stud.ru/media_autogenerated/items_in_category_thumb/works/images/76373769-CF79-4808-9FC9-59F0C3268FAE/img_0001.png "[Skillbox] Java-разработчик - модуль 2 -синтаксис языка часть 1 - решение задач")
