計算可能性理論  木曜2限

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



講義予定と講義資料(変更することがあります)
2017.10.05第1回 イントロダクション  
2017.10.12第2回 Turing機械  
2017.10.19(休講)    
2017.10.26第3回 Turing機械(つづき), Turing機械の高レベルな記述  
2017.11.02第4回 Turing機械の変種(1)  
2017.11.09第5回 Turing機械の変種(2)  
2017.11.16第6回 非決定性Turing機械, 列挙装置 文字列,言語,言語族
2017.11.30第7回 判定可能性  
2017.12.07第8回 正規言語に関連する判定可能言語  
2017.12.14(休講)    
2017.12.21第9回 判定不可能な言語(1) 可算・非可算
2018.01.11第10回 判定不可能な言語(2)  
2018.01.18第11回 POSTの対応問題  
2018.01.25第12回 計算不能な問題のツボ
2018.02.01第13回 まとめ