CSCE235 Introduction to Discrete Structures Spring 2003
Handout 1: Propositions (January 13, 2003)
Handout 2: Propositional Equivalences and Proofs (January 13, 2003)
Handout 3: Logical Equivalences and Implications (January 15, 2003)
Handout 4: Quantifiers in Predicate Logic (January 29, 2003)
Handout 5: Monty Python and the Holy Grail (February 3, 2003)
Handout 6: Proofs (February 5, 2003)
Handout 7: Examples of Proofs (February 5, 2003)
Handout 8: Sets (February 10, 2003)
Handout 9: Functions (February 14, 2003)
Handout 10: Induction (February 26, 2003)
Handout 11: Common Mistakes in Proof by Induction (February 28, 2003)
Handout 12: Other Induction-Related Issues (March 3, 2003)
Handout 13: Counting (March 5, 2003)
Handout 14: Counting Exercises (March 7, 2003)
Handout 14b: Counting Exercises - Solution (March 10, 2003)
Handout 15: Combinatorics (March 12, 2003)
Handout 16: Poker Cards (March 14, 2003)
Handout 17: Proofs in Combinatorics (March 31, 2003)
Handout 18: Sequences and Recursions (April 2, 2003)
Handout 19: Induction and Recurrence in Tower of Hanoi (April 7, 2003)
Handout 20: Graphs (April 16, 2003)
Handout 21: Paths and Circuits (April 18, 2003)
Handout 22: Trees (April 23, 2003)
Handout 23: Types of Trees (April 25, 2003)
Handout 24: Complexity (April 30, 2003)
Handout 25: Homework Problems on Complexity (April 30, 2003)