The Story So Far

Table of Contents

PPT Slide

The Story So Far

This Lecture

Sets

Set Definition & Membership

Given Sets

Set Equality and Cardinality

Set Operators

Set Axioms & Laws

Set Comprehension

Set Comprehension (2)

Set Comprehension (3)

Alternative Notation

Set Comprehension (4)

Power Sets

Cartesian Products

More Tuples

Relations

Relations (2)

Functions

Some special cases

Special Cases (2)

Relations/Functions as Sets

Relational Composition

Overwriting

Other Operators

Axiomatic Declarations

Summary of Set Building Operators

Email: shawnh@cs.cmu.edu

Home Page: http://www.cs.cmu.edu/afs/cs.cmu.edu/academic/class/15671-f97/www/index.html