[ ホーム
| 講義 ]
2023年秋学期期・数学展望II
講義予定
- 第1回10月 4日
- Turing機械と計算可能性
- 第2回 10月10日
- Turing機械の形式化
- 第3回 10月18日
- 万能Turing機械
- 第4回 10月25日
- 判定不能な問題
- 第5回 11月1日
- ラムダ計算
- 第6回 11月8日
- ラムダ計算の応用
- 第7回 11月15日
- ラムダ計算のTuring完全性
- 第8回 11月22日
- コンビネータ論理
- 第9回 12月6日
- 帰納的関数
- 第10回 12月13日
- 帰納的関数
- 第11回 12月20日
- 型付きラムダ計算
- 第12回 12月27日
- 命題論理
- 第13回 1月17日
- 述語論理と依存型
- 第14回 1月24日
- 依存型
T.A.
志村 将也 shimura.masanari.s4 at s.mail.nagoya-u.ac.jp
最終更新2024.3.11