⚠️ Psst! This page is not current. It's an archive from Fall 2024.
The Winter '25 site is at this link.
The Winter '25 site is at this link.
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 1:30PM - 2:50PM in Bishop Auditorium, recordings posted to Canvas for later asynchronous viewing.
See also: 🗓 Living Omni-Grid.
Sep 23
Introduction, Set Theory
Sep 25
Mathematical Proofs
Sep 27
Indirect Proofs
Assignment 0.
due Sep 27
Sep 30
Propositional Logic
Oct 2
First-Order Logic, Part I
Oct 4
First-Order Logic, Part II
Assignment 1.
due Oct 4
Oct 7
Functions, Part I
Oct 9
Functions, Part II
Oct 11
Set Theory Revisited
Assignment 2.
due Oct 11
Oct 14
Graphs, Part I
Oct 16
Graphs, Part II
Oct 18
Graphs, Part III
Assignment 3.
due Oct 18
Oct 21
No Class (Exam 1)Oct 23
Mathematical Induction, Part I
Oct 25
Mathematical Induction, Part II
Assignment 4.
due Oct 25
Oct 28
Finite Automata, Part I
Oct 30
Finite Automata, Part II
Nov 1
Finite Automata, Part III
Assignment 5.
due Nov 1
Nov 4
Regular Expressions
Nov 6
Nonregular Languages
Nov 8
Context-Free Languages
Assignment 6.
due Nov 8
Nov 11
No Class (Exam 2)Nov 13
Turing Machines, Part I
Nov 15
Turing Machines, Part II
Assignment 7.
due Nov 15
Nov 18
Turing Machines, Part III
Nov 20
Unsolvable Problems, Part I
Nov 22
Unsolvable Problems, Part II
Assignment 8.
due Nov 24
Nov 25
No ClassNov 27
No ClassNov 29
No ClassDec 2
Complexity Theory, Part I
Dec 4
Complexity Theory, Part II
Dec 6
Where to Go from Here
Assignment 9.
due Dec 6