CDM
Note that more information on many of the topics touched upon here
can be found in the Notes section.
It's probably a good idea to take a preemptive look.
| L | M | D | W | Topic | Slides | Notes | HW |
| 1 | Aug | 25 | T | CDM: The Idea | pdf 6up | Misc | |
| 2 | Aug | 27 | H | Register Machines | pdf 6up | Cmp | HW 1 sol |
| 3 | Sep | 1 | T | Computability and Decidability | pdf 6up | Cmp | |
| 4 | Sep | 3 | H | More Models of Computation | pdf 6up | Cmp | HW 2 sol |
| 5 | Sep | 8 | T | Iteration, Orbits, Fixed Points | pdf 6up | Cmp | |
| 6 | Sep | 10 | H | More Iteration | pdf 6up | Ind | HW 3 sol |
| 7 | Sep | 15 | T | Iteration and Computation | pdf 6up | Ind | |
| 8 | Sep | 17 | H | Finite State Machines | pdf 6up | FSM | |
| 9 | Sep | 22 | T | Gates Opening | FSM | ||
| 10 | Sep | 24 | H | Constructing Machines | pdf 6up | FSM | HW 4 sol |
| 11 | Sep | 29 | T | Regular Expressions and Algebra | pdf 6up | FSM | |
| 12 | Oct | 1 | H | Minimization | pdf 6up | FSM | HW 5 sol |
| 13 | Oct | 6 | T | Automata and Logic | pdf 6up | FSM | |
| 14 | Oct | 8 | H | Automata and Logic II | CA | ||
| 15 | Oct | 13 | T | Midterm (in house) | sol | ||
| 16 | Oct | 15 | H | Infinite Words | pdf 6up | Comb | HW 6 sol |
| 17 | Oct | 20 | T | Infinite Words II | Comb | ||
| 18 | Oct | 22 | H | No Class | Alg | ||
| 19 | Oct | 27 | T | Determinization | pdf 6up | Comb | HW 7 sol |
| 20 | Oct | 29 | H | Semigroups and Groups | pdf 6up | Comb | |
| 21 | Nov | 3 | T | Actions | pdf 6up | Comb | |
| 22 | Nov | 5 | H | Burnside and Polya | pdf 6up | Alg | HW 8 |
| 23 | Nov | 10 | T | Finite Fields | pdf 6up | Alg | |
| 24 | Nov | 13 | H | Finite Fields II | CA | HW 9 | |
| 25 | Nov | 17 | T | FF Applications | pdf 6up | Alg | |
| 26 | Nov | 19 | H | Feedback Shift Registers | pdf 6up | Log | HW 10 |
| 27 | Nov | 24 | T | Feedback Shift Registers II | Log | ||
| 28 | Dec | 1 | T | Cellular Automata | Log | ||
| 29 | Dec | 3 | H | Computation and Physics | Log | ||
| 30 | Dec | - | - | Final |
The syllabus is globally stable but may change locally.
Staff
- Instructor: Klaus Sutner
sutner AT cs DOT cmu DOT edu
Office hours: Tuesday, 1:30 - 3:00.
- TA: Sam Tetruashvili
samt AT cmu DOT edu
Office hours: ???
