授業の主題
|
|
|
|
人工知能は演繹的推論と帰納的推論に分類される。最近注目されているのはデータ科学は帰納的推論である。本講義では、ソフトウェア科学で重要な演繹的推論を講義する。
|
| |
|
|
学修目標（到達目標）
|
|
|
ソフトウェア科学で重要な以下の論理学を講義する。
受講生は定理証明を行う能力を獲得する。
１．命題論理の構文、意味、証明
２．一階述語論理の演繹的体系
３．エルブランの定理
４．導出原理
５．ソフトウェア科学への応用と期末試験
|
| |
|
|
|
|
|
|
授業概要
|
|
|
１．命題論理の構文、意味、証明（２回）
２．一階述語論理の演繹的体系（２回）
２．エルブランの定理（１回）
３．導出原理（１回）
４．ソフトウェア科学への応用（１．５回）
６．期末試験（０．５回）
|
| |
|
|
評価方法と割合
|
|
評価方法
|
|
|
次項の項目及び割合で総合評価し、次のとおり判定する。
「Ｓ（達成度90％～100％）」、「Ａ（同80％～90％未満）」、
「Ｂ（同70％～80％未満）」、「Ｃ（同60％～70％未満）」を合格とし、
「不可（同60％未満）」を不合格とする。（標準評価方法）
|
| |
|
|
評価の割合
|
|
|
学期末試験とレポート/Final exam 100%
レポート提出しない学生は受験資格がありません。
毎週レポートを課す。
|
| |
|
|
|
|
授業時間外の学修に関する指示
|
|
予習に関する指示
|
|
|
★1．オンデマンド教材（授業内容の全体）
LMSの資料を用いて予習すること。
|
| |
|
|
復習に関する指示
|
|
|
★1．オンデマンド教材（授業内容の全体）
LMSの資料を用いて復習すること。
|
| |
|
|
教科書・参考書
|
|
教科書
|
|
|
|
論理と計算のしくみ (岩波オンデマンドブックス)
|
|
|
萩谷 昌己 (著), 西崎 真也 (著)
|
|
岩波書店
|
|
|
|
岩波講座 ソフトウェア科学〈〔理論〕11〉ソフトウェア科学のための論理学
|
|
|
萩谷 昌己 (著)
|
|
岩波書店
|
|
|
|
|
|
参考書
|
|
|
|
ebook Mathematical Logic for Computer Science: Third Edition
|
|
|
Mordechai Ben-Ari
|
|
Springer
|
|
|
|
|
|
教科書・参考書補足
|
|
|
教科書は以下です。
教科書購入は必須ではありませんが、教科書があると理解が深まります。
以下は購入できます。
論理と計算のしくみ (岩波オンデマンドブックス) オンデマンド
萩谷 昌己 (著), 西崎 真也 (著)
以下は絶版で、古本のみ購入可能
岩波講座 ソフトウェア科学〈〔理論〕11〉ソフトウェア科学のための論理学
萩谷 昌己 (著)
英語の無料の参考書は以下にあります
https://archive.org/details/MathematicalLogicForComputerScience3thEdition/page/n37/mode/2up
|
| |
|
|
オフィスアワー等（学生からの質問への対応方法等）
|
|
|
来室は，月曜日17時40分以降。
None. Make an appointment by e-mail.
|
| |
|
|
履修条件
|
|
|
情報基礎Aを履修すること、または、離散数学と命題論理、形式言語とオートマトンなどを理解していること。
毎週レポート課す。
他人のレポートを写すなどの行為は著作権侵害となり、処罰します。
レポート提出しないものは期末試験の受験資格はありません。
|
| |
|
|
|
|
|
|
その他履修上の注意事項や学習上の助言
|
|
|
|
-関連する講義資料を事前に予習すること
|
| |
|
|
|
|
カリキュラムの中の位置づけ
|
|
|
|
この講義はソフトウェア科学や人工知能の基礎である
|
| |
|
|
特記事項
|
|
|
|
将来、コンピュータ科学の専門家を目指す学生向けです。
|
| |
|
|
教材ファイル
|
|
|
|
|
|