Quick Index

• _____ .
• 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 .
• Last Slide .
• More Functions .
• Fancy Function Symbols .

These pages and the information above are (c)1996 copyright CMU Computer Science unless stated otherwise.