Mathematical Background 1
Basic Discrete Math Concepts
Sets
Sets (Continued)
Sets (continued)
Cardinality
Binary Relations
Binary Relations (cont)
Binary Relations (reflexivity)
Binary Relations (symmetry)
Binary Relations (transitivity)
Equivalence Relations
Binary Relations (antisymmetry)
Cartesian Products
Cartesian Products (n-way)
Cartesian Products: Non-associativity
Functions
Functions (Examples)
Properties of Functions
Properties of Functions (cont)
Abstract Data Types
Motivation for ADTs
Abstract Data Type (Def.)
ADT Methods
Example ADT: Stack of Integers
Using Math. Functions to Describe ADT Methods
Math. Description of Methods: Domain and Range of the Method's function
The Function's Effect
Email: tanimoto@cs.washington.edu
Home Page: http://www.cs.washington.edu/373/
Download presentation source