Добавить комментарий

Требовалось доказать

ТРЕБОВАЛОСЬ ДОКАЗАТЬ

Дискуссия на тему "доказательное программирование" возникла в80-=годах ХХ века и будет продолжаться достаточно долго.
Многие "авторитеты" от программирования (Шура-Бура и Терехов)зарабатывающих на продажах soft'а, прямо заявляют, что импотрный soft без ошибок и bag's не бывает.
Ученые от программирования (Дейкстра, Ершов, Каймин, Наур), разрабатывающие технику анализа и построения алгоритмов и программ с доказательствами правильности, продемонстрировали большое число примеров, монографий и учебников ДОКАЗАТЕЛЬНОГО ПРОГРАММИРОВАНИЯ.
ЧИСЛО примеров, монографий и учебников будет множиться, а число учеников будет увеличиваться.
Первая попытка изложить концепцию доказательного программирования в форме учебного пособия была предпринята в 1986 году в форме учебника по информатике.
Педагогически было важно начать изучение основ программирования с основ анализа и доказательства правильности программ. Каждая программма завершалась текстом анализа и доказательства правильности, Это совсем другой взгляд на информатику, программирование и математику. Откройте наши учебники по информатики - все программы излагаются с доказательствами правильности - другая речь, другое изложение.
И каждый пример завершается фразой - "что и требовалось доказать".
В.А. Каймин, проф., док.наук.