Изменения

= Первый семестр =1. Отношения ==# [[Определение отношения]]## Определение степени отношения есть и здесь и в следующем конспекте, непорядок. Сделать ссылку на следующий вроде "Операции над отношениями"## На виды и примеры отношений дать внутренние ссылки## англоязычные термины## пункт "Определение" не нужен, см. правила форматирования конспектов# [[Композиция отношений|Композиция отношений, степерь отношения, обратное отношение]]## см. пункт 1.1## англоязычные термины# [[Рефлексивное отношение|Рефлексивное отношение. Антирефлексивное отношение.]]## англоязычные термины## добавить внутренних ссылок на эквивдентность, порядки и т.д.# [[Симметричное отношение]]## англоязычные термины# [[Антисимметричное отношение]]## англоязычные термины, на отношения порядка теперь есть внутренние ссылки, убрать внешние# [[Транзитивное отношение]]## англоязычные термины# [[Отношение порядка]]## англоязычные термины# [[Отношение эквивалентности]]## пункт "определение" не нужен## англоязычные термины# [[Транзитивное замыкание|Транзитивное замыкание отношения]]## англоязычные термины# [[Алгоритм Флойда — Уоршелла|Алгоритм Флойда-Уоршалла построения транзитивного замыкания отношения]]## пункт "Задача" не нужен## интересно, что алгоритм работает только для конечных отношений, хотя транзитивно замкнуть можно и бесконечное бинарное отношение. Кто сделает модификацию для бесконечных, молодец :) (можно считать, что у нас есть "бесконечная матрица" бинарного отношения, и что мы такую же "бесконечную матрицу" заполняем, впринципе). Понятно, что всю таблицу мы никогда не заполним, но важно, чтобы каждый конкретный элемент таблицы был заполнен через какое-то конечное время.# [[Транзитивный остов]]## возможно, мне показалось, но там, где "ацикличен", надо писать "без петель"## если кто-то будет способен значительно упростить доказательство алгоритма, тот молодец## аналогично предыдущему, придумать обобщение на случай бесконечных отношений

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