[ ホーム | 講義 ]

2011年度前期・全学教養科目・現代数学への流れ

レポート

講義予定

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

第2回 4月25日
Turing機械の形式化

第3回 5月2日
万能Turing機械

第4回 5月9日
判定不能な問題

第5回 5月16日
ラムダ計算
第6回 5月23日
ラムダ計算の応用

第7回 6月6日
ラムダ計算のTuring完全性

第8回 6月20日
帰納的関数 1

第9回 6月25日 10:30〜12:00 S12
帰納的関数 2

第10回 6月27日
型付きラムダ計算

第11回 7月4日
型付きラムダ計算

第12回 7月11日
命題論理

第13回 7月18日
述語論理と依存型

最終更新2011.8.22