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.

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 |