授業の目的 【日本語】 Goals of the Course(JPN) | | 論理学1において学習した基礎論理学を基に,数理情報学にとって重要な論理と計算の基礎を学習する。論理学や計算論の基礎の学習を通して数理科学の言語や考え方を習得する。計算と論理の深い結び付きを与えるカリー・ハワード対応の基礎について学ぶ。 |
|
|
授業の目的 【英語】 Goals of the Course | | By studying logic and basic computation theory, the students will familiarize themselves with the language and the basic concepts of mathematical science. Learn the basics of the Curry-Howard correspondence, which gives a deep connection between computation and logic. |
|
|
到達目標 【日本語】 Objectives of the Course(JPN) | | 数理科学を学習するために必要な論理学と計算論に関する基礎的知識を習得する。さらにそれらを用いて数学的な証明が与えられるよう目指す。 |
|
|
到達目標 【英語】 Objectives of the Course | | |
|
授業の内容や構成 Course Content / Plan | | 論理学1において学習した基礎論理学を基に,数理情報学にとって重要な論理と計算の基礎を学習する。計算と論理の深い結び付きを与えるカリー・ハワード対応の基礎について学ぶ。
1. 自然演繹
2. シーケント計算
3. 論理の意味論
4. 型なしラムダ計算
5. 不動点コンビネータと再帰
5. 単純型付きラムダ計算
7. カリー・ハワード対応
8. 証明支援系の紹介 | |
|
|
履修条件・関連する科目 Course Prerequisites and Related Courses | | |
|
成績評価の方法と基準 Course Evaluation Method and Criteria | | 講義中に与える演習課題の評価,合計100点満点で60点以上を合格とする。 | |
|
|
教科書・参考書 Textbook/Reference book | | |
|
課外学習等(授業時間外学習の指示) Study Load(Self-directed Learning Outside Course Hours) | | 講義において説明した理論を理解するために課題を与える。 | |
|
|
授業開講形態等 Lecture format, etc. | | |
|
遠隔授業(オンデマンド型)で行う場合の追加措置 Additional measures for remote class (on-demand class) | | |
|