授業の目的 【日本語】
Goals of the Course(JPN) | | | 数理論理学は，数学における「推論の正しさ」の概念を数学的に厳密に定式化しようとする試みに端を発する学問であるが, その知見は計算機科学にも多くの応用をもつなど，情報の関わる現象の数理的理解における基礎のひとつになっている。本講義の目的は，論理学の構文論や意味論にまつわるより発展的な話題について学び，数理論理学についてより深い理解を得ることである。 |
|
|
授業の目的 【英語】
Goals of the Course | | | Mathematical logic is originally the study to find rigorous formulations of `valid inferences' in mathematics. Today it also has some applications in computer science, and becomes a part of foundations for mathematical understanding of phenomena related to information. This series of lectures deal with some advanced topics about syntax and semantics of logic. |
|
|
到達目標 【日本語】
Objectives of the Course(JPN) | | | 本講義では、理論の範疇性，モデル完全性，部分構造完全性と量記号の消去，タイプの概念など、一階述語論理のモデル理論の基本的な概念について，具体例を交えつつ学ぶことができる。 |
|
|
到達目標 【英語】
Objectives of the Course | | |
|
授業の内容や構成
Course Content / Plan | | 一階述語論理のモデルの理論についての入門的な講義を行う。より具体的には，理論の範疇性，モデル完全性，部分構造完全性と量記号の消去，タイプの概念などモデル理論の基本的な概念について，具体例を交えつつ学ぶ。余裕があれば，安定性理論などのより進んだ話題についても触れる。
〔計画〕
1. イントロダクション
2. コンパクト性定理
3. 理論の範疇性
4. モデル完全性
5. 部分構造完全性と量記号の消去
6. タイプの理論
7. 発展的話題
8. まとめ | |
|
|
履修条件・関連する科目
Course Prerequisites and Related Courses | | |
|
成績評価の方法と基準
Course Evaluation Method and Criteria | | | レポート４０％，期末試験６０％で評価し，合計１００点満点で６０点以上を合格とする。 | |
|
|
教科書・参考書
Textbook/Reference book | | |
|
課外学習等（授業時間外学習の指示）
Study Load(Self-directed Learning Outside Course Hours) | | | 講義内容の理解の助けとするためレポート問題を適宜出題する。 | |
|
|
授業開講形態等
Lecture format, etc. | | |
|
遠隔授業（オンデマンド型）で行う場合の追加措置
Additional measures for remote class (on-demand class) | | |
|