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