計算基礎論Ｅ Fundamentals of Computing Ｅ

文字サイズ小中大

担当教員: 尾形わかは

使用教室: 火3-4(S635) 金5-6(S125)

単位数: 講義：2 演習：1 実験：0

講義コード: 7209

シラバス更新日: 2008年4月1日

講義資料更新日: 2008年4月1日

学期: 前期 / 推奨学期：-

概要

講義概要

I　情報基礎学で学んだ基礎概念を基に，情報工学に関するより高度の概念や理論の基礎について講ずる。
II 再帰的関数，チューリング機械，λ算法，計算可能性の理論に関する初等的取り扱い。