Sample Term Tests

Sample Midterm
Sample Midterm 2

Midterm Test

Soln

Final Exam

Please look up exams from 2010 - they are the most similar to the one you will see. In particular, to help you guide your study time, here is the breakdown of marks for our final exam:

• induction: 9
• structural induction: 9
• propositional logic: 7
• predicate logic: 22
• program correctness: 9
• regular expressions and DFA/NFA: 16
• Regular languages: 18

Exam Office Hours

Wednesday Dec. 4th 12-2pm in my office.