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 Hewlett 200, recordings posted to Canvas for later asynchronous viewing
- 1
Sep 26
Introduction, Set TheorySep 28
Mathematical ProofsReadings: Guide to Proofs, Guide to Partners
Sep 30
Indirect Proofs-
Assignment 0.
due Sep 30
- 2
Oct 3
Propositional LogicOct 5
First-Order Logic, Part IOct 7
First-Order Logic, Part II-
Assignment 1.
due Oct 7
- 3
Oct 10
Functions, Part IOct 12
Functions, Part IIReadings: Guide to Proofs on Discrete Structures
Oct 14
Functions, Part III-
Assignment 2.
due Oct 14
- 4
Oct 17
Graphs, Part IOct 19
Graphs, Part IIOct 21
Graphs, Part III-
Assignment 3.
due Oct 21
- 5
Oct 24
Midterm Exam IOct 26
Mathematical Induction, Part IOct 28
Mathematical Induction, Part II-
Assignment 4.
due Oct 28
Midterm Exam I
- 6
Oct 31
Finite Automata, Part INov 2
Finite Automata, Part IINov 4
Finite Automata, Part IIIReadings: Guide to the Subset Construction
-
Assignment 5.
due Nov 4
- 7
Nov 7
Regular ExpressionsNov 9
Nonregular LanguagesNov 11
Context-Free LanguagesReadings: Guide to CFGs
-
Assignment 6.
due Nov 11
- 8
Nov 14
Midterm Exam IINov 16
Turing Machines, Part INov 18
Turing Machines, Part II-
Assignment 7.
due Nov 18
Midterm Exam II
- 9
Nov 21
No ClassNov 23
No ClassNov 25
No Class- 10
Nov 28
Turing Machines, Part IIINov 30
Unsolvable Problems, Part IDec 2
Unsolvable Problems, Part IIReadings: Guide to Self-Reference, Guide to the Lava Diagram
-
Assignment 8.
due Dec 2
- 11
Dec 5
Complexity Theory, Part IDec 7
Complexity Theory, Part IIDec 9
Where to Go from HereReadings: Timeline of Results
-
Assignment 9.
due Dec 9
Final Exam