Home | | Schedule | | Assignments | | Lecture Notes
Topics for Midterm Exam:
This sheet is intended to help you prepare for the first midterm exam in this course. The exam will
primarily focus on chapters 1 - 5.1 of the textbook and all the lectures through Friday, 3/1/13.
You should study your class notes, textbook readings, handouts, and homeworks.
The following topics have been covered in the first part of the course. Each of the following topics may appear on the exam.
Chapter 1: Textual Substitution Simultaneous and Sequential substitution Inference rule Equality Laws that characterize equality Leibnitz's rule Function Evaluation Assignment Hoare Triples Assignment definition Pre- and Post-conditions Multiple and Sequential assignment Chapter 2: Boolean expressions Boolean Operators Precedence of operators Truth Tables Equality vs. Equivalence Duals of boolean expressions Translating English into Boolean expressions Chapter 3: Propositional Calculus Proof method by substituting equivalent expressions Equivalence Negation Disjunction Conjunction Implication and Consequence Chapter 4: Proving implications Metatheorem Parity Proof by Assuming the Antecedent Proof by Case Analysis Proof by Contradiction Chapter 5.1: Word problems Word Problems Given a set of assertions and a conclusion, either: Prove the conclusion, or Find a counter-example