32406 数理論理学
|
選 |
|
春学期 |
|
2 |
|
3〜4 |
|
佐々木 克巳 |
他の科目との関連 | |
他学科履修 | 可 |
副題 | |
講義内容 | 人間の数学的、論理的思考を形式的に扱うための理論を学ぶ。つまり、ここで数理的モデルの対象となるのは人間の思考である。情報数学Iで学習した古典論理はその基礎として位置づけられる。ここでは、古典論理をさらに別のいくつかの視点から考察することによりその理解を深める。 |
講義計画 | 命題論理 第1週〜第9週 述語論理 第10週〜第13週 |
評価方法 | 定期試験、授業中に行うレポートなどを評価の対象とする。 |
テキスト | 担当者がプリントを配布する。 【その他】講義資料、練習問題の略解等は以下のURLに載せる予定である。 http://www-p.seto.nanzan-u.ac.jp/〜sasaki/math-logic/ |
その他 |