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 1:30PM - 2:50PM in Skilling Auditorium, recordings posted to Canvas for later asynchronous viewing
- 1
Sep 25
Introduction, Set TheorySep 27
Mathematical ProofsReadings: [Guide to Proofs][guide_to_proofs], Guide to Partners
Sep 29
Indirect Proofs (Virtual)Readings: [Proofwriting Checklist][proofwriting_checklist], Guide to Office Hours, Guide to $\LaTeX$
-
Assignment 0.
due Oct 2
- 2
Oct 2
Propositional LogicOct 4
First-Order Logic, Part IOct 6
First-Order Logic, Part IIReadings: [Guide to Negation][guide_to_negation], [Guide to Logic Translation][guide_to_translation], [Translation Checklist][fol_checklist]
-
Assignment 1.
due Oct 6
- 3
Oct 9
Functions, Part IOct 11
Functions, Part IIReadings: [Guide to Proofs on Discrete Structures][guide_to_proofs_on_discrete_structures]
Oct 13
Set Theory RevisitedReadings: [Discrete Structures Proofwriting Checklist][discrete_structures_checklist]
-
Assignment 2.
due Oct 13
- 4
Oct 16
Graphs, Part IOct 18
Graphs, Part IIOct 20
Graphs, Part III-
Assignment 3.
due Oct 20
- 5
Oct 23
No ClassOct 25
Mathematical Induction, Part IOct 27
Mathematical Induction, Part IIReadings: [Guide to Induction][guide_to_induction], [Induction Proofwriting Checklist][induction_checklist]
-
Assignment 4.
due Oct 27
- 6
Oct 30
Finite Automata, Part INov 1
Finite Automata, Part IINov 3
Finite Automata, Part IIIReadings: [Guide to the Subset Construction][guide_to_the_subset_construction]
-
Assignment 5.
due Nov 3
- 7
Nov 6
Regular ExpressionsNov 8
Nonregular LanguagesNov 10
Context-Free LanguagesReadings: [Guide to CFGs][guide_to_cfgs]
-
Assignment 6.
due Nov 10
- 8
Nov 13
No ClassNov 15
Turing Machines, Part INov 17
Turing Machines, Part II-
Assignment 7.
due Nov 19
- 9
Nov 20
No ClassNov 22
No ClassNov 24
No Class- 10
Nov 27
Turing Machines, Part IIINov 29
Unsolvable Problems, Part IDec 1
Unsolvable Problems, Part IIReadings: [Guide to Self-Reference][guide_to_self_reference], [Guide to the Lava Diagram][guide_to_the_lava_diagram]
-
Assignment 8.
due Dec 1
- 11
Dec 4
Complexity Theory, Part IDec 6
Complexity Theory, Part IIDec 8
Where to Go from HereReadings: [Timeline of Results][timeline_of_results]
-
Assignment 9.
due Dec 8