Скачать шаблон герба
Доказательство корректности программ. В отличие от явно-циклических программ, для доказательства корректности рекурсивных нет необходимости искусственно вводить инвариант. 24 июля, 1853 года. Алматы. Г. Корпусному Командиру Рапортом моим от 18 июля № 140 я имел честь.