previous up next
Go backward to 5 Induction and Recursion
Go up to Top
Go forward to 7 More on Relations
RISC-Linz logo

6 More on Functions

We have modelled in Chapter Sets, Relations, and Functions functions as special relations, i.e., as sets of tuples. In this chapter, we will elaborate this notion and its properties in more detail and describe some important constructions and applications: we will count set elements and compare the sizes of (also infinite) sets, embed domains into other domains such that the properties of their operations are preserved, model numeric sequences and series, discuss special functions over the reals, and finally compare the asymptotic behavior of functions.

  • 6.1 Further Notions
  • 6.2 Counting Set Elements
  • 6.3 Embedding Sets
  • 6.4 Sequences and Series
  • 6.5 Special Functions
  • 6.6 Asymptotic Bounds

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

    previous up next