ОКТЧ 1. Основы теории множеств

00:00:00 Введение 00:02:00 Неформальное понятие множества 00:05:30 Неформальное понятие мультимножества 00:06:50 Неформальное понятие кортежа (упоряд. множества) 00:08:30 Принадлежность 00:09:38 Подмножество 00:12:45 Равенство множеств 00:20:20 Способы описания множеств 00:26:00 Парадокс Рассела 00:31:50 Пустое множество 00:36:00 Различие между элементами и подмножествами 00:40:05 Операции над множествами 00:49:00 Доказательство дистрибутивности через диаграммы 00:54:35 Доказательство дистрибутивности через логику 01:04:00 Законы де Моргана 01:06:05 Неупорядоченная пара 01:06:48 Упорядоченная пара 01:08:10 Упрощенное определение Куратовского 01:08:35 Полное определение Куратовского 01:10:52 Декартово произведение Дата лекции: Лектор: Мусатов Даниил Владимирович Оператор: Максимов Даниил Монтажёр: Максимов Даниил