> -- Илья Ермаков писал(а):
> 2) Вы так и не собираетесь расширить сектор своего видения на тему доказательного программирования и свойств программ. Без этого получается переливание из пустого в порожнее.У В.Д. Паронджанова ничего не сказано одоказательном программировании.

Так как программирование является занятием целенаправленным, то между формулировкой цели и программированием имеются этапы - декомпозиции задачи и формирование алгоритмов для каждого участка задачи. Эти этапы могут быть выполнены графически на Драконе или мысленно. При этом, программирование будет сведено к реализации алгоритмов.

При полной проработке алгоритмов, ошибок в программировании не будет.
Для учащегося, обучение по данной схеме позволит быстро освоить проблематику программирования. Изучениедоказательного программирования(я не рассматриваю вопроса его необходимости) можно выполнить после накопления опыта программирования.

Ранее, мною говорилось о возможной парадигме программирования:алгоритмо-ориентированном программировании - АОП.