| Midterm |
Date: Monday July 7
Time: 11:30am - 12:45pm
Location: 1304 SC
Topics:
Please look at the link "Syllabus and study guide for Midterm".
Also, the Fall 2005 and Summer 2006 midterms, along with parts
of the Summer 2006 final, are especially on point --
I would download the exams first, work through them, and then
look at the solutions. The other exams are provided in case
they are useful, but the coverage doesn't match ours exactly.
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 in the study guide -- 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
Exam solutions are posted on the right.
|
| Final |
Date: Friday August 1
Time: 1:00pm - 3:00pm
Location: 1304 SC
Topics:
Please look at the link "Syllabus and study guide for Final".
Also, review all the sample exams, midterms and finals; even
those with slightly different coverage should have enough material
that we have covered that they will provide you with good practice.
Since the final is comprehensive, you should look at the study guides
for both the final and the midterm, since material from both
study guides will be on the test (I have not included material
from the midterm study guide in the final study guide, even if
it will be on the test, so the final study guide really only
includes material on semantics and lambda calculus).
Sample Problems:
Some sample problems have been posted -- look for study guides 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.
Solutions
Exam solutions are posted on the right.
|
|
|
