ISETL: A Language for Teaching Discrete Mathematics (Abstract)

  title={ISETL: A Language for Teaching Discrete Mathematics (Abstract)},
  author={Gary Marc Levin},
  booktitle={ACM Conference on Computer Science},
ISETL is an interactive implementation and extension of SETL1, a programming language built around mathematical notation and objects, primarily sets and functions. Just as an introductory chemistry course uses a laboratory to provide an arena for experimenting, an introductory mathematics class could use ISETL to provide a workplace for its students. When children first begin their study of mathematics — counting and simple arithmetic — it is easy to provide them with concrete examples suitable… CONTINUE READING

Similar Papers

Loading similar papers…