2024年 大学院理工学研究科 シラバス - 数学専攻
設置情報
| 科目名 | 応用数学特論ⅠA | ||
|---|---|---|---|
| 設置学科 | 数学専攻 | 学年 | 1年 |
| 担当者 | 志村 立矢 | 履修期 | 前期 |
| 単位 | 2 | 曜日時限 | 木曜2 |
| 校舎 | 駿河台 | 時間割CD | N42A |
| クラス | |||
概要
| 学修到達目標 | 数理論理学の方法を適用する際に数理論理学の基本的な概念の修得と、形式理論と構造の対応を記述する健全性と完全性がどのような概念なのか古典命題論理および古典述語論理の完全性定理の理解を目標とし、完全性定理の概要が説明できるようになる。 |
|---|---|
| 授業形態及び 授業方法 |
板書による講義の形式で進める。途中で何回か適切な内容のレポート問題を出題する。提出されたレポート課題については、講義中に解説と講評を行なう。 対面授業で行なう。 |
|
準備学習（予習・ 復習等）の内容・ 受講のための 予備知識 |
具体的な数学的構造の定義の方法を知っていること。 例として、群や環などの代数系、順序集合などがある。 |
授業計画
| 第1回 | ガイダンス。数学の形式化とは何か。言語の導入。 | 【事後学習】講義の内容をまとめ直し、講義中に出した課題を自力で解いてみること。 | 【事後学習】4時間 |
|---|---|---|---|
| 第2回 | 命題論理入門。命題と論理式。論理式の解釈。 | 【事前学習】講義資料に目を通し、講義内容の確認を行なう。 【事後学習】講義の内容をまとめ直し、講義中に出した課題を自力で解いてみること。 | 【事前学習】1時間 【事後学習】3時間 |
| 第3回 | トートロジーとその性質。 | 【事前学習】講義資料に目を通し、講義内容の確認を行なう。 【事後学習】講義の内容をまとめ直し、講義中に出した課題を自力で解いてみること。 | 【事前学習】1時間 【事後学習】3時間 |
| 第4回 | 同値な論理式、論理式の標準形 | 【事前学習】講義資料に目を通し、講義内容の確認を行なう。 【事後学習】講義の内容をまとめ直し、講義中に出した課題を自力で解いてみること。 | 【事前学習】1時間 【事後学習】3時間 |
| 第5回 | タブロー法 | 【事前学習】講義資料に目を通し、講義内容の確認を行なう。 【事後学習】講義の内容をまとめ直し、講義中に出した課題を自力で解いてみること。 | 【事前学習】1時間 【事後学習】3時間 |
| 第6回 | タブロー法による決定手続き。 | 【事前学習】講義資料に目を通し、講義内容の確認を行なう。 【事後学習】講義の内容をまとめ直し、講義中に出した課題を自力で解いてみること。 | 【事前学習】1時間 【事後学習】3時間 |
| 第7回 | 公理の簡約化と古典命題論理の完全性 | 【事前学習】講義資料に目を通し、講義内容の確認を行なう。 【事後学習】講義の内容をまとめ直し、講義中に出した課題を自力で解いてみること。 | 【事前学習】1時間 【事後学習】3時間 |
| 第8回 | 完全性定理の応用 | 【事前学習】講義資料に目を通し、講義内容の確認を行なう。 【事後学習】講義の内容をまとめ直し、講義中に出した課題を自力で解いてみること。 | 【事前学習】1時間 【事後学習】3時間 |
| 第9回 | 体系 LK | 【事前学習】講義資料に目を通し、講義内容の確認を行なう。 【事後学習】講義の内容をまとめ直し、講義中に出した課題を自力で解いてみること。 | 【事前学習】1時間 【事後学習】3時間 |
| 第10回 | ヒルベルト流体系と完全性定理。 | 【事前学習】講義資料に目を通し、講義内容の確認を行なう。 【事後学習】講義の内容をまとめ直し、講義中に出した課題を自力で解いてみること。 | 【事前学習】1時間 【事後学習】3時間 |
| 第11回 | 述語論理入門。言語と構造。構造の定義と例。 | 【事前学習】講義資料に目を通し、講義内容の確認を行なう。 【事後学習】講義の内容をまとめ直し、講義中に出した課題を自力で解いてみること。 | 【事前学習】1時間 【事後学習】3時間 |
| 第12回 | 述語論理式とその解釈。 | 【事前学習】講義資料に目を通し、講義内容の確認を行なう。 【事後学習】講義の内容をまとめ直し、講義中に出した課題を自力で解いてみること。 | 【事前学習】1時間 【事後学習】3時間 |
| 第13回 | 恒真式とその性質。等号公理。 | 【事前学習】講義資料に目を通し、講義内容の確認を行なう。 【事後学習】講義の内容をまとめ直し、講義中に出した課題を自力で解いてみること。 | 【事前学習】1時間 【事後学習】3時間 |
| 第14回 | ヒルベルト流古典述語論理体系。 | 【事前学習】講義資料に目を通し、講義内容の確認を行なう。 【事後学習】講義の内容をまとめ直し、講義中に出した課題を自力で解いてみること。 | 【事前学習】1時間 【事後学習】3時間 |
| 第15回 | 古典述語論理の完全性。 | 【事前学習】講義資料に目を通し、講義内容の確認を行なう。 【事後学習】講義の内容をまとめ直し、講義中に出した課題を自力で解いてみること。 | 【事前学習】1時間 【事後学習】3時間 |
その他
| 教科書 |
教科書は指定しない。必要に応じて講義内容を記した講義資料を配布する。
|
|---|---|
| 参考資料コメント 及び 資料（技術論文等） |
|
| 成績評価の方法 及び基準 |
レポートによる。 |
| 質問への対応 | 講義後は随時受け付けます。 他の時間はメール等で都合を確認してください。 |
| 研究室又は 連絡先 |
タワースコラ S1414 志村研究室 |
| オフィスアワー |
水曜 駿河台 12:10 ～ 13:20 タワースコラ S1414
|
| 学生への メッセージ |