Без заголовка

Мне использование компьютера видится качественным изменением, именно для математики (для, например, биологии да, скорее количественное - более удобное медиа). Дети получают не только доступ к построениям и абстракциям, выразимых и с помощью плоского и статичного листа бумаги-циркуля, они получают способ делать конструктивную математику, строить почти любые математические объекты. Выражать математическую индукцию (соответственно, и рекурсию), реализовывать, например, основы комбинаторики в виде исполняемого кода. И всю остальную школьную математику. Ученик получает возможность не просто доказать теорему, а продемонстрировать, что это действительно так, оживить математику. А в старших классах при использовании методики сродни Software Foundations каждый ученик может получить собственного teaching assistant, персонального ассистента, доказателя теорем. У Пирса, автора курса, есть слайды, иллюстрирующие преимущества подхода, Proof Assistant as Teaching Assistant.