| 2019.10.02 | 休講 | ||
| 2019.10.09 | 第１回 | イントロダクション | |
| 2019.10.23 | 第２回 | Turing機械 | (10/16は月曜授業) |
| 2019.10.30 | 休講 | ||
| 2019.11.06 | 第３回 | Turing機械（つづき）, Turing機械の高レベルな記述 | |
| 2019.11.13 | 第４回 | Turing機械の変種(1) | 動作例 |
| 2019.11.20 | 第５回 | Turing機械の変種(2) | |
| 2019.11.27 | 第６回 | 非決定性Turing機械, 列挙装置 | 文字列，言語，言語族 |
| 2019.12.04 | 第７回 | 判定可能性 | |
| 2019.12.11 | 第８回 | 正規言語に関連する判定可能言語 | |
| 2019.12.18 | 第９回 | 判定不可能な言語(1) | |
| 2019.12.25 | 休講 | ||
| 2020.01.08 | 第10回 | 判定不可能な言語(2) | |
| 2020.01.22 | 第11回 | POSTの対応問題, 計算不能な問題のツボ | (1/15は金曜授業) |
| 2020.01.29 | まとめ |