University of Tsukuba | Grad. Scho. Syst. and Info. Eng. | Dept. Comp. Sci. | List of Lectures
推論計算モデル特論
Instructor(s)
南出靖彦
E-Mail 南出靖彦: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
TOP