Learning discrete mathematics with ISETL
This book contains an introduction to elementary discrete mathematics, but uses an unusual approach: students are expected to gain a better understanding of mathematical concepts by learning and working out their ideas on a computer. For this purpose the authors use the very-high-level programming language ISETL (interactive set language, a new version of SETL), the syntax of which is very close to standard mathematical language; for example any set-theoretic expression looks nearly the same in ISETL, and in particular it supports the logical quantifiers \(\exists\) and \(\forall\). Each chapter is proceeded by instructions to the teacher and by a guide for the student; nevertheless the book is intended mainly to be used by students. Another feature of the text is that material is deliberately not always presented in a linear way: occasionally an idea is used before it is explained, but always new concepts are carefully motivated and shown from various points of view. Sometimes very challenging exercises are included. The contents are organized in the following chapters: 1. Numbers, Programs, and ISETL 2. Propositional Calculus 3. Sets and Tuples 4. Functions 5. Predicate Calculus 6. Combinatorics, Matrices, Determinants 7. Mathematical Induction 8. Relations and Graphs. The language ISETL and a documentation can be obtained for US {\$} 20 and it is available in versions for MS-DOS, Macintosh, Unix and VAX/VMS. There is no copyright on the software.
- A derived algorithm for evaluating -expressions over abstract sets
- Introduction to College Mathematics with A Programming Language
- scientific article; zbMATH DE number 3976287 (Why is no real title available?)
- scientific article; zbMATH DE number 520218 (Why is no real title available?)
- scientific article; zbMATH DE number 954083 (Why is no real title available?)
- Isetl: A programming language for learning mathematics
- Discrete mathematics using a computer.
This page was built for publication: Learning discrete mathematics with ISETL
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4692624)
