CS 2800 Fall 2019

From CS2800 wiki

This is the course website for CS 2800, Fall 2019

  • Instructor: Michael George. Office hours TBD in Gates 447
  • Class meets Monday, Wednesday, Friday, 10:10-11:00am in Statler 185
  • Please read the syllabus
  • Please enroll in Piazza for all course announcements and discussion
  • Homework is posted on Piazza
  • Be sure to frequently refer to the list of Useful pages

Schedule

Topic Date Lecture Topic
Sets and Proof techniques 8/30 Introduction (slides)
Break 9/2 Labor day
Sets and Proof techniques 9/4 Set and function definitions (slides)
9/6 Set constructions (slides)
9/9 Proof techniques (slides)
Functions and Relations 9/11 Function properties (slides)
9/13 Injectivity and left inverses (slides)
9/16 Surjectivity and Bijectivity (slides)
9/18 Cardinality (slides)
9/20 Diagonalization (slides)
9/23 Proof techniques review (slides)
9/25 Relations (slides)
9/27 Equivalence classes (slides)
Number theory 9/30 Induction (slides)
Exam 10/1 Prelim 1 (study guide)
Number theory 10/2 Strong induction and Euclidean division (slides)
10/4 Base b representation (slides)
10/7 GCD algorithm (slides)
10/9 Modular numbers (slides)
10/11 Modular division and exponentiation (slides)
Break 10/14 Fall break
10/16 Euler’s theorem (slides)
10/18 Public key cryptography (slides)
10/21 RSA (slides)
Category:Automata 10/23 Inductively defined sets (slides)
10/25 Structural induction (slides)
10/28 Deterministic Finite Automata (slides)
10/30 Automata constructions (slides)
Exam 10/31 Prelim 2 (study guide)
Category:Automata 11/1 Unrecognizable languages (slides)
11/4 Non-determinism (slides)
11/6 Regular expressions (slides)
11/8 Kleene's theorem (slides)
Category:Combinatorics 11/11 Sum and product rule (slides)
11/13 Permutations and combinations (slides)
11/15 Combinatorial proofs (slides)
Category:Probability 11/18 Probability spaces (slides)
11/20 Conditional probability (slides)
11/22 Random variables (slides)
11/25 Expectation (slides)
Break 11/27 Thanksgiving
11/29 Thanksgiving
Snow day 12/2 Snow day
Category:Probability 12/4 Independent RVs (slides)
12/6 Markov's/Chebychev's/Weak law (slides)
12/9 Probabilistic algorithms and hashing
Exam 12/14 2:00 PM Final exam (study guide)

Office hours schedule

(Click for location)