Assignments

2010/1/4 This is the place to regularly check for class assignments.
2010/1/16 Homework 1 - Induction - Due on 2010/1/26 pdf, solution
2010/1/28 Homework 2 - Program Correctness - Due on 2010/2/9 pdf, solution
2010/2/22 Homework 3 - Recurrences and Structural Induction - Due on 2010/3/4 pdf, solution
2010/3/8 Homework 4 - Deterministic Finite State Automata - Due on 2010/3/16 pdf, solution
2010/3/27 Homework 5 - Nondeterministic Auotmata and Context Free Grammars - Due on 2010/4/6 pdf , solution
2010/3/27 Homework 6 - Bonus Assignment - Due on 2010/4/6 pdf