# Difference between revisions of "CS 2800 Spring 2020"

From CS2800 wiki

(→Schedule) |
(→Schedule) |
||

Line 30: | Line 30: | ||

|- | |- | ||

|rowspan=8| [[:Category:Functions|Functions]] and [[:Category:Relations|Relations]] | |rowspan=8| [[:Category:Functions|Functions]] and [[:Category:Relations|Relations]] | ||

− | | 1/31 || [[SP20:Lecture 5 | + | | 1/31 || [[SP20:Lecture 5 Functions and quantifiers|Functions and quantifiers]] ([[SP20:Lecture 5 prep|prep]], [[Media:sp20-lec05-slides.pdf|slides]]) |

|- | |- | ||

− | | 2/3 || [[SP20:Lecture 6 | + | | 2/3 || [[SP20:Lecture 6 Jectivity and inverses|Jectivity and inverses]] ([[SP20:Lecture 6 prep|prep]], [[Media:sp20-lec06-slides.pdf|slides]]) |

|- | |- | ||

− | | 2/5 || [[SP20:Lecture 7 | + | | 2/5 || [[SP20:Lecture 7 Cardinality|Cardinality]] ([[SP20:Lecture 7 prep|prep]], [[Media:sp20-lec07-slides.pdf|slides]]) |

|- | |- | ||

− | | 2/7 || | + | | 2/7 || Countability ([[SP20:Lecture 8 prep|prep]]) |

|- | |- | ||

| 2/10 || Diagonalization ([[SP20:Lecture 9 prep|prep]]) | | 2/10 || Diagonalization ([[SP20:Lecture 9 prep|prep]]) | ||

Line 130: | Line 130: | ||

|- | |- | ||

|rowspan=1| | |rowspan=1| | ||

− | | | + | | 5/15 ||class="exam"| 2:00 Final exam |

|} | |} | ||

## Revision as of 12:38, 5 February 2020

This is the course website for CS 2800, Spring 2020.

- Instructor: Michael George. Office hours TBD.

- 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

You are responsible for learning the material in the "prep" page **before** the corresponding lecture. The prep page will also contain a link to the previous semester's notes. If you want to look ahead to lectures where I haven't yet posted the prep page, you can visit the CS 2800 Fall 2019 page.

Topic | Date | Lecture Topic |
---|---|---|

Sets and Proof techniques | 1/22 | Introduction (prep, slides) |

1/24 | Set and function definitions (prep, slides) | |

1/27 | Set constructions (prep, slides) | |

1/29 | Proof techniques (prep, slides) | |

Functions and Relations | 1/31 | Functions and quantifiers (prep, slides) |

2/3 | Jectivity and inverses (prep, slides) | |

2/5 | Cardinality (prep, slides) | |

2/7 | Countability (prep) | |

2/10 | Diagonalization (prep) | |

2/12 | Proof techniques review (prep) | |

2/14 | Relations (prep) | |

2/17 | Equivalence classes (prep) | |

Number theory | 2/19 | Induction (prep) |

2/21 | Strong induction and Euclidean division (prep) | |

2/24 | No class; February break | |

Number theory | 2/26 | Base b representation (prep) |

2/28 | GCD algorithm (prep) | |

3/2 | Modular numbers (prep) | |

3/4 | Modular division and exponentiation (prep) | |

3/5 | Prelim 1 | |

Number theory | 3/6 | Euler’s theorem (prep) |

3/9 | Public key cryptography (prep) | |

3/11 | RSA (prep) | |

Category:Automata | 3/13 | Inductively defined sets (prep) |

3/16 | Structural induction (prep) | |

3/18 | Deterministic Finite Automata (prep) | |

3/20 | Automata constructions (prep) | |

3/23 | Unrecognizable languages (prep) | |

3/25 | Non-determinism (prep) | |

3/27 | Regular expressions (prep) | |

3/30 | No class; Spring break | |

4/1 | No class; Spring break | |

4/3 | No class; Spring break | |

Category:Automata | 4/6 | Kleene's theorem (prep) |

Category:Combinatorics | 4/8 | Sum and product rule (prep) |

4/9 | Prelim 2 | |

Category:Combinatorics | 4/10 | Permutations and combinations (prep) |

4/13 | Combinatorial proofs (prep) | |

Category:Probability | 4/15 | Probability spaces (prep) |

4/17 | Conditional probability (prep) | |

4/20 | Random variables (prep) | |

4/22 | Expectation (prep) | |

4/24 | Independent RVs (prep) | |

4/27 | Markov's/Chebychev's/Weak law (prep) | |

Category:Metalogic | 4/29 | Truth tables (prep) |

5/1 | Proof trees (prep) | |

5/4 | Soundness and completeness (prep) | |

5/15 | 2:00 Final exam |

# Office hours schedule

(Click for location)