80 likes | 200 Views
CS 2800 Midterm Review. 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. Logic. Propositional Logic / Predicate Logic
E N D
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
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
Proof Techniques • Proof by contradiction • Proof by contraposition • Existence proof • Uniqueness proof • Counterexamples • Induction • Weak, strong, structural • Structuring your proof
Sets • Know the notation and terminology • Union, intersection, Cartesian product etc. • Proving theorems in set theory • Countability
Functions • Basic notions • One-to-one • Onto • Inverse • Composition • Know the basic properties of the common functions • Floor, ceiling, exponential, logarithm etc.
Growth Rates • Big-O notation • Big-Ω notation • Big-Θ notation
Sequences/Summations • Know the basics • Arithmetic progressions • Geometric progressions