80 likes | 210 Vues
Prepare for the CS 2800 Midterm on Tuesday, 11/3 at 7:30 PM in UP B17. This review covers materials up to HW #4, focusing on induction, logic (propositional and predicate), proof techniques (contradiction, contraposition, existence, uniqueness), set theory (notation, union, intersection, Cartesian product), functions (one-to-one, onto, composition), and growth rates (Big-O, Big-Ω, Big-Θ). Practice problems, graded homeworks, and a cheat sheet are available to aid your study. Don't miss Craig Mundie’s talk in Philips 101 at 4 PM.
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