数理論理学第1回.pptVIP

* * * * * * * 数理論理学　第1回 茨城大学工学部情報工学科 佐々木　稔 講義の概要 証明、論理展開 自然言語文を記号を用いて形式的に表現 記号操作による推論 学習目標 命題論理による推論、証明方法の理解と実践 1階述語論理による推論、証明方法の理解と実践 教科書、参考書 「情報の論理数学入門」 小倉久和、高濱徹行　著 近代科学社 2,700円+税 「情報科学における論理? 小野寛晰　著 日本評論社 3,300円+税 講義予定 第1回　命題 第2回　論理式 第3回　命題論理式の解釈 第4回　命題論理と公理系 第5回　命題論理と推論 第6回　三段論法と背理法 第7回　中間試験 第8回　述語論理とは 第9回述語、変数、量記号 第10回述語論理の論理式 第11回　述語論理の解釈 第12回　冠頭標準形 第13回　スコーレム関数とスコーレム標準形 第14回　導出と推論 第15回　エルブラン定理と導出原理 講義資料 講義資料の配布はしません 講義資料のダウンロードは可能 http://sas.cis.ibaraki.ac.jp/logic/ 次回の講義資料 前の週の金曜日ごろにアップロード予定 評価方法 以下の項目を総合的に評価 出席（毎時間出す確認問題） 中間試験 期末試験 小テスト レポート 中間試験と期末試験の比率 中間：期末＝４：６（変化する