CS 280 Midterm Review

1 / 9

# CS 280 Midterm Review - PowerPoint PPT Presentation

CS 280 Midterm Review. Announcements. Midterm Postponed to Monday, 11/12 Covers up to and including HW #5 (number theory) Homework #5. Logic. Propositional Logic / Predicate Logic Know the notation/terminology Meanings of operators Translating to and from English

I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.

## CS 280 Midterm Review

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.

- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript

### CS 280 Midterm Review

Announcements
• Midterm
• Postponed to Monday, 11/12
• Covers up to and including HW #5 (number theory)
• Homework #5
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 contraposition
• Existence proof
• Uniqueness proof
• Counterexamples
• Induction
• Weak, strong, structural
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
Number Theory
• Modular arithmetic and congruences
• Basic properties
• Finding the GCD, LCM
• Basic properties
• Euclid’s algorithm
• Linear congruences
• Chinese Remainder Theorem
• Fermat’s Little Theorem