6:30 основные определения
20:09 обозначения
20:22 лемма
23:08 доказательство леммы
25:00 лемма об операции First()
35:26 формальное определение увеличения дерева вниз
38:46 следствие из леммы
47:00 лемма
47:20 доказательство леммы
1:05:20 определение операции GOTO()
1:07:34 лемма
1:08:32 доказательство леммы
Лекция от 15 ноября 2019
Лектор: Сорокин Алексей Андреевич
Оператор: Рухадзе Альбина
Монтаж: Юманов Михаил
