---

CSCE235 Introduction to Discrete Structures Spring 2004

• Handout 1: Mathematics and CS Applications (January 12, 2004)

• Handout 2: Propositions (January 12, 2004)

• Handout 3: Propositional Equivalences and Proofs (January 12, 2004)

• Handout 4: Logical Equivalences and Implications (January 14, 2004)

• Handout 5: Quantifiers in Predicate Logic (January 28, 2004)

• Handout 6: Rules of Thumb for Proofs in Propositional Logic (January 28, 2004)

• Handout 7: Rules of Inference for Quantified Statements (January 30, 2004)

• Handout 8: Monty Python and the Holy Grail (January 30, 2004)

• Reading 1: von Ahn, L., M. Blum, and J. Langford (2004). Telling Humans and Computers Apart Automatically, Communications of the ACM, 47(2):57-60. (January 30, 2004)

• Handout 9: Additional Problems for Proofs in Propositional Logic (January 29, 2004)

• Reading 2: CNN.com and AP. Student finds largest prime number (February 4, 2004)

• Handout 10: Proofs (February 4, 2004)

• Handout 11: Examples of Proofs (February 4, 2004)

• Handout 12: Sets (February 6, 2004)

• Handout 13: Sets: Searching the World (February 11, 2004)

• Handout 14: Functions (February 16, 2004)

• Reading 3: Reuters. M&M's obsession leads to physics discovery (Feb 16, 2004)

• Handout 15: Induction (February 25, 2004)

• Handout 16: Common Mistakes in Proof by Induction (February 27, 2004)

• Handout 17: Other Induction-Related Issues (March 1, 2004)

• Handout 18: Counting (March 3, 2004)

• Handout 19: Counting Exercises (March 5, 2004)
  • Handout 19b: Counting Exercises - Solution (March 8, 2004)

• Handout 20: Combinatorics (March 10, 2004)

• Handout 21: Poker Cards (March 12, 2004)

• Handout 22: Proofs in Combinatorics (March 26, 2004)

• Handout 23: Questions in Combinatorics (March 29, 2004)

• Handout 24: Sequences and Recursions (March 31, 2004)

• Handout 25: Induction and Recurrence in Tower of Hanoi (April 7, 2004)

• Handout 26: Graphs (April 7, 2004)

• Handout 27: Paths and Circuits (April 16, 2004)

• Handout 28: Trees (April 21, 2004)

• Handout 29: Types of Trees (April 23, 2004)

• Handout 30: Complexity (April 26, 2004)

• Handout 31: Homework Problems on Complexity (April 28, 2004)

---