Computation & Discrete Math
Schedule Fall 2025
| No. |
Date |
Topic |
PDF |
Homework |
Miscellany |
| 01 |
Aug 26 |
CDM: The Idea |
pdf |
|
|
| 02 |
Aug 28 |
Topswops |
pdf |
| ordinals |
| 03 |
Sep 2 |
Primitive Recursive Functions |
pdf |
|
coding |
| 04 |
Sep 4 |
Turing Machines |
pdf |
hw 1
|
|
| 05 |
Sep 9 |
Turing Computability |
pdf |
|
|
| 06 |
Sep 11 |
Beavers and Goodstein |
pdf |
|
|
| 07 |
Sep 16 |
Iteration |
pdf |
|
|
| 08 |
Sep 18 |
Finite State Machines |
pdf |
|
|
| 09 |
Sep 23 |
Minimization |
|
|
|
| 10 |
Sep 25 |
Minimization II |
|
|
|
| 11 |
Sep 30 |
Minimization III |
|
|
|
| 12 |
Oct 2 |
First-Order Logic |
|
|
|
| 13 |
Oct 7 |
First-Order Logic II |
|
|
|
| 14 |
Oct 9 |
Midterm (takehome) |
|
|
|
| 15 |
Oct 21 |
Rational Relations |
|
|
|
| 16 |
Oct 23 |
Automaticity |
|
|
|
| 17 |
Oct 28 |
Automaticity II |
|
|
|
| 18 |
Oct 30 |
Presburger Arithmetic |
|
|
|
| 19 |
Nov 6 |
Presburger Arithmetic II |
|
|
|
| 20 |
Nov 11 |
Rings |
|
|
|
| 21 |
Nov 13 |
Finite Fields |
|
|
|
| 22 |
Nov 18 |
Finite Fields II |
|
|
|
| 23 |
Nov 20 |
GPS and FSR |
|
|
|
| 24 |
Nov 25 |
Coding Theory |
|
|
|
| 25 |
Dec 2 |
Cryptography |
|
|
|
| 26 |
Dec 4 |
Hypercomputation |
|
|
|
| - |
??? |
Final Project |
|
|
|
There may be small, local changes to this schedule, but
overall things are stable.