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

References in zbMATH (referenced in 20 articles , 1 standard article )

Showing results 1 to 20 of 20.
Sorted by year (citations)

  1. Hazzan, Orit; Zazkis, Rina: Reducing abstraction: The case of school mathematics (2005) MathEduc
  2. Hibbard, Allen C. (ed.); Maycock, Ellen J. (ed.): Innovations in teaching abstract algebra (2002)
  3. Smith, Robert S.: Using ISETL and cooperative learning to teach abstract algebra: An instructor’s view (2002) MathEduc
  4. Hazzan, Orit: Reducing abstraction: the case of constructing an operation table for a group (2001) MathEduc
  5. Asiala, Mark; Cottrill, Jim; Dubinsky, Ed; Schwingendorf, Keith E.: The development of students’ graphical understanding of the derivative (1997) MathEduc
  6. Asiala, Mark; Dubinsky, Ed; Mathews, David M.; Morics, Steven; Oktac, Asuman: Development of students’ understanding of cosets, normality, and quotient groups (1997) MathEduc
  7. Baxter Hastings, Nancy; Laws, Priscilla; Callahan, Kevin; Bottorff, Mark; Fratto, Christa: Workshop calculus: guided exploration with review. Vol. 1 (1997)
  8. Brown, Anne; DeVries, David J.; Dubinsky, Ed; Thomas, Karen: Learning binary operations, groups, and subgroups (1997) MathEduc
  9. Clark, Julie M.; DeVries, David J.; Hemenway, Clare; St. John, Denny; Tolias, Georgia; Vakil, Roozbeh: An investigation of students’ understanding of abstract algebra (binary operations, groups and subgroups) and the use of abstract structurctures to build other structures (through cosets, normality and quotient groups) (1997) MathEduc
  10. Burn, Bob: What are the fundamental concepts of group theory? (1996) MathEduc
  11. Fenton, William E.; Dubinsky, Ed: Introduction to discrete mathematics with ISETL (1996)
  12. Tall, David: Understanding the processes of advanced mathematical thinking (1996)
  13. Cantone, Domenico; Ferro, Alfredo: Techniques of computable set theory with applications to proof verification (1995)
  14. Dubinsky, Ed: ISETL: A programming language for learning mathematics (1995)
  15. Dubinsky, E.; Dautermann, J.; Leron, U.; Zazkis, R.: On learning fundamental concepts of group theory (1994) MathEduc
  16. Dubinsky, Ed; Leron, Uri: Learning abstract algebra with ISETL. Macintosh/DOS diskette provided (1994)
  17. Dubinsky, E.; Leron, U.: Learning abstract algebra with ISETL (1994) MathEduc
  18. Dubinsky, E.; Leron, U.: Learning abstract algebra with ISETL (1994) MathEduc
  19. Omodeo, Eugenio G.; Parlamento, Franco; Policriti, Alberto: A derived algorithm for evaluating (\varepsilon)-expressions over abstract sets (1993)
  20. Baxter, Nancy; Dubinsky, Ed; Levin, Gary: Learning discrete mathematics with ISETL (1989)