計算基礎論Ｏ Fundamentals of Computing Ｏ

文字サイズ小中大

担当教員: 村田剛志

使用教室: 火3-4(W935) 水3-4(S011)

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

講義コード: 7210

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

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

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

概要

講義概要

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