More on Functions 1

RISC-Linz logo

Wolfgang Schreiner
Research Institute for Symbolic Computation (RISC-Linz)
Johannes Kepler University, Linz, Austria
  • Overview
  • Image
  • Image
  • Function Properties
  • Illustration
  • Example
  • Function Composition
  • Function Inversion
  • Inverse Function Properties
  • Number of Set Elements
  • Unicity of Bijection
  • Example
  • Number Quantifier
  • Set Sizes
  • Set Sizes (Continued)
  • Countable Sets
  • Example
  • Example
  • Example (Continued)
  • Example
  • Example
  • Set Cardinalities
  • Finite Sets
  • Infinite Sets
  • Size of Powersets
  • Permutations
  • Example: Sorting Problem
  • Homomorphism
  • Illustration
  • Example
  • Example
  • Example
  • Example
  • Example
  • Complex Numbers
  • Complex Numbers
  • Polar Representation of Complex Numbers
  • Translation
  • Relationship
  • Proof
  • Proof (Continued)
  • Relationship
  • Complex Root
  • Illustration
  • Translation
  • Summary

  • Author: Wolfgang Schreiner
    Last Modification: December 7, 1999

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