---

CSCE235 Introduction to Discrete Structures Fall 2006

• Handout 1: Mathematics and CS Applications (August 22, 2006)

• Handout 2: Propositions (August 22, 2006)

• Handout 3: Propositional Equivalences and Proofs (August 22, 2006)

• Handout 4: Logical Equivalences and Implications (August 24, 2006)

• Handout 5: Quantifiers in Predicate Logic (August 29, 2006)

• Handout 6: Rules of Thumb for Proofs in Propositional Logic (August 29, 2006)

• Handout 7: Rules of Inference for Quantified Statements (August 29, 2006)

• Handout 8: Monty Python and the Holy Grail (August 31, 2006)

• 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, 2006)

• Handout 9: Additional Problems for Proofs in Propositional Logic (August 31, 2006)

• Handout 10: Proofs (September 5, 2006)

• Handout 11: Examples of Proofs (September 5, 2006)

• Handout 12: Sets (September 7, 2006)

• Handout 13: Sets: Searching the World (September 12, 2006)

• Handout 14: Functions (September 14, 2006)

• Handout 15: Induction (September 28, 2006)

• Handout 16: Common Mistakes in Proof by Induction (October 3, 2006)

• Handout 17: Other Induction-Related Issues (October 3, 2006)

• Handout 18: Counting (October 5, 2006)

• Handout 19: Counting Exercises (October 5, 2006)
  • Handout 19b: Counting Exercises - Solution (October 6, 2006)

• Reading 2: Rosen, J. and B. Hannaford (2006). Doc at a Distance, IEEE Spectrum, 43(10):34-39. (October 5, 2006)

• Handout 20: Combinatorics (October 10, 2006)

• Handout 21: Poker Cards (October 12, 2006)

• Handout 22: Proofs in Combinatorics (October 12, 2006)

• Handout 23: Sequences and Recursions (October 26, 2006)

• Handout 24: Induction and Recurrence in Tower of Hanoi (October 26, 2006)

• Handout 25: Graphs (November 7, 2006)

• Handout 26: Paths and Circuits (November 7, 2006)

• Handout 27: Trees (November 14, 2006)

• Handout 28: Types of Trees (November 14, 2006)

• Handout 29: Complexity (November 28, 2006)

• Handout 30: Homework Problems on Complexity (November 28, 2006)

• Reading 3: Supercomputers crunching potato chips, proteins, and nuclear bombs, cnn.com, 2006. (LINK)Ahn, L., M. Blum, and J. Langford (2004). Telling Humans and Computers Apart Automatically, Communications of the ACM, 47(2):57-60. (January 30, 2006)

---