The focus of this course is not on memorization, but rather it's on developing an intuition for and getting comfortable using the formalisms used in the course. To this end, this exam will be geared toward testing students' abilities to formally prove or disprove statements, to find faults in reasoning, and to formalize informal statements. This level of comfort is best achieved through practice. I would recommend exercises and examples from the relevant sections in the textbook.

The Cheat Sheet For Exam 1 (Thanks to Paul Artola.) This sheet (or a version of it) will be available to you during the 1st Exam. Please let me know if there's anything not on it that you feel should be.

You might want to spend some time looking at the previous exams linked to from Paul Artola's 203 page.