南山大学　シラバス検索用

指定	選	期間	秋学期
単位	２	年次	1・2
担当者	佐々木　克巳

講義題目
開講キャンパス	瀬戸キャンパス
授業概要	人間の思考を形式的に扱うための理論とその限界を学ぶ。古典命題論理におけるシンクタンクとセマンティクスからはじめて、健全性と完全性を証明する。その後、古典述語論理、様相論理など、より豊かな表現力のある論理へと発展させていく。また、計算機による定理の自動証明、人工知能やプログラムの検証理論の分野で応用される論理体系についてもふれる。
学修目標	１．古典命題論理、古典述語論理のシークエントによる形式体系を理解している。２．古典命題論理、古典述語論理の健全性と完全性の意味を知っている。３．古典述語論理の論理式の意味を理解している。４．計算機による定理の自動証明などの分野で応用される論理体系を知っている。
授業計画	第１週〜第３週　古典命題論理のシンタクスとセマンティクス第４週〜第６週　古典命題論理の健全性と完全性第７週〜第８週　古典述語論理の論理式第９週〜第12週　古典述語論理のシンタクスとセマンティクス第13週〜第15週　その他の論理体系
評価方法	出席、レポート等を総合的に評価する。
テキスト	以下を用いるが、購入の必要はない。「情報科学における論理」小野寛晰著　日本評論社
その他