学部・大学院区分
Undergraduate / Graduate
情報学部
時間割コード
Registration Code
1001190
科目区分
Course Category
専門科目(自然情報)
関連専門科目(人社,CS)
科目名 【日本語】
Course Title
数理情報学15
科目名 【英語】
Course Title
Mathematical Informatics 15
コースナンバリングコード
Course Numbering Code
SIS-11-3021-J
担当教員 【日本語】
Instructor
吉信 康夫 ○
担当教員 【英語】
Instructor
YOSHINOBU Yasuo ○
単位数
Credits
1
開講期・開講時間帯
Term / Day / Period
秋1期 金曜日 3時限
Fall1 Fri 3
対象学年
Year
3年
3
授業形態
Course style
講義
Lecture
開講系(学部)・開講専攻(大学院)
Subject
自然・数理情報
必修・選択
Required / Selected
選択


授業の目的 【日本語】
Goals of the Course(JPN)
数理情報学15では数理情報学においても最も基本的な概念の1つである集合について学習する。この講義では集合の基本的な性質を学ぶ.そして集合を基に「写像」「同値関係」「順序」などの概念について学習する。
集合論は論理学と密接な関係があり,この講義では論理学1と論理学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)
期間中2、3回課題を出題する。
授業開講形態等
Lecture format, etc.
遠隔授業(オンデマンド型)で行う場合の追加措置
Additional measures for remote class (on-demand class)