Final Exam outline

The final exam is worth 125 points. You may start the exam at 8:30 a.m. Friday; it ends at noon.

About 2/3 of the points cover material we covered new this week--counting, relations, and graphs.

Expect questions from each of the sections: 6.1, 6.2, 6.3, 6.4, 7.1, 9.1, 9.3, 9.4, 9.5, 10.1-10.3, 10.5, 10.6

Some of these questions will be comprehensive in nature--for example answering complexity and counting questions about relations and graphs. Questions that are from earlier sections include:

0. A predicate logic with quantifiers question 

1. A math induction proof

2. A recursive specification (possibly over new topics) and recursive algorithm

3. A big-theta question (possibly over new topics)