Next:
Introduction
Up:
No Title
Previous:
Summary
Mathematical Structures for Formal Specification
Introduction
Sets
Terminology
Subsets
Equality
Intersection
Union
Null or Empty Set
Disjoint Sets
Cardinality and Finite Sets
Power Set
Set Difference
Associativity and Commutativity
Cartesian Product and Tuples
Mappings
Relations and Mappings
Domain and Range
Composition of Mappings
Mappings and PASCAL
Types of Mapping (Function)
Injective
Surjective
Bijective
Total and Partial Mappings
Two Examples of Mappings
Binary Relations
Equivalence Relation
Partitions and Equivalence Classes
Partial Ordering
Examples of Partially Ordered Sets
Total Ordering
Binary Operations
Unary Operations
Common Properties or Attributes of Operations
Closure
Operation Types
Bags and Lists
Bags
Lists
Mathematical Induction
Summary
Lee McCluskey
2002-12-18
