Go backward to
Logic Evaluator
Go up to
Top
Go forward to
Mathematical Domains
Contents
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