南山大学　シラバス検索用

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