| 回 | 実施日 | 内容 | 要点 | 確認 |
|---|---|---|---|---|
| 1 | 2025.4.16 | 数理論理学の基礎 | 要点１ | 確認１ |
| 2 | 2025.4.23 | 論理式と証明法 1 | 要点２ | 確認２ |
| - | 2025.4.30 | (火曜の授業) | ||
| 3 | 2025.5.7 | 論理式と証明法 2 | 要点３ | 確認３ |
| 4 | 2025.5.14 | 論理式と証明法 3 | 要点４ | 確認４ |
| 5 | 2025.5.21 | 論理式と証明法 4 | 要点５ | 確認５ |
| 6 | 2025.5.28 | 論理式と証明法 5 | 要点６ | 確認６ |
| 7 | 2025.6.4 | 論理式と証明法 6 | 要点７ | 確認７ |
| 8 | 2025.6.11 | 論理式と証明法 7 | 要点８ | 確認８ |
| 9 | 2025.6.18 | 自然演繹 1 | 要点９ | 確認９ |
| 10 | 2025.6.25 | 自然演繹 2 | 要点10 | 確認10 |
| 11 | 2025.7.2 | 自然演繹 3 | 要点11 | 確認11 |
| 12 | 2025.7.9 | 自然演繹 4 | 要点12 | 確認12 |
| 13 | 2025.7.16 | 自然演繹 5 | 要点13 | 確認13 |
| 14 | 2025.7.23 | 述語論理の意味論 1 | 要点14 | 確認14 |
| 15 | 2025.7.30 | 述語論理の意味論 2，数理論理学の応用 | 要点15 | 確認15 | - | 2025.8.6 | 期末試験 |