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 4:30PM - 5:50PM in Gates B1, recordings posted to Canvas for later asynchronous viewing.
- 1
Jan 8
Introduction, Set TheoryJan 10
Mathematical ProofsReadings: Guide to Partners
Jan 12
Indirect ProofsReadings: Proofwriting Checklist, Guide to Office Hours, Guide to $\LaTeX$, Guide to Proofs, Guide to Proofs on Sets
-
Assignment 0.
due Jan 12
- 2
Jan 15
No ClassJan 17
Propositional LogicJan 19
First-Order Logic, Part I-
Assignment 1.
due Jan 19
- 3
Jan 22
First-Order Logic, Part IIJan 24
Functions, Part IJan 26
Functions, Part II-
Assignment 2.
due Jan 26
- 4
Jan 29
Graphs, Part IJan 31
Graphs, Part IIFeb 2
Graphs, Part III-
Assignment 3.
due Feb 2
- 5
Feb 5
Midterm ReviewFeb 7
Mathematical Induction, Part IFeb 9
Mathematical Induction, Part II-
Assignment 4.
due Feb 9
- 6
Feb 12
Finite Automata, Part IFeb 14
Finite Automata, Part IIFeb 16
Finite Automata, Part IIIReadings: Guide to the Subset Construction
-
Assignment 5.
due Feb 16
- 7
Feb 19
No ClassFeb 21
Regular ExpressionsFeb 23
Nonregular Languages-
Assignment 6.
due Feb 23
- 8
Feb 26
Context-Free LanguagesReadings: Guide to CFGs
Feb 28
Turing Machines, Part IMar 1
Turing Machines, Part II-
Assignment 7.
due Mar 1
- 9
Mar 4
Turing Machines, Part IIIMar 6
Unsolvable Problems, Part IMar 8
Unsolvable Problems, Part IIReadings: Guide to Self-Reference, Guide to the Lava Diagram
-
Assignment 8.
due Mar 8
- 10
Mar 11
Complexity Theory, Part IMar 13
Complexity Theory, Part IIMar 15
Where to Go from HereReadings: Timeline of Results
-
Assignment 9.
due Mar 15