学部・大学院区分
Undergraduate / Graduate

情報学部

時間割コード
Registration Code

1001190

科目区分
Course Category

専門科目(自然情報)
関連専門科目(人社，CS)

科目名　【日本語】
Course Title

数理情報学１５

科目名　【英語】
Course Title

Mathematical Informatics 15

コースナンバリングコード
Course Numbering Code

SIS-11-3021-J

担当教員　【日本語】
Instructor

吉信康夫 ○

担当教員　【英語】
Instructor

YOSHINOBU Yasuo ○

単位数
Credits

開講期・開講時間帯
Term / Day / Period

秋１期金曜日３時限
Fall1 Fri 3

対象学年
Year

３年
3

授業形態
Course style

講義
Lecture

開講系（学部）・開講専攻（大学院）
Subject

自然・数理情報

必修・選択
Required / Selected

選択

授業の目的　【日本語】
Goals of the Course(JPN)

数理情報学１５では数理情報学においても最も基本的な概念の１つである集合について学習する。この講義では集合の基本的な性質を学ぶ．そして集合を基に「写像」「同値関係」「順序」などの概念について学習する。
集合論は論理学と密接な関係があり，この講義では論理学１と論理学2で学習したことが使われる。

授業の目的　【英語】
Goals of the Course

This is an introductory course in naïve set theory.
Based upon set theory, we study mathematical objects such as relations, functions, equivalence relations, and ordered sets.

到達目標　【日本語】
Objectives of the Course(JPN)

授業終了時に受講生は，集合論に基づき「写像」「同値関係」「順序」等の基本的概念を
理解し，それらを正しく使って数学的議論を展開出来るようになる。

到達目標　【英語】
Objectives of the Course

授業の内容や構成
Course Content / Plan

・集合に関する基本的概念
・べき集合，直積集合
・写像
・同値関係
・順序

履修条件・関連する科目
Course Prerequisites and Related Courses

履修条件は論理学2a,2b,2cのいずれかが履修済みであること。

成績評価の方法と基準
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)