This is a preview of our planned schedule. We will update this schedule as we go. This page should faithfully describe the past, but it won't always accurately predict the future.
MWF 3:00 - 4:20 PM in Gates B1 (basement level), recordings posted to Canvas for later asynchronous viewing.
- 1
Mar 31
Introduction, Set TheoryApr 2
Mathematical ProofsApr 4
Indirect Proofs-
Assignment 0.
due Apr 7
- 2
Apr 7
Propositional LogicApr 9
First-Order Logic, Part IApr 11
First-Order Logic, Part II-
Assignment 1.
due Apr 11
- 3
Apr 14
Functions, Part IApr 16
Functions, Part IIApr 18
Set Theory Revisited-
Assignment 2.
due Apr 18
- 4
Apr 21
Graphs, Part IApr 23
Graphs, Part IIApr 25
Graphs, Part III-
Assignment 3.
due Apr 25
- 5
Apr 28
Mathematical Induction, Part IApr 30
Mathematical Induction, Part IIMay 2
Finite Automata, Part I-
Assignment 4.
due May 2
- 6
May 5
Finite Automata, Part IIMay 7
Finite Automata, Part IIIMay 9
Regular Expressions-
Assignment 5.
due May 9
- 7
May 12
Nonregular LanguagesMay 14
Context-Free LanguagesMay 16
Turing Machines, Part I-
Assignment 6.
due May 16
- 8
May 19
Turing Machines, Part IIMay 21
Turing Machines, Part IIIMay 23
Unsolvable Problems, Part I-
Assignment 7.
due May 23
- 9
May 26
No ClassMay 28
Unsolvable Problems, Part IIMay 30
Unsolvable Problems, Part III-
Assignment 8.
due May 30
- 10
Jun 2
Complexity TheoryJun 4
Complexity Theory 2 and Where to Go from HereJun 6
No Class-
Assignment 9.
due Jun 4