- •Виды бинарных отношений:
- •Свободные и связанные переменные
- •Операции над кванторами
- •1) Логическое умножение или конъюнкция:
- •2) Логическое сложение или дизъюнкция:
- •1.Машина Тьюринга.
- •3) Логическое отрицание или инверсия:
- •4) Логическое следование или импликация:
- •5) Логическая равнозначность или эквивалентность:
- •Порядок выполнения логических операций в сложном логическом выражении
- •2.Виды множества. Способы задания. Мощность множества.
- •2.Машина Тьюринга
- •1. Квантор всеобщности.
- •2. Квантор существования.
- •1.Машина Тьюринга
1.Машина Тьюринга
Билет 1, 2 вопрос
2.Доказать
Билет №20
1.Гиперкуб как область определения булевой функции. 0- мерный, 1- мерный,2- мерный, 3- мерный единичный куб.
Билет 10, вопрос 1.
Построение гиперкуба
0-мерный куб
Начнём с начала — с 0-мерного куба. Этот куб содержит 0 взаимно перпендикулярных граней, то есть это просто точка.
1-мерный куб
В одномерном пространстве у нас есть только одно направление. Сдвигаем точку в этом направление и получаем отрезок.
Это одномерный куб.
2-мерный куб
У нас появляется второе измерение, сдвигаем наш одномерный куб (отрезок) в направлении второго измерения и получаем квадрат.
Это куб в двумерном пространстве.
3-мерный куб
С появлением третьего измерения поступаем аналогично: сдвигаем квадрат и получаем обычный трёхмерный куб.
4-мерный куб (гиперкуб)
Теперь у нас появилось четвёртое измерение. То есть в нашем распоряжении имеется направление, перпендикулярное всем трём предыдущим. Воспользуемся им точно так же. Четырёхмерный куб будет выглядеть вот так.
Естественно, трёхмерный и четырёхмерный кубы нельзя изобразить на двумерной плоскости экрана. То, что нарисовал я — это проекции. О проекциях мы поговорим чуть позже, а пока немного голых фактов и цифр.
2.Определить композицию отношений, обратного отношения, ядра отношения.
Степень отношений
Определение: |
Степень
отношения
|
В связи с этим понятием, также вводятся обозначения:
— Транзитивное
замыкание отношения R
Обратное отношение
Определение: |
Отношение |
Определение: |
Ядром
отношения R
называется отношение |
Свойства
Ядро отношения R симметрично:
