|
推論計算モデル特論
|
|
| 担当教員 |
南出靖彦
|
| 電子メール | 南出靖彦:minamide@cs.tsukuba.ac.jp |
| URL | |
| オフィスアワー | SB1025 火5限 |
| 科目番号 | 01CH203 |
| 分野 | 知能ソフトウェア |
| 授業形態 | 講義と演習 |
| 学期 | 春AB |
| 時限 | 木1,2 |
| 教室 | 3B302 |
| 授業概要 | プログラミング言語や論理体系を推論計算の側面からとらえ、それらの意 味を与える計算論的モデルについて論じる。 |
| キーワード | 計算モデル, オートマトン、自動推論，検証 |
| Keyword | computation models, automated reasoning, verification |
| 予備知識 | 情報学類の講義科目「オートマトンと形式言語」、「計 算モデル論」、を履修しているか、対応する内容を自習 しておくこと。 |
| 授業内容 | 基本的な計算モデルであるオートマトン，プッシュダウンオートマトン， チューリング機械，ラムダ計算等について復習した後，これらの計算モデ ルに関するアドバンストな話題を講義し，また，ソフトウェア検証等への 応用について論じる。 |
| 教科書 | 講義の際に資料を配布する。 |
| 参考書 | 講義の際に紹介する。 |
| 成績評価 | 試験，レポート，授業の出席状況により総合的に評価する。 |
| TF・TA | |