[ ホーム
| 講義 ]
2020年後期・数学展望II
講義予定
- シラバス
- 第1回は対面で行う (多元509号室)
- 第2回も対面で行うが、講義を録画し、NUCTで公開する予定
- 第1回10月 8日
- Turing機械と計算可能性
- 第2回 10月15日
- Turing機械の形式化
- 第3回 10月22日
- 万能Turing機械
- 第4回 10月29日
- 判定不能な問題
- 第5回 11月5日
- ラムダ計算
- 第6回 11月12日
- ラムダ計算の応用
- 第7回 11月19日
- ラムダ計算のTuring完全性
- 第8回 11月26日
- コンビネータ論理
- 第9回 12月3日
- 帰納的関数
- 第10回 12月10日
- 帰納的関数
- 第11回 12月17日
- 型付きラムダ計算
T.A.
五味永行 gomi.nagayuki at g.mbox.nagoya-u.ac.jp
最終更新2020.12.17