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 6:00PM - 7:50PM in Hewlett 201, recordings posted to Canvas for later asynchronous viewing.
- 1
Jun 24
Introduction, Set TheoryJun 26
Mathematical ProofsReadings: Guide to Proofs, Guide to Partners
Jun 28
Indirect Proofs-
Assignment 0.
due Jun 28
- 2
Jul 1
Propositional LogicJul 3
First-Order Logic, Part IJul 5
First-Order Logic, Part II-
Assignment 1.
due Jul 5
- 3
Jul 8
Functions, Part IJul 10
Functions, Part IIReadings: Guide to Proofs on Discrete Structures
Jul 12
Graphs, Part I-
Assignment 2.
due Jul 12
- 4
Jul 15
Graphs, Part IIJul 17
Mathematical Induction, Part IJul 19
Mathematical Induction, Part II-
Assignment 3.
due Jul 19
- 5
Jul 22
Finite Automata, Part IJul 24
Finite Automata, Part IIJul 26
Midterm Exam-
Assignment 4.
due Jul 26
- 6
Jul 29
Regular ExpressionsJul 31
Nonregular LanguagesAug 2
Context-Free LanguagesReadings: Guide to CFGs
-
Assignment 5.
due Aug 2
- 7
Aug 5
Turing Machines, Part IAug 7
Turing Machines, Part IIAug 9
Unsolvable ProblemsReadings: Guide to the Lava Diagram
-
Assignment 6.
due Aug 9
- 8
Aug 12
Complexity Theory and P vs NPAug 14
Final ReviewAug 16
No class-
Assignment 7.
due Aug 14
Final Exam