CS 313k - Handouts
Old exams, solutions, exam cheat sheets
Logical Identities
Cheat sheet for midterm 1
Some comments on
proving theorems
midterm 1
- spring 2007
Practice
with validity proofs and English-to-logic translations
midterm 2
- spring 2007
sample final exam
sample final
solutions