Formal mathematical methods remain, for most high school students, mysterious, artificial and not a part of their regular intuitive thinking. The authors develop some themes that could lead to a radically new approach. According to this thesis, the teaching of programming languages as a regular part of academic progress can contribute effectively…

Describes a modelling language for representing teaching strategies, based in the context of the COCA intelligent tutoring system. Examines work on meta-reasoning in knowledge-based systems and describes COCA's architecture, giving details of the language used for representing teaching knowledge. Discusses implications for future work. (AEF)