Formal Foundations of Computer Science 1

RISC-Linz logo

Wolfgang Schreiner
Research Institute for Symbolic Computation (RISC-Linz)
Johannes Kepler University, Linz, Austria


We introduce basic mathematical domains and techniques as a foundation for the formal treatment of various concepts in computer science and engineering. Mathematical domains like numbers, functions, and relations are constructed on the basis of the fundamental notions of set theory thus exhibiting their inner structure and properties. As for mathematical techniques, we present the language of logic for the precise description of mathematical objects and facts and give rules for correct reasoning and arguing. The constructions are partially implemented with the help of an interpreter that executes a simple subset of logic and set theory.
  • 1 Introduction
  • 2 The Language of Logic
  • 3 Sets, Relations, and Functions
  • 4 Numbers
  • 5 Induction and Recursion
  • 6 More on Functions
  • 7 More on Relations
  • A Defining New Notions
  • B Proving Propositions
  • C Logic Evaluator Definitions
  • Index
  • Footnotes

  • Author: Wolfgang Schreiner
    Last Modification: October 4, 1999

    [Up] [RISC-Linz] [University] [Search]