This is the schedule for Fall 2017. Local changes are possible.

I do not post solutions any more, since they always appear on sites like CourseHero. If you think you have a legitimate claim and feel stifled by this policy, email me.

L M D W Topic Slides HW
01 Aug 29 T CDM: The Idea  pdf  6up     
02 Aug 31 H Primitive Recursive Functions  pdf  6up  hw 1   
03 Sep 05 T Register Machines  pdf  6up     
04 Sep 07 H Models of Computation  pdf  6up  hw 2   
05 Sep 12 T (Semi-) Decidability  pdf  6up     
06 Sep 14 H Iteration and Orbits  pdf  6up  hw 3   
07 Sep 19 T Constant Space  pdf  6up     
08 Sep 21 H Nondeterminism and Closure  pdf  6up  hw 4   
09 Sep 26 T Quotients and Minimization  pdf  6up     
10 Sep 28 H Fast Minimization  pdf  6up  hw 5   
11 Oct 03 T First-Order Logic  pdf  6up      more FOL 
12 Oct 05 H Automata and Logic  pdf  6up  hw 6   
13 Oct 10 T Automata and Logic II  pdf  6up     
14 Oct 12 H Automata and Logic III         
15 Oct 17 T Midterm       sample   
16 Oct 19 H Infinite Words  pdf  6up     
17 Oct 24 T Determinization  pdf  6up     
18 Oct 26 H Groups  pdf  6up  hw 7    basics
19 Oct 31 T Polya Counting  pdf  6up     
20 Nov 02 H Polya Counting II  pdf  6up  hw 8   
21 Nov 07 T Feedback Shift Registers  pdf  6up     
22 Nov 09 H Finite Fields  pdf  6up      more
23 Nov 14 T Finite Fields II  pdf  6up     
24 Nov 16 H Finite Fields III   pdf  6up  hw 9    projects
25 Nov 21 T Coding Theory  pdf  6up     
26 Nov 28 T Boolean Functions  pdf  6up     
27 Nov 30 H Boolean Algorithms   pdf  6up     
28 Dec 05 T Boolean Algorithms II  pdf  6up     
29 Dec 07 H Hyercomputation  pdf  6up