> -- Валерий Лаптев писал(а):
> как это писать "под доказательство"?Хотелось бы видеть в "натуре" и в процессе. Дисциплину программирования читал, даже Науку программирования Гриса - тоже читал.Но никогда не писал программ "под доказательство". Однако постоянно пользовался пошаговым уточнением.Ой. Хороший вопрос, но полный ответ требует подготовки материала.
На самом грубом уровне разница видна здесь:

http://www.inr.ac.ru/~info21/texts/2005 ... ide13.html
http://www.inr.ac.ru/~info21/texts/2005 ... ide14.html

Две программы эквивалентны. Но правильность первой была установлена предварительным преобразованием ко второй.
Вторая -- как раз "под доказательство".