計算論理学   Logical Foundations of Computing

文字サイズ 

担当教員
鹿島 亮 
使用教室
火3-4(W832)  
単位数
講義:2  演習:0  実験:0
講義コード
75016
シラバス更新日
2008年4月1日
講義資料更新日
2008年4月1日
学期
前期

講義概要

計算科学の論理的側面に関する話題を選んで解説する。ラムダ計算,型理論,数理論理学など。

このページのトップへ