Exams

The formats for both exams include the following:

  • Closed book, closed notes.
  • No calculators or cell phones are allowed.
  • Reference sheets will be provided. (All but boolean algebra, which is redundant.)

Midterm exam

The midterm exam will be held in class. See the course calendar for the date and time. The exam will be closed book and closed notes; however, you will get lists of inference and equivalence rules with the exam.

The midterm will include topics from lecture up to the end of ordinary induction (but not strong induction). The instructor will discuss the exact number and types of problems before the exam, so that there are no surprises about what is covered.

If you would like additional practice, the problems in the following materials should be similar enough to our own to be helpful preparation:

  • a set of practice problems and solutions with these additional notes:

    • In Predicate Logic part (a), you may assume the domain of discourse is restaurants, food, and people. In subpart (i), you may use a predicate Restaurant(x) which means that "x is a restaurant". In part (c), you do not have to state that the person was the only person Jane and John voted for.
    • In the Formal Proofs question, it should say "i is in the domain" rather than "a".

  • a previous midterm and solutions

There may be a TA-led review session beforehand. More details will be forthcoming later in the quarter.

Final exam

The final exam will be held in person during finals week:

  • Section B: Monday, December 13th at 2:30pm in CSE2 G20
  • Section A: Monday, December 13th at 4:30pm in CSE2 G20

Note that these may not be at the time and place listed in the UW time schedule. In the case of a scheduling conflict, students may take the exam for the other lecture section but must email the staff (cse311-staff at cs) at least two days prior to the exam date to let us know. Students must bring their UW ID and have it ready to be checked during the exam.

The final exam will be comprehensive but will emphasize the material not covered on the midterm. As a rough guide, you can expect two thirds of the final to cover the post midterm material. As with the midterm, the instructor will discuss the number and types of problems before the exam, so that there are no surprises about what is covered. Like the midterm, the final exam will be closed book and notes.

If you would like additional practice, the problems in the following materials should be similar enough to our own to be helpful preparation:

Note, however, that these tests may include some material that was not discussed in our class, as the course content does change somewhat from quarter to quarter.

There may be a TA-led review session beforehand. More details will be forthcoming later in the quarter.