|
授業科目名
|
担当教官
|
|||||
|
記号論理特論
(本年度非開講) |
岩沼 宏治
|
|||||
|
時間割番号
|
単位数
|
コース
|
履修年次
|
期別
|
曜日
|
時限
|
| 414430 | 2 | (未登録) | 1･2 | (未登録) | (未登録) | (未登録) |
| ［概要と目標］ | ||||||
| 記号論理学に関する進んだ話題、特に自動推論について講義を行う。具体的には、命題時様論理のハードウエアの形式的検証問題への応用、また近年格段の進歩を遂げたモデルチェッキングアルゴリズムの実際、また一階述語論理と、1990年代に大きな進歩を遂げた定理自動証明システムと、そこで用いられている実際的技術などを、工学の観点から講義を行う。 | ||||||
| ［必要知識・準備］ | ||||||
| (未登録) | ||||||
| ［評価基準］ | ||||||
| (未登録) | ||||||
| ［教科書］ | ||||||
|
|
||||||
| ［参考書］ | ||||||
|
|
||||||
| ［講義項目］ | ||||||
| (未登録) | ||||||