Описание алгоритма и доказательство правильности его работы.

Лектор: Сергей Копелиович