1. CS 2800 Midterm Review

2. Announcements Midterm Tuesday, 11/3, 7:30PM, UP B17 Covers up to and including HW #4 (induction) Practice Prelim / Homework Solutions Graded homeworks Cheat sheet Craig Mundie’s talk Philips 101, 4PM

3. Logic Propositional Logic / Predicate Logic Know the notation/terminology Meanings of operators Translating to and from English Know how to write a proof Presentation Equivalences, inference rules

4. Proof Techniques Proof by contradiction Proof by contraposition Existence proof Uniqueness proof Counterexamples Induction Weak, strong, structural Structuring your proof

5. Sets Know the notation and terminology Union, intersection, Cartesian product etc. Proving theorems in set theory Countability

6. Functions Basic notions One-to-one Onto Inverse Composition Know the basic properties of the common functions Floor, ceiling, exponential, logarithm etc.

7. Growth Rates Big-O notation Big-Ω notation Big-Θ notation

8. Sequences/Summations Know the basics Arithmetic progressions Geometric progressions