[ ホーム
| 講義 ]
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