You have 5 contiguous hours of your choice to look at and work on the exam. Hand it in during class or at my office, DH 3118. Remember that evening and weekend access to my office is limited.
You may use any material provided as part of this course, your textbook, online notes, your personal notes, your graded assignments, and provided solutions, but no other materials. You may use a computer only to access the course's online material, including sample assignment solutions, or type your answers. In particular, you will likely want access to the logical equivalences and inference rules used in the course.
Since this is a take-home exam, it is not practical to ask for clarifications during the exam. If you feel that a problem is not sufficiently specified, clearly state the assumptions that you are making, and continue with the exam. Of course, your assumptions should be reasonable ones.
Please include your name, honor code pledge, starting and ending times. Write legibly, clearly label each problem, and show your work. You need to provide your own paper. Staple all your pages together.
You may choose which proof techniques to use, unless specifically instructed as part of the problem.
The problems are listed roughly in order of the material presentation, which is independent of the problems' difficulty and length. They are found on the next page.