授業の目的 【日本語】
Goals of the Course(JPN) | | 計算機科学のさまざまな分野の基礎となる数学として，離散的対象の表現や離散的対象の性質，離散的対象の間に存在する関係に関する基礎概念・基礎知識を学ぶ。
また，概念を客観的かつ論理的に表現・論証するための手法・技術として，分かりやすい表現や数学のための日本語表現の能力や，定義・定理・証明・系・補題など数学における論理展開の仕組みを修得する。
特に，集合演算，直積と関係，順序集合と束，関数，濃度と対角線論法など集合論について学ぶ。なお，演習を通じて理解をより深める。 |
|
|
授業の目的 【英語】
Goals of the Course | | | Fundamental concepts and knowledge on the representation of discrete objects, their properties and relationship among discrete objects are given as the mathematical basis for computer science. Students are expected to obtain the abilities of clear representation as well as mathematical representation in Japanese language as the methods or techniques for representing and arguing concepts in a rigorous and logical way. They will learn a typical way of structural inference in mathematics based on definition, theorem, proof, corollary and lemma. Basic set theory including set operations, Cartesian product, relation, ordered set, lattice, function, density and diagonal method will be learned. Students will learn these contents more deeply through exercises. |
|
|
到達目標 【日本語】
Objectives of the Course(JPN) | | 計算機科学のさまざまな分野の基礎となる数学として，離散的対象の表現や離散的対象の性質，離散的対象の間に存在する関係に関する基礎概念・基礎知識を学ぶ。
また，概念を客観的かつ論理的に表現・論証するための手法・技術を修得する。 |
|
|
到達目標 【英語】
Objectives of the Course | | |
|
授業の内容や構成
Course Content / Plan | | 集合演算，直積と関係，順序集合と束，関数，濃度と対角線論法など集合論について学ぶ。
また，分かりやすい表現や数学のための日本語表現の能力や，定義・定理・証明・系・補題など数学における論理展開の仕組みを修得する。講義のほかに演習を通じて理解をより深める。
1. ガイダンス
2. 集合と集合演算
3. 直積と関係
4. 同値関係と同値分割
5. 半順序
6. 束
7. 関数
8. 濃度と対角線論法
9. 総括 | |
|
|
履修条件・関連する科目
Course Prerequisites and Related Courses | | |
|
成績評価の方法と基準
Course Evaluation Method and Criteria | | | 演習及び小テストの評価40％，期末試験60％，合計100点満点で60点以上を合格とする。 | |
|
|
教科書・参考書
Textbook/Reference book | | |
|
課外学習等（授業時間外学習の指示）
Study Load(Self-directed Learning Outside Course Hours) | | | 講義及び演習の内容を理解し，補完するために課題を与える。 | |
|
|
授業開講形態等
Lecture format, etc. | | |
|
遠隔授業（オンデマンド型）で行う場合の追加措置
Additional measures for remote class (on-demand class) | | |
|