Go backward to
Example
Go up to
Top
Summary
Sets
in ,
0
, set enumeration, =, subset , set quantifier.
Union, intersection, difference, powerset.
Tuples, constructor < >, selectors .
i
, =, Cartesian product.
Relations.
Encoding and interpretation as sets.
Representation forms, truth tables, directed graphs.
Domain, range, inverse, composition.
Functions.
Partial function, total function, function application.
Inversion, composition, commutative diagrams.
Sequences and matrices as special functions.
Author:
Wolfgang Schreiner
Last Modification: October 14, 1999