Computation & Discrete Math
Schedule Fall 2024
| No. |
Date |
Topic |
PDF |
Homework |
Miscellany |
| 01 |
Aug 27 |
CDM: The Idea |
pdf |
|
|
| 02 |
Aug 29 |
Primitive Recursion |
pdf |
hw 1
sol
|
Computation |
| 03 |
Sep 3 |
Wild Computation |
pdf |
|
|
| 04 |
Sep 5 |
Register Machines |
pdf |
hw 2
sol
|
|
| 05 |
Sep 10 |
Decidability |
pdf |
|
|
| 06 |
Sep 12 |
Iteration and Orbits |
pdf |
hw 3
sol
|
|
| 07 |
Sep 17 |
Memoryless Machines |
pdf |
|
|
| 08 |
Sep 19 |
Nondeterminism |
pdf |
hw 4
sol
|
|
| 09 |
Sep 24 |
Minimization |
pdf |
|
|
| 10 |
Sep 26 |
Minimization II |
pdf |
hw 5
sol
|
|
| 11 |
Oct 1 |
Minimization III |
pdf |
|
|
| 12 |
Oct 3 |
First-Order Logic |
pdf |
|
|
| 13 |
Oct 8 |
First-Order Logic II |
pdf |
|
|
| 14 |
Oct 10 |
Midterm (takehome) |
mid 24 |
|
sample |
| 15 |
Oct 22 |
Rational Relations |
pdf |
|
|
| 16 |
Oct 24 |
Automaticity |
pdf |
hw 6
|
|
| 17 |
Oct 29 |
Automaticity II |
pdf |
|
|
| 18 |
Oct 31 |
Presburger Arithmetic |
pdf |
hw 7
|
|
| 19 |
Nov 7 |
Presburger Arithmetic II |
pdf |
hw 8
|
|
| 20 |
Nov 12 |
Rings |
pdf |
|
|
| 21 |
Nov 14 |
Finite Fields |
pdf |
hw 9
|
|
| 22 |
Nov 19 |
Finite Fields II |
pdf |
|
|
| 23 |
Nov 21 |
GPS and FSR |
pdf |
|
|
| 24 |
Nov 26 |
Coding Theory |
pdf |
|
|
| 25 |
Dec 3 |
Cryptography |
pdf |
|
|
| 26 |
Dec 5 |
Hypercomputation |
pdf |
|
|
| - |
??? |
Final Project |
|
|
projects 24
|
There may be small, local changes to this schedule, but
overall things are stable.