ОКТЧ 4. Бинарные отношения

00:29 Диагональный метод Кантора 02:37 Диагональный метод Кантора помнить, способ есть простой.... 05:40 Теорема о бесконечных пос-ях 0 и 1 14:48 Теорема о счетном подмножестве в бесконечном множестве 17:30 Теорема Банаха-Тарского 19:30 Теорема об объединении бесконечного и счетного множеств 21:48 Теорема о множестве посл-ей из 0,1 и отрезке [0,1] 26:19 Континуальные множества 27:17 Свойства континуальных множеств 32:03 Теорема Кантора 36:08 Самостоятельный парадокс Кантора 36:56 Континуум-гипотеза 39:55 Свойство 40:15 Отношение 41:55 Предикат 46:08 Рефлексивность и антирефлексивность 50:52 Симметричность и антисимметричность 54:34 Транзитивность, антитранзитивность, евклидовость 01:00:11 Отношение эквивалентности 01:00:35 Отношение нестрого порядка 01:01:02 Отношение строго порядка 01:01:36 Отношение предпорядка 01:02:39 Полнота 01:03:56 Отношение линейного порядка 01:04:34 Полный предпорядок 01:09:03 Теорема об отношение эквивалентности 01:09:57 Теорема о классах эквивалентности 01:11:30 Типичное отношен