【授業の方針】
プログラミング言語の基礎を成す各種計算モデルの概要を、演習を行いながら学習する。

【授業の概要】
プログラミングの基礎となる論理体型（計算モデル）とその定量的扱いについて理解させることを目的として、(1)状態遷移型計算モデル、(2)関数・リダクション型計算モデル、(3)論理型計算モデルについて論じ、それらに対応するプログラミング言語を概説する。

【授業の計画】

第１回 ガイダンス(10/5)
第２回 集合（１）(10/10)
第３回 集合（２）(10/12)
第４回 集合（３）(10/17)
第５〜６回 有限状態機械（１）（２）(10/19,24)
第７〜９回 チューリング機械（１）〜（３）(10/26)
第１０〜１１回 アルゴリズムと計算量（１）（２）
第１２回 関数モデル（１）ラムダ関数
第１３回 関数モデル（２）
第１４回 関数モデル（３）
第１５回 関数モデル（４）
第１６回 関数モデル（５）
第１７回 関数モデル（６）
第１８回 演習
第１９回 関数モデル（７）
第２０回 関数モデル（８）（９）論理型計算モデル
第２２回 関数モデル（１０）（１１）導出原理

←授業選択画面に戻る
←鈴木研究室ホームへ