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 for 2 weeks, then Bishop Aud, recordings posted to Canvas for later asynchronous viewing
- 1
Jan 9
Introduction, Set TheoryJan 11
Mathematical ProofsReadings: Guide to Proofs, Guide to Partners
Jan 13
Indirect Proofs-
Assignment 0.
due Jan 16
- 2
Jan 16
MLK Jr DayJan 18
Propositional LogicJan 20
First-Order Logic, Part IReadings: Guide to Set Theory Proofs
-
Assignment 1.
due Jan 20
- 3
Jan 23
First-Order Logic, Part IIJan 25
Functions, Part IJan 27
Functions, Part IIReadings: Guide to Proofs on Discrete Structures
-
Assignment 2.
due Jan 27
- 4
Jan 30
Functions, Part IIIFeb 1
Graphs, Part IFeb 3
Graphs, Part II-
Assignment 3.
due Feb 3
- 5
Feb 6
Midterm ReviewFeb 8
Mathematical Induction, Part IFeb 10
Mathematical Induction, Part II-
Assignment 4.
due Feb 10
Midterm Exam I
- 6
Feb 13
Finite Automata, Part IFeb 15
Finite Automata, Part IIFeb 17
Finite Automata, Part IIIReadings: Guide to the Subset Construction
-
Assignment 5.
due May 12
- 7
Feb 20
Presidents DayFeb 22
Regular ExpressionsFeb 24
Nonregular Languages-
Assignment 6.
due Feb 24
- 8
Feb 27
Context-Free LanguagesReadings: Guide to CFGs
Mar 1
Turing Machines, Part IMar 3
Turing Machines, Part II-
Assignment 7.
due Mar 3
Midterm Exam II
- 9
Mar 6
Turing Machines, Part IIIMar 8
Unsolvable Problems, Part IMar 10
Unsolvable Problems, Part IIReadings: Guide to Self-Reference, Guide to the Lava Diagram
-
Assignment 8.
due Mar 10
- 10
Mar 13
Complexity Theory, Part IMar 15
Complexity Theory, Part IIMar 17
No class-
Assignment 9.
due Dec 9
Final Exam