Final exam topics

The final exam is cumulative, so it includes all topicis covered for prelim 1 and 2; see the prelim 1 study guide and the prelim 2 study guide. Here are the additional topics covered by the final.

Automata Theory:

Logic:

Graph theory:

Here is the final that was given in spring 2016 for this course. It did not cover exactly the same list of topics (we didn't do natural deduction this semeseter, for example), but it's very close. Here are the (solutions).