home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
Black Box 4
/
BlackBox.cdr
/
proglang
/
isetl.arj
/
READ_ME.1ST
< prev
next >
Wrap
Text File
|
1989-10-05
|
1KB
|
36 lines
ISETL (Interactive SET Language) is a language based upon
the language, SETL. SETL is a language which has been
used for rapid prototyping of large software systems. ISETL
was designed primarily as a teaching tool. ISETL has been used
at several colleges and universities to help students learn
mathematical concepts. ISETL notation is similar to standard
mathematical conventions.
To get started with ISETL, run off a hardcopy of TUTORIAL.TXT.
This will provide an introduction to a few of the features of
the language.
The following files should be in your working directory when
starting this tutorial.
ISETL.EXE -- ISETL interpreter
MATH.STL -- ISETL input file
The .LPR files which are distributed with the ISETL interpreter
provide a complete description of the languages. Instructive
examples appear in the following book.
Baxter, Dubinsky & Levin, Teaching Discrete Mathematics with ISETL
(Springer 1989).
You can record to a disk file a portion of an ISETL session. For
example, to start recording to a file with MS-DOS name my_file.txt on
drive a type at the ISETL prompt
!record a:my_file.txt
To turn recording off, type
!record