| Home | Administrivia | Homework | Exam | Dates | Grades | Notes | Links |
|
|
|
|
| Sample Final | [Postscript] [PDF] | May 10 |
| Sample Final Solution | [Postscript] [PDF] | May 15 |
|
|
|
|
| Sample Midterm 2 | [Postscript] [PDF] | Mar 28 |
| Sample Midterm 2 Solution | [Postscript] [PDF] | Apr. 2 |
| Midterm 2 | [Postscript] [PDF] | May 14 |
| Midterm 2 Solution | [Postscript] [PDF] | May 14 |
|
|
|
|
| Sample Midterm 1 | [Postscript] [PDF] | Feb 24 |
| Sample Midterm 1 Solution | [Postscript] [PDF] | Feb 27 |
| Proof Rules/Equivalences "Reminder Sheet" |
[Postscript] [PDF] | (Updated) Feb 27 |
| Midterm 1 ("original") | [Postscript] [PDF] | Mar 7 |
| Midterm 1 Solution | [Postscript] [PDF] | May 13 |
You may copy parts or all of the Proof Rules/Equivalence sheet onto your cheat sheet. You may NOT use this as a second cheat sheet. There has been one additional proof rule added: <-> equivalence (it's basically Modus Ponens and Modus Tollens for <->), which you can use.