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 Aud, recordings posted to Canvas for later asynchronous viewing
- 1
Apr 4
Introduction, Set TheoryApr 6
Mathematical ProofsReadings: Guide to Proofs, Guide to Partners
Apr 8
Indirect Proofs-
Assignment 0.
due Apr 7
- 2
Apr 11
Propositional LogicApr 13
First-Order Logic, Part IReadings: Guide to Set Theory Proofs
Apr 15
First-Order Logic, Part II-
Assignment 1.
due Apr 14
- 3
Apr 18
Functions, Part IApr 20
Functions, Part IIReadings: Guide to Proofs on Discrete Structures
Apr 22
Functions, Part III-
Assignment 2.
due Apr 21
- 4
Apr 25
Graphs, Part IApr 27
Graphs, Part IIApr 29
Mathematical Induction, Part I-
Assignment 3.
due Apr 28
- 5
May 2
Midterm ReviewMay 4
Mathematical Induction, Part IIMay 6
Finite Automata, Part I-
Assignment 4.
due May 5
Midterm Exam I
- 6
May 9
Finite Automata, Part IIMay 11
Finite Automata, Part IIIReadings: Guide to the Subset Construction
May 13
Regular Expressions-
Assignment 5.
due May 12
- 7
May 16
Nonregular LanguagesMay 18
Context-Free LanguagesReadings: Guide to CFGs
May 20
Turing Machines, Part I-
Assignment 6.
due May 19
- 8
May 23
Midterm 2 ReviewMay 25
Turing Machines, Part IIMay 27
Turing Machines, Part III-
Assignment 7.
due May 26
Midterm Exam II
- 9
May 30
Holiday, no classJun 1
Unsolvable Problems, Part IJun 3
Unsolvable Problems, Part IIReadings: Guide to Self-Reference, Guide to the Lava Diagram
-
Assignment 8.
due Jun 2
- 10
Jun 6
Complexity Theory and P vs NPJun 8
Where to Go from HereReadings: Timeline of Results
Jun 10
No class-
Assignment 9.
due Jun 9
Final Exam