# CS 2800 Spring 2014 Course Schedule

All dates for lectures and unreleased assignments are provisional.
Lecture Note # Date Lecture Topic Notes Upload Date
1 Jan 22 Formal reasoning pdf 1/25/14
2 24 Set Theory I pdf 1/25/14
3 27 Set Theory II pdf 2/13/14
4 29 Equivalence relations pdf 2/10/14
5 31 Functions pdf 2/10/14
6 Feb 3 Review of Proof Techniques
7 5 Operators pdf 2/10/14
8 7 Ordering pdf 2/10/14
9 10 Cardinality pdf 2/10/14
10 12 Proof by Induction pdf 2/12/14
11 14 Group Theory I pdf 2/13/14
Feb 17 February Break
12 26 Group Theory II pdf 3/12/14
Mar 3Prelim 1 (in class)
13 Mar 10 Number Theory I pdf 3/12/14
14 17 Number Theory II pdf 3/17/14
15 21 Automata Definitions pdf 3/24/14
March 29 Spring Break
16 24 Automata Constructions pdf, LaTeX 4/8/14
17 28 Regular Expressions, DFA limitations pdf, LaTeX 4/9/14
18 April 11 sample spaces, events, Kolmogorov axioms, inclusion/exclusion principle, sampling with and without replacement pdf 4/23/14
April 16Prelim 2 (in class or 7:30-9pm in Upson B17)
(18) 18 independence for events, mutual independence for events, conditional probability, total probability, more sampling, Bayes Theorem
(18) 21 Bayes Theorem, iterated conditional probability, discrete random variables, probability mass function (pmt), expectation, mean, variance
(18) 23 joint pmfs, independence of random variables, expectation and variance for sums of random variables, cumulative distribution function
(18) 25 non-independent random variables, covariance, correlation, Bernoulli trials, Binomial distribution, generating functions
(18) 28 Hypergeometric, geometric and Poisson distribuions and their uses. Intro graph theory.
- 30 Graphs: directed vs undirected, complete, complement, dual graph, adjoint graph
- May 2 Graphs: connected components, articulation points, bridges, metrics, geodesics, distance, eccentricity, radius, centre, diameter, girth, circumference