| Midterm |
Date: June 29
Time: 11:30am - 12:45pm
Location: 1304 SC
Topics:
Please look at the link "Syllabus and study guide for Midterm".
Also, the Fall 2005 midterm is especially on point --
I would download the exam first, work through that, and then
look at the solutions. The final exams will have some material
that we have covered -- just ignore what we haven't covered
yet.
Sample Problems:
Some sample problems have been posted -- look to the right.
Rules
The exam is closed-book. You are allowed one 3 inch by 5 inch card
on which you can write notes on both sides. You must prepare this
yourself, and are not allowed to share it. Other than this card,
only pens, pencils, and erasers are allowed -- all else must be
put away before taking the test. Scratch paper is
provided with the test. We will also provide any typing rules if
you need to work a type derivation, so don't bother putting these
on your note card.
Solutions
The exam solutions are here: Solutions PDF
|
| Final |
Date: August 5
Time: 1:00pm - 3:00pm
Location: 1304 SC
Topics:
Please look at the link "Syllabus and study guide for Final".
Also, review the sample final exam; this does have some diffences
versus what we covered, but will be good practice.
Sample Problems:
Some sample problems have been posted -- look to the right.
Rules
The exam is closed-book. You are allowed one 3 inch by 5 inch card
on which you can write notes on both sides. You must prepare this
yourself, and are not allowed to share it. Other than this card,
only pens, pencils, and erasers are allowed -- all else must be
put away before taking the test. Scratch paper is
provided with the test. We will also provide any typing rules if
you need to work a type derivation, as well as semantics rules if
you need to perform a derivation in either transition or natural
semantics, so don't bother putting these
on your note card.
|
|
|