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
sol
|
|
| 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 |
hw 2
sol
|
|
| 09 |
Sep 23 |
FSM II |
pdf |
|
|
| 10 |
Sep 25 |
FSM III |
|
|
|
| 11 |
Sep 30 |
Algebra and FSM |
pdf |
|
vid-1
vid-2
|
| 12 |
Oct 2 |
Minimization |
pdf |
|
nb
|
| 13 |
Oct 7 |
Minimization II |
|
|
|
| 14 |
Oct 9 |
Midterm (takehome) |
pdf |
|
midterm 24
|
| 15 |
Oct 21 |
Groups |
pdf |
|
|
| 16 |
Oct 23 |
Groups II |
pdf |
hw 3
sol
|
|
| 17 |
Oct 28 |
Groups Representations |
pdf |
|
|
| 18 |
Oct 30 |
Word Problem |
pdf |
|
RSA |
| 19 |
Nov 6 |
Group Actions |
pdf |
hw 4
sol
|
|
| 20 |
Nov 11 |
Polya-Redfield |
|
|
vid-1
vid-2
|
| 21 |
Nov 13 |
Mealy Machines |
pdf |
|
|
| 22 |
Nov 18 |
Mealy Machines II |
pdf |
|
projects |
| 23 |
Nov 20 |
Automata Groups |
|
|
|
| 24 |
Nov 25 |
Automatic Structures |
pdf |
hw 5
|
|
| 25 |
Dec 2 |
Presburger Arithmetic |
pdf |
|
|
| 26 |
Dec 4 |
Hypercomputation |
pdf |
|
|
| - |
??? |
Final Project |
|
|
|
There may be small, local changes to this schedule, but
overall things are stable.