Course Schedule

See also: Living Omni-Grid

Class meets MWF 3:00 PM - 4:20 PM in CODAB80, with recordings posted to Canvas for later asynchronous viewing. 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.

1
Mar 30
Introduction, Set Theory
Syllabus, Honor Code, Mathematical Prerequisites, Guide to Elements and Subsets
Apr 1
Mathematical Proofs
[Guide to Proofs][guide_to_proofs], [Proofwriting Checklist][proofwriting_checklist], Guide to Partners
Apr 3
Indirect Proofs
[Proofwriting Checklist][proofwriting_checklist], Guide to Office Hours, [Guide to $\LaTeX$][guide_to_latex]
Assignment 0.
due Apr 6
2
Apr 6
Propositional Logic
Apr 8
First-Order Logic, Part I
Apr 10
First-Order Logic, Part II
[Guide to Negation][guide_to_negation], [Guide to Logic Translation][guide_to_translation], [Translation Checklist][fol_checklist]
Assignment 1.
due Apr 10
3
Apr 13
Functions, Part I
Apr 15
Functions, Part II
[Guide to Proofs on Discrete Structures][guide_to_proofs_on_discrete_structures]
Apr 17
Set Theory Revisited
[Discrete Structures Proofwriting Checklist][discrete_structures_checklist], [Guide to Proofs on Sets][guide_to_proofs_on_sets]
Assignment 2.
due Apr 17
4
Apr 20
Graphs, Part I
Apr 22
Graphs, Part II
Apr 24
Graphs, Part III
Assignment 3.
due Jan 30
5
Apr 27
Mathematical Induction, Part I
Apr 29
Mathematical Induction, Part II
[Guide to Induction][guide_to_induction], [Induction Proofwriting Checklist][induction_checklist]
May 1
Finite Automata, Part I
Assignment 4.
due Feb 6
6
May 4
Finite Automata, Part II
May 6
Finite Automata, Part III
[Guide to the Subset Construction][guide_to_the_subset_construction]
May 8
Regular Expressions
[Guide to Regular Expressions][guide_to_regexes], [Guide to State Elimination][guide_to_state_elimination]
Assignment 5.
due Feb 13
7
May 11
Nonregular Languages
[Guide to the Myhill-Nerode Theorem][guide_to_myhill_nerode]
May 13
Context-Free Languages
[Guide to CFGs][guide_to_cfgs]
May 15
Turing Machines, Part I
Assignment 6.
due Feb 20
8
May 18
Turing Machines, Part II
May 20
Turing Machines, Part III
May 22
Unsolvable Problems, Part I
Assignment 7.
due Feb 27
9
May 25
Unsolvable Problems, Part II
[Guide to Self-Reference][guide_to_self_reference], [Guide to the Lava Diagram][guide_to_the_lava_diagram]
May 27
Complexity Theory, Part I
May 29
Complexity Theory, Part II
Assignment 8.
due Mar 6
10
Jun 1
Where to Go from Here
[Timeline of Results][timeline_of_results]
Jun 3
/lectures/28/
Jun 5
/lectures/29/
Assignment 9.
due Mar 13