情報数学基礎演習

前期 金曜日 ２講時. 単位数/Credit(s): 2. 対象学科・専攻/Departments: 情報基礎科学専攻、システム情報科学専攻. 学期/Term: 前期. 履修年度: 2024. 使用言語: 日本語.

開講年度

2024

授業題目/Class Subject

情報数学基礎演習/Mathematics for Information Sciences

授業の目的・概要及び達成方法等

数理的思考のための言葉と記号，情報数学の基礎として求められる集合，論理，命題，写像，濃度，同値関係，順序関係，および，整数の諸性質と合同式，剰余類，群環体などの代数系，グラフを演習形式で学び，情報数学の論理的基礎と概念の習熟を目指す.

授業の目的・概要及び達成方法等(Ｅ）

We will learn fundamental mathematical tools for Information Sciences like as sets, mathematical logic, mappings,
mathematical relations, properties of integers, congruent equations, algebraic structures and graphs through exercises.

学修の到達目標/Goal of Study

数理的思考のための言葉と記号，情報数理の基礎として求められる
集合，論理，命題，写像，濃度，同値関係，順序関係，および，
整数の諸性質と合同式，剰余類，代数系，グラフの基本事項を理解し，
計算等ができるようにする．
/
This course is aimed at understanding fundamental mathematical tools for
Information Sciences such as sets, mathematical logic, mappings,
mathematical relations, properties of integers, congruent equations,
algebraic structures and graphs,
and learning methods for calculation through exercises.

授業内容・方法と進度予定/Contents and progress schedule of the class

授業にはGoogleClassroomを利用（クラスコード：x3rhp6l）

初回はGoogle Meetによるリアルタイムオンラインで実施（Meet URLはGoogle Classroom上で通知）
初回の授業でその後の実施方法などを述べる．なお，期末テストは対面での実施を予定．

1.集合
2.命題と論理
3.写像(1)
4.写像(2)
5.関係(1)
6.関係(2)
7.整数の性質(1)
8.整数の性質(2)
9.整数の性質(3)
10.合同式(1)
11.合同式(2)
12.代数系
13.グラフ
14.補足
15.まとめと期末テスト
/
1. Sets
2. Mathematical logic
3. Mappings (1)
4. Mappings (2)
5. Mathematical relations (1)
6. Mathematical relations (2)
7. Properties of integers (1)
8. Properties of integers (2)
9. Properties of integers (3)
10. Congruent equations (1)
11. Congruent equations (2)
12. Algebraic structures
13. Graphs
14. Appendices
15. Summary and Final examination

成績評価方法/Evaluation Method

レポート，小テストおよび期末テストにより評価する.
/
Reports, exercises and a final exam.

教科書および参考書/Textbook and references

• 情報数理の基礎と応用, 尾畑伸明, サイエンス社 (2008) ISBN/ISSN: 9784781912103 資料種別:参考書
• 理工基礎代数系, 佐藤篤・田谷久雄, サイエンス社 (2018) ISBN/ISSN: 9784781914206 資料種別:参考書

授業時間外学修

予習：次週の予定を参考に，参考書の該当する箇所に目を通す．
復習：講義中で与えらえた演習問題を講義終了後次回までに解く．

授業時間外学修（Ｅ）

Preparation: Students are required to look over the reference booksfor the next class.
Review: Students are required to solve problems given in the class.

オフィスアワー

講義終了にお尋ねください。随時調整します。

オフィスアワー（Ｅ）

Please make an appointment at the end of a lecture.

その他/In addition

教科書は参考書を併用しながら実施する．詳しくは初回の授業で述べる。