授業の主題
|
|
情報科学の中心分野である人工知能は演繹的推論と帰納的推論に分類され、離散数学などが基礎となる。
本講義では、情報科学の基礎となる離散数学を講義する。
|
|
|
学修目標(到達目標)
|
|
情報科学で重要な以下の基本を講義する。
情報科学の事象を数学的に論じる能力を獲得する。
1.論理
2.述語
3.集合
4.関数
5.数え上げ
6.確率
7.数学的帰納法と再帰的定義
8.関係
9.同値関係
10.順序
|
|
|
|
|
授業概要
|
|
1.論理と述語 1回
2.集合と関数 1回
3.数え上げ 1回
4.確率 1回
5.数学的帰納法と再帰的定義 1回
6.関係 1回
7.同値関係 1回
8.順序と期末試験 1回
|
|
|
評価方法と割合
|
評価方法
|
|
次項の項目及び割合で総合評価し、次のとおり判定する。
「S(達成度90%~100%)」、「A(同80%~90%未満)」、
「B(同70%~80%未満)」、「C(同60%~70%未満)」を合格とし、
「不可(同60%未満)」を不合格とする。(標準評価方法)
|
|
|
評価の割合
|
|
学期末試験とレポート/Final exam 100%
レポート提出しない学生は受験資格がありません。
毎週レポートを課す。
|
|
|
|
授業時間外の学修に関する指示
|
予習に関する指示
|
|
★1. On-demand materials (entire class content)
事前にオンデマンドの講義資料を理解すること
|
|
|
復習に関する指示
|
|
★1. On-demand materials (entire class content)
講義したオンデマンドの講義資料を理解すること
参考書の問題を解いて復習すること
毎週、講義の復習レポートを課す。
他人のレポートを写すなどの行為は著作権侵害となり、処罰します。
レポート提出しないものは期末試験の受験資格はありません。
|
|
|
教科書・参考書
|
教科書
|
|
|
486481032X
|
西野 哲朗 (著), 若月 光夫 (著)
|
数理工学社
|
|
|
|
|
参考書
|
|
Mathematical Logic for Computer Science
|
|
Mordechai Ben-Ari
|
springer
|
|
|
|
|
教科書・参考書補足
|
|
教科書
守屋悦朗 :使いこなそうやさしい離散数学
参考書は以下です.各人で自習してください。
情報工学のための離散数学入門 (グラフィック情報工学ライブラリ=GIE)
西野 哲朗 (著), 若月 光夫 (著)
数理工学社
|
|
|
オフィスアワー等(学生からの質問への対応方法等)
|
|
None. Make an appointment by e-mail.
|
|
|
履修条件
|
|
None
|
|
|
|
|
その他履修上の注意事項や学習上の助言
|
|
-Prepare for the next course by reading the corresponding portions in the text.
-Review the course using the text and other materials.
|
|
|
|
カリキュラムの中の位置づけ
|
|
微積分、線形代数などの数学の基本を理解しており、情報科学の基礎を講義する。
|
|
|
特記事項
|
|
講義で関連する内容に関して、以下の書籍の1章から3章の例題と演習で自習すること。
情報工学のための離散数学入門 (グラフィック情報工学ライブラリ=GIE)
西野 哲朗 (著), 若月 光夫 (著)
数理工学社
|
|
|
教材ファイル
|
|
|
|