Date Topic Slides HW More
01 Tue 02/02 CDM: The Idea pdf 6up
02 Thu 02/04 Primitive Recursion pdf 6up hw 1 sol
03 Tue 02/09 Register Machines pdf 6up
04 Thu 02/11 Decidability pdf 6up hw 2 sol
05 Tue 02/16 Iteration and Orbits pdf 6up
06 Thu 02/18 More Iteration hw 3
07 Tue 02/23 Break
08 Thu 02/25 Zero Space pdf 6up hw 4
09 Tue 03/02 Nondeterminism and Closure pdf 6up
10 Thu 03/04 Minimization pdf 6up hw 5 Hopcroft
11 Tue 03/09 First-Order Logic pdf 6up
12 Thu 03/11 Automata and Logic pdf 6up
13 Tue 03/16 Midterm (take home) mid 21 19 18
14 Thu 03/18 Automata and Logic II pdf 6up
15 Tue 03/23 Automata and Logic III pdf 6up ECA modcheck
16 Thu 03/25 Infinite Words hw 6
17 Tue 03/30 Determinization pdf 6up Safra
18 Thu 04/01 Groups hw 7 Groups
19 Tue 04/06 Polya Counting pdf 6up
20 Thu 04/08 Polya Counting II pdf 6up hw 8
21 Tue 04/13 Polya Counting II.5 projects
22 Tue 04/20 Feedback Shift Registers pdf 6up
23 Thu 04/22 Finite Fields pdf 6up hw 9
24 Tue 04/27 Finite Fields II pdf 6up
25 Thu 04/29 Coding Theory pdf 6up
26 Tue 05/04 Effective Resistance pdf 6up
27 Thu 05/06 "Hypercomputation" pdf 6up