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