授業の目的 【日本語】 Goals of the Course(JPN) | | この講義では,現代的な観点から数理論理学,構成的数学,計算可能性の理論を展開し,数理論理学,構成的数学,計算可能性に関する重要な定理を学習する。 |
|
|
授業の目的 【英語】 Goals of the Course | | In this lecture, the student will develop mathematical logic, constructive mathematics, and the theory of computability from a modern perspective, and learn important theorems related to mathematical logic, constructive mathematics, and computability. |
|
|
到達目標 【日本語】 Objectives of the Course(JPN) | | この講義では数理論理学や計算可能性理論の証明技法について学ぶ。また,計算可能性の本質を理解するために,計算と論理の対応関係や,実現可能性に関する基本的な定理を学習する。 |
|
|
到達目標 【英語】 Objectives of the Course | | In this lecture, the student will learn about the proof techniques of mathematical logic and computability theory. In order to understand the essence of computability, the student will also learn about the correspondence between computation and logic, and the basic theorems related to realizability. |
|
|
授業の内容や構成 Course Content / Plan | | 1. リンデンバウム代数
2. ストーン双対
3. クリプキ意味論の完全性定理
4. 選言特性
5. フレームとロケール
6. 実現可能性解釈
7. 構成的原理
8. 講義のまとめと展望 | |
|
|
履修条件・関連する科目 Course Prerequisites and Related Courses | | |
|
成績評価の方法と基準 Course Evaluation Method and Criteria | | 中間レポート50%、期末のレポート50%で評価し、合計100点満点で60点以上を合格とする。 | |
|
|
教科書・参考書 Textbook/Reference book | | |
|
課外学習等(授業時間外学習の指示) Study Load(Self-directed Learning Outside Course Hours) | | 講義において説明した内容を理解するために課題を与える。 | |
|
|
授業開講形態等 Lecture format, etc. | | |
|
遠隔授業(オンデマンド型)で行う場合の追加措置 Additional measures for remote class (on-demand class) | | |
|