
- •Вопросы по курсу математическая логика и теория алгоритмов
- •Понятие высказывания.
- •Логические операции над высказываниями.
- •Формулы алгебры логики.
- •Равносильности.
- •1. Основные равносильности.
- •2. Равносильности, выражающие одни логические операции через другие.
- •3. Равносильности, выражающие основные законы алгебры логики.
- •Понятия тождественной истинности и ложности.
- •Функции алгебры логики. Свойства совершенства. Закон двойственности. Функции алгебры логики
- •Закон двойственности Закон двойственности
- •Дизъюнктивная нормальная форма (днф и сднф).
- •[Править]сднф
- •Конъюнктивная нормальная форма (кнф и скнф).
- •[Править]скнф
- •Проблема разрешимости.
- •Релейно-контактные схемы.
- •7.1 Релейно-контактные схемы
- •Элементы и множества. Задание множеств.
- •Операции над множествами.
- •Диаграммы Эйлера-Венна.
- •Разбиения и покрытия множеств.
- •Свойства операций над множествами. Свойства операций над множествами
- •Упорядоченные пары. Декартово произведение множеств.
- •Отношения. Композиция, степень и ядро отношения.
- •[Править]Степень отношений
- •Функции. Инъективные, сюръективные и биективные функции.
- •Формулы исчисления высказываний.
- •Доказуемые формулы.
- •Аксиомы исчисления высказываний.
- •Правила вывода в исчислении высказываний.
- •Понятие выводимости формулы.
- •Правила выводимости.
- •Доказательство законов логики.
- •Связь между алгеброй высказываний и исчислением высказываний.
- •Основные понятия логики предикатов.
- •Исчисление предикатов. Основные понятия.
- •Логические операции над предикатами.
- •Кванторные операции.
- •Квантор всеобщности.
- •Квантор существования.
- •Отрицание предложений с кванторами.
- •Формулы логики предикатов.
- •Равносильные формулы логики предикатов.
- •Предваренная нормальная форма.
- •Общезначимость и выполнимость формул логики предикатов.
- •Применение логики предикатов для записи математических высказываний.
- •§9. Применение языка логики предикатов для записи математических предложений, определений, построения отрицания предложений.
- •9.1 Запись математических предложений и определений в виде формул логики предикатов.
- •9.2. Построение противоположный утверждений.
- •9.3 Прямая, обратная и противоположная теоремы.
- •9.4 Необходимые и достаточные условия.
- •9.5. Доказательство теорем методом от противного.
- •Алгоритмы. Основные свойства алгоритмов.
- •Частично рекурсивные и общерекурсивные функции. Тезис Черча.
- •Машина Тьюринга. Тезис Тьюринга.
Релейно-контактные схемы.
7.1 Релейно-контактные схемы
Релейно-контактные схемы (их часто называют переключательными схемами) широко используются в технике автоматического управления.
Под переключательной схемой понимают схематическое изображение некоторого устройства, состоящее из следующих элементов:
1) переключателей, которыми могут быть механические устройства, электромагнитные реле, полупроводники и т.д.;
2) соединяющие их проводники;
3) входы в схему и выходы из нее (клеммы, на которые подается электрическое напряжение). Они называются полюсами.
Простейшая
схема содержит один переключатель Р и
имеет один вход А и
один выход В.
Переключателю Р поставим
в соответствии высказывание р,
гласящее: - “Переключатель Р замкнут
”. Если р истинно,
то импульс, поступающий на полюс А,
может быть снят на полюсе В без
потери напряжения, то есть схема
пропускает ток. Если р ложно,
то переключатель разомкнут и схема тока
не проводит. Таким образом, если принять
во внимание не смысл высказывания, а
только его значение, то можно считать,
что любому высказыванию может быть
поставлена в соответсвие переключательная
схема с двумя полюсами (двухполюсная
схема).
Формулам, включающим основные логические операции, также могут быть поставлены в соответствие переключательные схемы.
Так,
конъюнкции двух высказываний
ставится
в соответствие схема:
а дизъюнкции
-
схема:
Так как любая формула может быть записана в ДНФ или КНФ, то ясно, что каждой формуле алгебры логики можно поставить в соответствие некоторую РКС, а каждой РКС можно поставить в соответствие некоторую формулу алгебры логики.
Пример
1. По
данной формуле составить РКС
.
Решение. Упростим данную формулу с помощью равносильных преобразований:
Тогда РКС для данной формулы имеет вид:
Пример 2. Упростить РКС:
Решение. Составим по данной РКС формулу (функцию проводимости) и упростим ее:
(к последним двум слагаемым применили закон поглощения).
Тогда упрощенная схема выглядит так:
Элементы и множества. Задание множеств.
Множества. Основные понятия. Способы задания. Создатель теории множеств – Кантер(немец). Под множеством Кантер понимал скопления различных и определенных предметов, мыслимых как единое целое. Предметы, из которых состоят множества, зовут элементами множества. Слово определенный говорит о том, что если мы имеем множество и некоторый предмет, то всегда можно определить, принадлежит он множеству или нет. Слово различимый говорит о том, что если мы имеем два элемента множества, то всегда можно сказать, одинаковы они или нет. Но самое главное, что множество элементов, составляющих множество, мыслится как единое целое. Само множество может быть элементом другого множества. Что касается элементов множества, то они могут быть любой природы. Множества могут быть конечными или бесконечными. И вообще мы можем не знать количество элементов в множестве. A. множество, не содержащее ни одного элемента, зовут пустым, и пишут 0. два множества А и В считаются равными, если они состоят из одних и тех же элементов. A={1,2,3}, B={1,1,1,2,2,3,3} – A=B. aAA, aЕсли элементами множества являются числа, то го зовут числовым. Множество изображается заглавными буквами, а его элементы – прописными. Некоторые определенные множества имеют определенные названия: N- множество натуральных чисел, Z- целых, Q- рациональных, I- иррациональных, R- действительных чисел, C- комплексных чисел. a Множества можно задавать: 1) перечислением элементов A={1,a,b}, 2) с помощью определяющего свойства M={x|x-четные}. А.В. Считается, что пустое множество является подмножеством любого множества. Два подмножества множества А – А и 0 – зовут несобственными подмножествами множества А. Все остальные – собственные. Если С – собственное подмножество множества А, то пишут СЕсли каждый элемент множества А является элементом множества В, то А зовут подмножеством В: А