> -- Info21 писал(а):
> Осталась только глава про рекурсию. В смысле доработки. Но там легко, никаких инвариантов -- один день на свежую голову. Плюс дня четыре свежую голову обеспечить.Вот видите как здорово! С рекурсиями ваши циклические инварианты нафик не нужны...

В смысле -- правильная рекурсия сама себе инвариант!