⚠️ This page is not current. It is an archive from Fall 2025.
The current quarter's site is at this link.
The current quarter's site is at this link.
See also: Living Omni-Grid
Class meets MWF 1:30 - 2:50 PM in Bishop Auditorium, 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.
Sep 22
Introduction, Set Theory
Sep 24
Mathematical Proofs
Sep 26
Indirect Proofs
Assignment 0.
due Sep 26
Sep 29
Propositional Logic
Oct 1
First-Order Logic, Part I
Oct 3
First-Order Logic, Part II
Assignment 1.
due Oct 3
Oct 6
Functions, Part I
Oct 8
Functions, Part II
Oct 10
Set Theory Revisited
Assignment 2.
due Oct 10
Oct 13
Graphs, Part I
Oct 15
Graphs, Part II
Oct 17
Graphs, Part III
Assignment 3.
due Oct 17
Oct 20
No Class (Exam 1)Oct 22
Mathematical Induction, Part I
Oct 24
Mathematical Induction, Part II
Assignment 4.
due Oct 24
Oct 27
Finite Automata, Part I
Oct 29
Finite Automata, Part II
Oct 31
Finite Automata, Part III
Assignment 5.
due Oct 31
Nov 3
Regular Expressions
Nov 5
Nonregular Languages
Nov 7
Context-Free Languages
Assignment 6.
due Nov 7
Nov 10
No Class (Exam 2)Nov 12
Turing Machines, Part I
Nov 14
Turing Machines, Part II
Assignment 7.
due Nov 14
Nov 17
Turing Machines, Part III
Nov 19
Unsolvable Problems, Part I
Nov 21
Unsolvable Problems, Part II
Assignment 8.
due Nov 23
Nov 24
No Class (Thanksgiving Break)Nov 26
No Class (Thanksgiving Break)Nov 28
No Class (Thanksgiving Break)Dec 1
Complexity Theory, Part I
Dec 3
Complexity Theory, Part II
Dec 5
Where to Go from Here
Assignment 9.
due Dec 5