previous up next
Go backward to Logic Evaluator
Go up to Top
Go forward to Mathematical Domains
RISC-Linz logo


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

  1. The Language of Logic,
  2. Sets, Functions, and Relations,
  3. Numbers,
  4. Induction and Recursion.
  5. More on Functions,
  6. More on Relations.

Author: Wolfgang Schreiner
Last Modification: October 4, 1999

previous up next