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:15PM - 4:45PM in Nvidia Auditorium, recordings posted to Canvas for later asynchronous viewing
- 1
Sep 20
Introduction, Set TheorySep 22
Mathematical ProofsReadings: Guide to Proofs, Guide to Partners
Sep 24
Indirect Proofs-
Assignment 0.
due Sep 24
- 2
Sep 27
Propositional LogicSep 29
First-Order Logic, Part IOct 1
First-Order Logic, Part II-
Assignment 1.
due Oct 1
- 3
Oct 4
Functions, Part IOct 6
Functions, Part IIReadings: Guide to Proofs on Discrete Structures
Oct 8
CardinalityReadings: Discrete Structures Proofwriting Checklist, Guide to Cantor's Theorem, Preparing for the Midterm
-
Assignment 2.
due Oct 8
- 4
Oct 11
Graphs, Part IOct 13
Graphs, Part IIOct 15
Graphs, Part III-
Assignment 3.
due Oct 15
- 5
Oct 18
No ClassOct 20
Mathematical Induction, Part IOct 22
Mathematical Induction, Part II-
Assignment 4.
due Oct 22
- 6
Oct 25
Finite Automata, Part IOct 27
Finite Automata, Part IIOct 29
Finite Automata, Part IIIReadings: Guide to the Subset Construction
-
Assignment 5.
due Oct 29
- 7
Nov 1
Regular ExpressionsNov 3
Nonregular LanguagesNov 5
Context-Free LanguagesReadings: Guide to CFGs
-
Assignment 6.
due Nov 5
- 8
Nov 8
No ClassNov 10
Turing Machines, Part INov 12
Turing Machines, Part II-
Assignment 7.
due Nov 12
- 9
Nov 15
Turing Machines, Part IIINov 17
Unsolvable Problems, Part INov 19
Unsolvable Problems, Part IIReadings: Guide to Self-Reference, Guide to the Lava Diagram
-
Assignment 8.
due Nov 19
- 10
Nov 22
No ClassNov 24
No ClassNov 26
No Class- 11
Nov 29
Complexity Theory, Part IDec 1
Complexity Theory, Part IIDec 3
The Big PictureReadings: Timeline of Results
-
Assignment 9.
due Dec 3