Re:

ОК, я, пожалуй, просмотрю еще раз их школьный учебник - может, смогу что-то более вразумительное сказать. Если же говорить о "нарративном изложении вариативного будущего" - можно пойти таким путём: инвариант цикла - доказательство правильности программы - доказательство невозможности - рекурсия. Я вчера перечитал еще раз Ваш текст трехлетней давности в Компьютерре о мышлении профессиональных программистов. То, что Вы написали в посте и ответах на мои комментарии, в сильной степени коррелирует с тем текстом. При этом, думаю, Вы отдаете себе отчет в том, что сделать потенциального слушателя замышляемой школы професиональным программистом а) невозможно б) не есть цель. Насколько, по-Вашему, это самое мышление профессионального программиста есть мыслительная техника, а насколько опыт?