推論計算モデル特論
|
|
Instructor(s) |
南出靖彦
|
南出靖彦:minamide@cs.tsukuba.ac.jp | |
URL | |
Office hours | SB1025 火5限 |
Cource# | 01CH203, 01CJ215 |
Area | 知能ソフトウェア |
Course style | 講義と演習 |
Term | |
Period | |
Room# | |
Outline | プログラミング言語や論理体系を推論計算の側面からとらえ、それらの意 味を与える計算論的モデルについて論じる。 |
Keywords | computation models, automated reasoning, verification |
Prerequisites | 情報学類の講義科目「オートマトンと形式言語」、「計 算モデル論」、を履修しているか、対応する内容を自習 しておくこと。 |
Course plan | 基本的な計算モデルであるオートマトン,プッシュダウンオートマトン, チューリング機械,ラムダ計算等について復習した後,これらの計算モデ ルに関するアドバンストな話題を講義し,また,ソフトウェア検証等への 応用について論じる。 |
Textbook | 講義の際に資料を配布する。 |
References | 講義の際に紹介する。 |
Evaluation | 試験,レポート,授業の出席状況により総合的に評価する。 |
TF / TA |