Go backward to Logic EvaluatorGo up to TopGo forward to Mathematical Domains |

Introduction into basic mathematical domains and techniques as a foundation for computer science.

- The Language of Logic,
- Sets, Functions, and Relations,
- Numbers,
- Induction and Recursion.
- More on Functions,
- More on Relations.

- [A] Defining New Notions,
- [B] Proving Propositions.

Author: Wolfgang Schreiner

Last Modification: October 4, 1999