[
ホーム
|
講義
]
2010年度後期・数理科学展望I
レポート
講義で課題を3回以上出した人は免除 (12月27日を除く)
2月8日までにプリント中の練習問題3問に答える事
講義予定
シラバス
第1回 12月20日
Turing機械と計算可能性
講義メモ
第2回 12月27日
万能Turing機械・判定不能な問題
第3回 1月17日
ラムダ計算
講義メモ
第4回 1月24日
ラムダ計算のTuring完全性
第5回 1月31日
帰納的関数
講義メモ
最終更新2011.1.31