計算モデルの数理
時間: 2008 年夏学期 月曜日午前
8:30 -- 10:00
場所: 工学部 6 号館 2 階 61 講義室
担当教員
講義内容
「計算」に関わる数理の代表的な理論をとりあげ、数理工学と計算機科学の接点を探る.
- ラムダ計算 (Lambda Calculus)
- Scott理論 (Scott Theory)
- 言語理論 (Language Theory)
- Hoare論理 (Hoare Logic)
講義ノート
関連情報
Maintained by Zhenjiang Hu (hu@mist.t.u-tokyo.ac.jp). Last modified
on April, 2008.