[ ホーム | 講義 ]

2020年後期・数学展望II

講義予定

第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