I413: 理論計算機科学

I413: 理論計算機科学

廣川 直
Term: 
2014 Term 1-2
Place: 
東京サテライト

理論計算機科学は、計算機科学全般に対する数学的基礎を与える分野である。その領域は非常に広範囲にわたるが、本講義では特にラムダ計算と組合せ子論理を 取り上げる。これらは計算やプログラムを数学的に表現し性質を解析するための体系であり、現代のプログラミング言語、定理証明システムをはじめとして様々 な分野において用いられている。本講義はこれらを題材に、理論計算機科学における基本的な数学的手法や思考方法の修得を目指す。

Contact
廣川 直