Sets, Functions, Domains

RISC-Linz logo

Wolfgang Schreiner
Research Institute for Symbolic Computation (RISC-Linz)
Johannes Kepler University, A-4040 Linz, Austria
  • Sets
  • Set Predicates
  • Set Constructions
  • Product
  • Sum
  • Functions
  • Classification of Mappings
  • Isomorphism
  • Functions as Sets
  • Examples
  • Examples
  • Functions as Equations
  • Evaluation of Equations
  • Semantic Domains
  • Semantic Algebras

  • Author: Wolfgang Schreiner
    Last Modification: October 13, 1997

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