Понимание алгоритмов: блок-схемы и постусловия