The text of the discussion assignments is normally taken from the matching section of the textbook and is generally not given here. Solutions to the discussion problems will be posted sometime after the discussion section has met:

- Discussion #1: What is a Proof? (1.3) (12 September 2007)
- Discussion #2: Translating Quantifiers (2.4) (19 September 2007)
- Discussion #3: Practicing Proofs (2.7) (26 September 2007)
- Discussion #4: Infinitely Many Primes (3.4) (3 October 2007)
- Discussion #5: Fibonacci Numbers (4.5) (17 October 2007)
- Discussion #6: Naturals and Strings (4.8) (24 October 2007)
- Discussion #7: Markov Processes (8.4) (31 October 2007)
- Discussion #8: Arithmetic Expressions (not in book) (7 November 2007)
- Discussion #9: The Problem of Sorting (6.5) (28 November 2007)
- Discussion #10: Generating Permutations and Combinations (6.8) (5 December 2007)
- Discussion #11: Course Evaluations (12 December 2007) -->

Last modified 6 December 2007