Isetl: A programming language for learning mathematics

This paper gives a brief history of the development of an approach to help students learn mathematical concepts at the post-secondary level. The method uses ISETL, a programming language derived from SETL, to implement instruction whose design is based on an emerging theory of learning. Examples are given of uses of this pedagogical strategy in abstract algebra, calculus, and mathematical induction. © 1996 John Wiley & Sons, Inc.