講義概要/Course description
|
経営システム工学科では,データ分析技術・モデル化技術・最適化技術を体系的に学習する.本科目では,集合,関係,関数,再帰・帰納,数え上げ,確率,命題論理,述語論理,証明など,今後最適化技術を学習する上での基礎となる事項を学習する.また,関連分野の中から最先端のトピックを取り上げることにより,今後の学習の指針を与える.
|
達成目標/Course objectives
|
エンジニアは,論理的・数理的な思考を駆使することにより,多様かつ複雑な問題に対して的確にアプローチすることが求められている.本科目では,最適化技術の根幹をなす事柄を学習することにより,今後論理的・数理的な思考法を習得する上での基礎を涵養する.
|
学部・研究科のディプロマポリシー(卒業認定・学位授与の方針)に基づき、当該科目を履修することで身につく能力 / Abilities to be acquired by completing the course in accordance with the faculty and graduate school diploma policy (graduation certification and degree conferral)
|
学部・研究科のディプロマポリシー(卒業認定・学位授与の方針)/ Undergraduate and Graduate Diploma Policy (Graduation Certification and Degree Conferral)
|
授業計画/Lecture plan
|
1
|
授業計画/Class |
Collecting Things Together: Sets【オンライン授業(オンデマンド型)での実施】 |
|
2
|
授業計画/Class |
Collecting Things Together: Sets & Comparing Things: Relations |
|
3
|
授業計画/Class |
Comparing Things: Relations |
|
4
|
授業計画/Class |
Associating One Item with Another: Functions |
|
5
|
授業計画/Class |
Midterm Examination 1 |
|
6
|
授業計画/Class |
Recycling Outputs as Inputs: Induction and Recursion |
|
7
|
授業計画/Class |
Recycling Outputs as Inputs: Induction and Recursion & Counting Things: Combinatorics |
|
8
|
授業計画/Class |
Counting Things: Combinatorics |
|
9
|
授業計画/Class |
Weighting of Odds: Probability |
|
10
|
授業計画/Class |
Midterm Examination 2 |
|
11
|
授業計画/Class |
Yea and Nay: Propositional Logic |
|
12
|
授業計画/Class |
Yea and Nay: Propositional Logic & Something About Everything: Quantificational Logic |
|
13
|
授業計画/Class |
Something About Everything: Quantificational Logic |
|
14
|
授業計画/Class |
Just Supposing: Proof and Consequence |
|
15
|
授業計画/Class |
Final Examination |
|
|
事前学習/Preparation |
該当回に対応する教科書の内容を読み,わからない点をまとめる. |
事後学習/Reviewing |
該当回の内容で,理解が不十分な点はわかるまで復習する. |
|
|
授業方法/Method of instruction
|
区分/Type of Class |
対面授業 / Classes in-person
|
実施形態/Class Method |
通常型 / regular
補足事項/Supplementary notes本講義は対面授業(通常型)で実施します. Lectures will be given in Japanese, and course materials will be written in English.
|
活用される授業方法/Teaching methods used |
|
|
成績評価方法/Evaluation
|
1 |
試験 Exam
|
100%
|
30% for Midterm Examination 1, 30% for Midterm Examination 2, and 40% for Final Examination. Evaluation not less than 60% is the requirement for the completion of this course.
|
|
教科書/Textbooks
|
| 著者名 Author | タイトル Title | 出版社 Publisher | 出版年 Published year | ISBN | コメント Comments |
1 |
David Makinson
|
Sets, Logic and Maths for Computing, Second edition
|
Springer-Verlag, London
|
2012
|
9781447124993
|
本学図書館のデータベースより Springer Link にアクセスすることでダウンロード可能:https://link.springer.com/book/10.1007/978-1-4471-2500-6
|
|
参考書/Reference books
|
| コメント Comments | |
1 |
適宜参考書を授業で紹介する.
|
|
|
その他/Others
|
第1回~第5回は小林先生が担当,第6回~第10回は水山先生が担当,第11回~第15回は宋先生が担当.
|