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:00PM - 4:20PM in Bishop Auditorium, recordings posted to Canvas for later asynchronous viewing.
- 1
Apr 1
Introduction, Set TheoryApr 3
Mathematical ProofsReadings: Guide to Proofs, Guide to Partners
Apr 5
Indirect Proofs-
Assignment 0.
due Apr 5
- 2
Apr 8
Propositional LogicApr 10
First-Order Logic, Part IApr 12
First-Order Logic, Part II-
Assignment 1.
due Apr 12
- 3
Apr 15
Functions, Part IApr 17
Functions, Part IIReadings: Guide to Proofs on Discrete Structures
Apr 19
Set Theory Revisited-
Assignment 2.
due Apr 19
- 4
Apr 22
Graphs, Part IApr 24
Graphs, Part IIApr 26
Graphs, Part III-
Assignment 3.
due Apr 26
- 5
Apr 29
Mathematical Induction, Part IMay 1
Mathematical Induction, Part IIReadings: [Guide to Induction][guide_to_induction], [Induction Proofwriting Checklist][induction_checklist]
May 3
Finite Automata, Part I-
Assignment 4.
due May 3
- 6
May 6
Finite Automata, Part IIMay 8
Finite Automata, Part IIIReadings: [Guide to the Subset Construction][guide_to_the_subset_construction]
May 10
Regular Expressions-
Assignment 5.
due May 10
- 7
May 13
Nonregular LanguagesMay 15
Context-Free LanguagesReadings: [Guide to CFGs][guide_to_cfgs]
May 17
Turing Machines, Part I-
Assignment 6.
due May 17
- 8
May 20
Turing Machines, Part IIMay 22
Turing Machines, Part IIIMay 24
Unsolvable Problems, Part I-
Assignment 7.
due May 24
- 9
May 27
No ClassMay 29
Unsolvable Problems, Part IIReadings: [Guide to Self-Reference][guide_to_self_reference], [Guide to the Lava Diagram][guide_to_the_lava_diagram]
May 31
Complexity Theory, Part I-
Assignment 8.
due May 31
- 10
Jun 3
Complexity Theory, Part IIJun 5
Where to Go from HereReadings: [Timeline of Results][timeline_of_results]
Jun 7
No Class-
Assignment 9.
due Jun 5