| 学部・研究科Faculty/Graduate school | 理工学部Faculty of Science and Engineering |
| 添付ファイル名Attached documents | |
| 年度Year | 2023 |
| 授業コードClass code | H6847 |
| 旧授業コードPrevious Class code | |
| 旧科目名Previous Class title | |
| 開講時期Term | 秋学期授業/Fall |
| 曜日・時限Day/Period | 木2/Thu.2 |
| 科目種別Class Type | |
| キャンパスCampus | 小金井 |
| 教室名称Classroom name | 小西館‐W303 |
| 配当年次Grade | 1年 |
| 単位数Credit(s) | |
| 備考（履修条件等）Notes | |
| 他学部公開科目Open Program | |
| 他学部公開（履修条件等）Open Program (Notes) | |
| グローバル・オープン科目Global Open Program | |
| 成績優秀者の他学部科目履修制度対象Interdepartmental class taking system for Academic Achievers | |
| 成績優秀者の他学部科目履修（履修条件等）Interdepartmental class taking system for Academic Achievers (Notes) | |
| 実務経験のある教員による授業科目Class taught by instructors with practical experience | |
| SDGsCPSDGs CP | |
| アーバンデザインCPUrban Design CP | |
| ダイバーシティCPDiversity CP | |
| 未来教室CPLearning for the Future CP | |
| カーボンニュートラルCPCarbon Neutral CP | |
| 千代田コンソ単位互換提供（他大学向け）Chiyoda Campus Consortium | |
| カテゴリー＜理工学部＞Category | 経営システム工学科 学科専門科目 |
【Outline (in English)】
[Course outline]
This course introduces the basis of mathematics such as sets, propositions and logic, mappings, and relations.
[Learning objectives]
Learn how to conduct mathematical discussion.
[Learning activities outside of classroom]
Students are expected to review the topics learned in the class and solve the exercises.
[Grading criteria/policies]
The overall grade in the class will be decided based on the term-end examination (100%). The class contribution may be added.
【Default language used in class】
日本語 / Japanese
【授業の概要と目的（何を学ぶか） / Outline and objectives】
数学の基本的な概念である，集合，命題と論理，写像，関係の基礎について学ぶ．
【到達目標 / Goal】
数学の基礎事項を学修し，数学的な議論ができるようになる．
【この授業を履修することで学部等のディプロマポリシーに示されたどの能力を習得することができるか（該当授業科目と学位授与方針に明示された学習成果との関連） / Which item of the diploma policy will be obtained by taking this class?】
ディプロマポリシーのうち、「DP1」と「DP2」と「DP4」に関連
【授業で使用する言語 / Default language used in class】
日本語 / Japanese
【授業の進め方と方法 / Method(s)】
（学期の途中で変更になる場合には、別途提示します。 /If the Method(s) is changed, we will announce the details of any changes. ）
講義形式で行う．必要に応じて，質疑応答，問題演習，および演習問題の解説の時間を十分にとる．
【アクティブラーニング（グループディスカッション、ディベート等）の実施 / Active learning in class (Group discussion, Debate.etc.)】
あり / Yes
【フィールドワーク（学外での実習等）の実施 / Fieldwork in class】
なし / No
【授業計画 / Schedule】
授業形態 / methods of teaching：対面/face to face
※各回の授業形態は予定です。教員の指示に従ってください。
| 回 / No. | 各回の授業形態予定 / methods of teaching | テーマ / Theme | 内容 / Contents |
|---|---|---|---|
| 第1回 | 対面/face to face | イントロダクション | 本科目の概説 |
| 第2回 | 対面/face to face | 集合 | 集合に関する定義・表記・演算 |
| 第3回 | 対面/face to face | 命題 | 命題，真理値，論理演算子 |
| 第4回 | 対面/face to face | 述語と真理集合 | 集合と命題の関係 |
| 第5回 | 対面/face to face | 数学的論証 | 命題を証明する手順 |
| 第6回 | 対面/face to face | 写像 | 写像の定義と写像を用いた数学的議論 |
| 第7回 | 対面/face to face | これまでのまとめ | これまでの内容のまとめ |
| 第8回 | 対面/face to face | 2 項関係 | 2 項関係とその表現 |
| 第9回 | 対面/face to face | 順序関係 | 順序関係，順序に関する諸概念 |
| 第10回 | 対面/face to face | 同値関係 | 同値関係，同値類と商集合 |
| 第11回 | 対面/face to face | 有限集合 | 有限集合の要素数 |
| 第12回 | 対面/face to face | 無限集合 | 可算集合と不可算集合 |
| 第13回 | 対面/face to face | 発展 | 工学への応用 |
| 第14回 | 対面/face to face | まとめ | 全体のまとめ |
【授業時間外の学習（準備学習・復習・宿題等） / Work to be done outside of class (preparation, etc.)】
【本授業の準備・復習等の授業時間外学習は、4時間を標準とする】演習問題に取り組み，講義内容の理解を確実なものにする．
【テキスト（教科書） / Textbooks】
嘉田勝，論理と集合から始める数学の基礎，日本評論社．
【参考書 / References】
渡辺治，北野晃朗，木村泰紀，谷口雅治，数学の言葉と論理，朝倉書店．
中島匠一，集合・写像・論理，共立出版．
小倉久和，はじめての離散数学，近代科学社．
【成績評価の方法と基準 / Grading criteria】
定期試験の結果によって評価する (100%)．平常点を加味することがある．
【学生の意見等からの気づき / Changes following student comments】
講義と演習の時間をバランスよく配分することを心がける．
【その他の重要事項 / Others】
授業時間外の学習でわからないことがあったときは，ラーニングサポーターを訪ねて質問することを推奨します．