The material presented in this guide covers the concepts emphasized on Test 1. It is meant to guide students studying and reviewing for Test 1; it is not guaranteed to be comprehensive. Actual test questions will differ from the examples given here. Students should use this guide in addition to other study activities (like re-reading Chapters 1–3, reviewing completed assignments, worksheets, quizzes, etc.)
Things to know:
The necessary equivalence rules and inference rules will be provided, so you so not need to memorize them. You need to know how to use the equivalence and inference rules within a proof, though.
You will be asked to write one "assembly language" level proof, one "higher-level" non-inductive proof, and one proof using mathematical induction.