|
|
| (не показаны 193 промежуточные версии 57 участников) |
| Строка 1: |
Строка 1: |
| − | == Отношения ==
| + | #перенаправление [[Дискретная математика, алгоритмы и структуры данных]] |
| − | *Определение отношения
| + | [[Категория:Дискретная математика и алгоритмы]] |
| − | *Степень отношений
| |
| − | *[[Рефлексивное отношение|Рефлексивное отношение. Антирефлексивное отношение.]]
| |
| − | *[[Симметричное отношение]]
| |
| − | *[[Антисимметричное отношение]]
| |
| − | *[[Композиция отношений|Композиция отношений. Обратное отношение]]
| |
| − | *[[Транзитивное отношение]]
| |
| − | *[[Транзитивное замыкание|Транзитивное замыкание отношения]]
| |
| − | *Теорема об эквивалентности двух определений транзитивного замыкания
| |
| − | *[[Алгоритм Флойда — Уоршелла|Алгоритм Флойда-Уоршалла построения транзитивного замыкания отношения]]
| |
| − | == Булевы функции ==
| |
| − | *[[Определение булевой функции]]
| |
| − | *[[Примеры булевых функций|Примеры булевых функций: все функции от нуля, одной и двух переменных]]
| |
| − | *Подстановка одной функции в другую, отождествление переменных
| |
| − | *Представление функции формулой, полные системы функций
| |
| − | *[[СДНФ]]
| |
| − | *[[СКНФ]]
| |
| − | *[[Полином Жегалкина]]
| |
| − | *[[Теорема Поста о полной системе функций]]
| |
| − | *[[Сокращенная и минимальная ДНФ]]
| |
| − | *[[Минимизация ДНФ с помощью покрытий гиперкуба и карт Карно]]
| |
| − | *[[Специальные формы КНФ|Специальные формы КНФ: КНФ в форме Хорна и КНФ в форме Крома]]
| |
| − | *[[Преобразование Мёбиуса для получения коэффициентов полинома Жегалкина]]
| |
