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