---

CSCE235 Introduction to Discrete Structures Spring 2008

• Handout 1: Mathematics and CS Applications (January 14, 2008)

• Handout 2: Propositions (January 14, 2008)

• Handout 3: Propositional Equivalences and Proofs (January 14, 2008)

• Handout 4: Logical Equivalences and Implications (January 16, 2008)

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

• Handout 6: Quantifiers in Predicate Logic (January 30, 2008)

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

• Handout 8: Monty Python and the Holy Grail (February 1, 2008)

• 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. (February 1, 2008)

• Reading 2: Ms. Pac-Man Plays Herself, Robot World News, Link

• Handout 9: Additional Problems for Proofs in Propositional Logic (February 4, 2008)

• Handout 10: Proofs (February 4, 2008)

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

• Handout 12: Sets (February 6, 2008)

• Handout 13: Sets: Searching the World (February 8, 2008)

• Handout 14: Functions (February 15, 2008)

• Handout 15: Induction (February 27, 2008)

• Handout 16: Common Mistakes in Proof by Induction (February 29, 2008)

• Handout 17: Other Induction-Related Issues (March 3, 2008)

• Reading 3: Cuff, D., M. Hansen, and J. Kang (2008). Urban Sensing: Out of the Woods, Communications of the ACM, 51(3):24-33. (March 3, 2008)

• Reading 4: R. Wood (2008). Fly, Robot Fly, IEEE Spectrum, 45(3):25-29. (March 5, 2008)

• Handout 18: Counting (March 5, 2008)

• Handout 19: Counting Exercises (March 5, 2008)
  • Handout 19b: Counting Exercises - Solution (March 7, 2008)

• Handout 20: Combinatorics (March 12, 2008)

• Handout 21: Poker Cards (March 14, 2008)

• Reading 5: T. Mueller (2008). Biomimetics: Design by Nature, National Geographic, April. (March 24, 2008)

• Handout 22: Proofs in Combinatorics (March 24, 2008)

• Handout 23: Sequences and Recursions (April 7, 2008)

• Handout 24: Induction and Recurrence in Tower of Hanoi (April 7, 2008)

• Handout 25: Graphs (April 11, 2008)

• Handout 26: Paths and Circuits (April 14, 2008)

• Reading 6: What is Web 2.0: Design Patterns and Business Models for the Next Generation of Software, by Tim O'Reilly, 2007 (April 7, 2008)

• Handout 27: Trees (April 21, 2008)

• Handout 28: Types of Trees (April 21, 2008)

• Handout 29: Complexity (April 28, 2008)

• Handout 30: Homework Problems on Complexity (April 28, 2008)

• Reading 7: Emerging Trends in M-Government, by S. Trimi and H. Sheng (2008). Communications of the ACM, vol. 51, no. 5, pp. 53-58. (April 30, 2008)

---