学部・大学院区分
Undergraduate / Graduate		情報・博前
時間割コード
Registration Code		2510018
科目区分
Course Category
主専攻科目
科目名　【日本語】
Course Title		数理論理学特論2
科目名　【英語】
Course Title		Mathematical Logic
コースナンバリングコード
Course Numbering Code		GSI116018J
担当教員　【日本語】
Instructor		吉信 康夫 ○ 木原 貴行
担当教員　【英語】
Instructor		YOSHINOBU Yasuo ○ KIHARA Takayuki
単位数
Credits		1
開講期・開講時間帯
Term / Day / Period		春２期 月曜日 ２時限
Spring2 Mon 2
対象学年
Year		１年
1
授業形態
Course style
開講系（学部）・開講専攻（大学院）
Subject
数理情報学専攻
必修・選択
Required / Selected


授業の目的　【日本語】
Goals of the Course(JPN)
実数の集合論とは実数直線に関する諸概念を用いて定義された基数を扱う集合論の一分野である. これらの基数は基数不変量とか基数指標と呼ばれている. 本講義では基数不変量の基本概念といくつかの例、そしてそれらの間の関連について学ぶ.
授業の目的　【英語】
Goals of the Course
Set theory of the real line is a branch of set theory which deals with various cardinal numbers defined in terms of notions related to the real line. Such cardinal numbers are called cardinal invariants or cardinal characteristics. In this series of lectures we study basic notions and some examples of cardinal invariants and relationships between them.
到達目標　【日本語】
Objectives of the Course(JPN)
本講義では、基数不変量、特にルベーグ測度零集合や第一類集合のイデアルに関する不変量とそれらの間の関連について学ぶ.
到達目標　【英語】
Objectives of the Course
授業の内容や構成
Course Content / Plan
まず，簡単な例として関数の増大性に関する基数不変量を紹介し, イデアルに関する基数不変量や Galois-Tukey 接続などの一般論を扱う. その後、ルベーグ零集合のイデアルや第一類集合のイデアルに関する不変量とそれらの関係について学ぶ.

〔計画〕
1. イントロダクション
2. 関数の増大性に関する基数不変量
3. イデアルに関する基数不変量
4. Galois-Tukey 接続の一般論
5. チホンの図式
6. その他の基数不変量
7. 発展的話題
8. まとめ
履修条件・関連する科目
Course Prerequisites and Related Courses
特になし
成績評価の方法と基準
Course Evaluation Method and Criteria
レポート課題によって評価する. 60%以上を合格とする.
教科書・参考書
Textbook/Reference book
必要に応じて参考資料を配布する。
課外学習等（授業時間外学習の指示）
Study Load(Self-directed Learning Outside Course Hours)
講義内容の理解の助けとするためレポート問題を適宜出題する。
授業開講形態等
Lecture format, etc.
対面による
遠隔授業（オンデマンド型）で行う場合の追加措置
Additional measures for remote class (on-demand class)