[ ホーム | 講義 ]

2010年度後期・数理科学展望I

レポート

講義予定

シラバス
第1回 12月20日
Turing機械と計算可能性

第2回 12月27日
万能Turing機械・判定不能な問題

第3回 1月17日
ラムダ計算

第4回 1月24日
ラムダ計算のTuring完全性

第5回 1月31日
帰納的関数

最終更新2011.1.31