| Week | Question | Description |
|---|---|---|
| 1 | 1998.V.10, not first part | Propositional logic |
| 2003.VI.9, omit part (d) | Sequent calculus | |
| 2000.V.11, omit OBDDs | Sequent calculus | |
| 1997.V.10 | First order logic | |
| 2 | 2004.V.9 | First order logic |
| 2005.V.9 | Clause methods | |
| 2002.VI.11 omit modal logic part | Clauses and skolemisation | |
| 3 | 2000.VI.11 | Unification |
| 1999.V.10 | Linear resolution | |
| 1999.VI.10 | Herbrand universes | |
| 4 | 1998.VI.10, not last part | Modal logic |
| 2005.VI.9 | BDDs, DPLL, tableaux calculus | |
| 2004.VI.9 | General |
Last updated: Mon Oct 30 23:35:43 GMT 2006