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.

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

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