5. Рекурсия и индукция по дереву

00:00 - рекурсия по дереву 01:55 - тождество строк 06:40 - отношение меньше на записях 08:06 - свойства отношения меньше 17:30 - рекурсивное определение высоты 25:12 - корректность определения 30:14 - метод бесконечного спуска 31:30 - индукция по дереву 40:43 - монотонность высоты 44:00 - баланс скобок и высота