- This is the homepage for CS2800 Fall 2017
- Instructor: Michael George. Office hours WF 2:30–3:30 Uris G44, or by appointment in Gates 447
- Class meets Monday, Wednesday, Friday, 1:25-2:15 in Uris G01
- The course text is "Mathematics for Computer Science" (version dated 6/5/2017).
- Please read the syllabus

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 |