学部・大学院区分
Undergraduate / Graduate		情報学部
時間割コード
Registration Code		1000095
科目区分
Course Category
専門科目
科目名　【日本語】
Course Title		離散数学及び演習
科目名　【英語】
Course Title		Discrete Mathematics
コースナンバリングコード
Course Numbering Code		SIS-01-2005-J,SIS-13-3038-J
担当教員　【日本語】
Instructor		外山 勝彦 ○
担当教員　【英語】
Instructor		TOYAMA Katsuhiko ○
単位数
Credits		2
開講期・開講時間帯
Term / Day / Period		春１期 月曜日 ３時限
春１期 月曜日 ４時限
Spring1 Mon 3
Spring1 Mon 4
対象学年
Year		２年
2
授業形態
Course style		講義及び演習
開講系（学部）・開講専攻（大学院）
Subject
CS
必修・選択
Required / Selected
必修


授業の目的　【日本語】
Goals of the Course(JPN)
計算機科学のさまざまな分野の基礎となる数学として，離散的対象の表現や離散的対象の性質，離散的対象の間に存在する関係に関する基礎概念・基礎知識を学ぶ．
また，概念を客観的かつ論理的に表現・論証するための手法・技術として，分かりやすい表現や数学のための日本語表現の能力や，定義・定理・証明・系・補題など数学における論理展開の仕組みを修得する．
特に，集合演算，直積と関係，商集合，順序集合と束，関数，濃度と対角線論法など集合論について学ぶ．なお，演習を通じて理解をより深める．
授業の目的　【英語】
Goals of the Course
As basic mathematics in various fields of computer science, students study basic concepts and knowledge about the expression, the properties of discrete objects, and the relationships that exist between them.
In addition, as methods and techniques for logically expressing concepts, students acquire the skill of Japanese writing for easy-to-understand expressions and mathematical expressions, and study the logical system in mathematics such as definitions, theorems, proofs, corollaries, and lemmas.
This course will be taught in Japanese.
In particular, students study set theory including following topics: set operations, direct products and relations, quotient sets, ordered sets and lattices, functions, cardinality and diagonal argument. They deepen understanding through exercises.
到達目標　【日本語】
Objectives of the Course(JPN)
計算機科学のさまざまな分野の基礎となる数学として，離散的対象の表現や離散的対象の性質，離散的対象の間に存在する関係に関する基礎概念・基礎知識を学ぶ．
また，概念を客観的かつ論理的に表現・論証するための手法・技術を修得する．
到達目標　【英語】
Objectives of the Course
授業の内容や構成
Course Content / Plan
集合演算，直積と関係，順序集合と束，関数，濃度と対角線論法など集合論について学ぶ．
また，分かりやすい表現や数学のための日本語表現の能力や，定義・定理・証明・系・補題など数学における論理展開の仕組みを修得する．講義のほかに演習を通じて理解をより深める．

1. ガイダンス
2. 集合と集合演算
3. 直積と関係
4. 同値関係と商集合
5. 半順序
6. 束
7. 関数
8. 濃度と対角線論法
9. 総括
1. Guidance
2. Set and Set Operation
3. Cartesian Product and Relation
4. Equivalence Relation and Quotient Set
5. Partial Order
6. Lattice
7. Function
8. Cardinality and Diagonal Argument
9. Summary
履修条件・関連する科目
Course Prerequisites and Related Courses
前提とする履修条件はない．自然情報学科学生の受講は認めない．
成績評価の方法と基準
Course Evaluation Method and Criteria
期末試験60％，小テスト・課題レポートの評価40％で評価する．合計100点満点で60点以上を合格とする．．．
教科書・参考書
Textbook/Reference book
講義資料を毎回配布する（TACTに掲載する）．演習問題の解答例もTACTに事後掲載する．参考書は第1回で紹介する．
課外学習等（授業時間外学習の指示）
Study Load(Self-directed Learning Outside Course Hours)
講義の内容を理解し，補完するために，演習課題（課題レポートを含む）を与える．
授業開講形態等
Lecture format, etc.
対面授業として開講する．
遠隔授業（オンデマンド型）で行う場合の追加措置
Additional measures for remote class (on-demand class)