計算可能性理論  火曜3限

         担当: 竹田正幸(大学院システム情報科学研究院)



講義予定と講義資料(変更することがあります)
2018.10.02第1回 イントロダクション  
2018.10.16第2回 Turing機械  
2018.10.23第3回 Turing機械(つづき), Turing機械の高レベルな記述  
2018.10.30第4回 Turing機械の変種(1)  
2018.11.06第5回 Turing機械の変種(2)  
2018.11.13第6回 非決定性Turing機械, 列挙装置 文字列,言語,言語族
2018.11.20第7回 判定可能性  
2018.11.27第8回 正規言語に関連する判定可能言語  
2018.12.04第9回 判定不可能な言語(1)  
2018.12.11(休講)  
2018.12.18第10回 判定不可能な言語(2)  
2018.12.25(休講)
2019.01.08第11回 POSTの対応問題  
2019.01.22第12回 計算不能な問題のツボ
2019.01.29第13回 まとめ