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     
05 Sep 12 T (Semi-) Decidability  pdf  6up     
06 Sep 14 H Iteration and Orbits  pdf  6up     
07 Sep 19 T Constant Space  pdf  6up     
08 Sep 21 H Nondeterminism and Closure  pdf  6up     
09 Sep 26 T Quotients and Minimization         
10 Sep 28 H Fast Minimization         
11 Oct 03 T First-Order Logic         
12 Oct 05 H Automata and Logic         
13 Oct 10 T Automata and Logic II         
14 Oct 12 H Automata and Logic III         
15 Oct 17 T Midterm          
16 Oct 19 H Infinite Words         
17 Oct 24 T Determinization         
18 Oct 26 H Groups         
19 Oct 31 T Polya Counting         
20 Nov 02 H Polya Counting II         
21 Nov 07 T Feedback Shift Registers         
22 Nov 09 H Finite Fields         
23 Nov 14 T Finite Fields II         
24 Nov 16 H Finite Fields III          
25 Nov 21 T Coding Theory         
26 Nov 28 T Boolean Functions         
27 Nov 30 H Boolean Algorithms          
28 Dec 05 T Boolean Algorithms II         
29 Dec 07 H Secrets of the Universe         


Staff

  • Instructor: Klaus Sutner

    sutner AT cs DOT cmu DOT edu

    Office hours: TBD

  • TA: Barry Li

    barryl AT andrew DOT cmu DOT edu

    Office hours: TBD

  • TA: Runtian

    runtianz AT andrew DOT cmu DOT edu

    Office hours: TBD