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 were posted during the Spring 2005 term but have now
been removed so that some of the problems can be reused in Spring 2006 --
thus the links below are dead. (DAMB Jan. 2006)**
met:

- Discussion #1: A Murder Mystery (1.9) (31 Jan and 2 Feb 2005)
- Discussion #2: Translating Quantifiers (2.4) (7/9 February 2005)
- Discussion #3: Practicing Proofs (2.7) (14/16 February 2005)
- Discussion #4: Recursive Algorithms (4.2) (28 Feb and 2 Mar 2005)
- Discussion #5: Fibonacci Numbers (4.5) (7/9 March 2005)
- Discussion #6: Naturals and Strings (4.9) (21/23 March 2005)
- Discussion #7: Designing Regular Expressions (5.3) (28/30 March 2005)
- Discussion #8: The Problem of Sorting (6.5) (4/6 April 2005)
- Discussion #9: Generating Permutations and Combinations (6.8) (11/13 April 2005)
- Discussion #10: Minimizing a DFA (9.3) (25/27 April 2005)
- Discussion #11: Practicing Multiple Constructions (9.9) (2/4 May 2005)

Last modified 24 January 2006