CS 2800: Discrete Structures

Important information

Schedule

For upcoming lectures, I encourage you to consult the corresponding sections of last semester's lecture notes.

Topic Date Lecture topic
Basics 8/23 Introduction
8/25 Modeling problems
8/28 Proofs
Probability 8/30 Probability intro
9/1 Conditional probability
9/6 Independence
9/8 More on proofs
9/11 Random variables
9/13 Expectation and variance
9/15 Markov's, Chebychev's, Weak law of large numbers
9/18 Probabilistic counting
Functions and relations 9/20 Cardinality definitions
9/22 Inverses
9/25 Cardinality and countability
9/27 Uncountable sets
9/29 Finite cardinality
10/2 Induction
10/4 Relations
10/6 Equivalence classes (outline)
Automata 10/11 Inductively defined sets
10/13 Structural induction; automata intro
10/16 The language of a machine
10/18 Union of recognizable sets
10/20 Unsolvable problems (outline)
   
   
   
   
Number theory  
 
 
Graphs  
 
 
Formal logic  
 
 
Exams 9/26 Prelim 1 (7:30 PM in Statler 185) (study guide)
10/26 Prelim 2 (7:30 PM in Statler 185) (study guide)
12/8 Final exam

Office hours schedule (click for location)