Таймкоды: 00:00:00 - Следствие теоремы 3’ 00:17:51 - ЛЛЛ(симметричный случай) 00:21:35 - Определение орграфа зависимостей 00:27:38 - Примеры 00:32:33 - ЛЛЛ(общий случай) 00:35:15 - Вывод симметричного случая ЛЛЛ из общего 00:44:30 - Доказательство общего случая ЛЛЛ 00:48:39 - Лемма для доказательства ЛЛЛ Дата лекции: Лектор: Райгородский Андрей Михайлович Оператор: Бордачева Екатерина Монтажер: Гунин Александр Плейлист:
Hide player controls
Hide resume playing