学習事項 ← 予習の範囲も掲載
| 回 | 実施日 | 内容 | 要点 | 確認 |
|---|---|---|---|---|
| 1 | 2024.4.17 | 数理論理学の基礎 | 要点１ | 確認１ [新] |
| 2 | 2024.4.19 | 論理式と証明法 1 | 要点２ | 確認２ |
| - | 2024.5.1 | (月曜の授業) | ||
| 3 | 2024.5.8 | 論理式と証明法 2 | 要点３ | 確認３ |
| 4 | 2024.5.15 | 論理式と証明法 3 | 要点４ | 確認４ |
| 5 | 2024.5.22 | 論理式と証明法 4 | 要点５ | 確認５ |
| 6 | 2024.5.29 | 論理式と証明法 5 | 要点６ | 確認６ |
| 7 | 2024.6.5 | 論理式と証明法 6 | 要点７ | 確認７ |
| 8 | 2024.6.12 | 論理式と証明法 7 | 要点８ | 確認８ |
| 9 | 2024.6.19 | 自然演繹 1 | 要点９ | 確認９ |
| 10 | 2024.6.26 | 自然演繹 2 | 要点10 | 確認10 |
| 11 | 2024.7.3 | 自然演繹 3 | 要点11 | 確認11 |
| 12 | 2024.7.10 | 自然演繹 4 | 要点12 | 確認12 |
| 13 | 2024.7.17 | 自然演繹 5 | 要点13 | 確認13 |
| 14 | 2024.7.24 | 述語論理の意味論 1 | 要点14 | 確認14 |
| 15 | 2024.7.31 | 述語論理の意味論 2，数理論理学の応用 | 要点15 | 確認15 | - | 2024.8.7 | 期末試験 |