000

An Introduction to ISETL

Gary Marc Levin
Clarkson University
Dept of Math and Computer Science

This introduction is intended for people who have had no previous experience with SETL or ISETL, but who are reasonably comfortable with learning a new programming language. Very few examples are given in the description, but a large number of examples is distributed with the software.

This documentation appears as an appendix in a discrete math text written by Nancy Baxter, Ed Dubinsky, and Gary Levin. That text uses ISETL as a tool for teaching discrete mathematics.