学習事項 ← 予習の範囲も掲載
| 回 | 実施日 | 内容 | 要点 | 確認 |
|---|---|---|---|---|
| 1 | 2026.4.15 | 数理論理学の基礎 | 要点１ | 確認１ |
| 2 | 2026.4.22 | 論理式と証明法 1 | 要点２ | 確認２ |
| - | 2026.4.29 | (祝日) | ||
| 3 | 2026.4.30(木) | 論理式と証明法 2 | 要点３ | 確認３ [新] |
| - | 2026.5.6 | (休日) | ||
| 4 | 2026.5.13 | 論理式と証明法 3 | 要点４ | 確認４ |
| 5 | 2026.5.20 | 論理式と証明法 4 | 要点５ | 確認５ |
| 6 | 2026.5.27 | 論理式と証明法 5 | 要点６ | 確認６ |
| 7 | 2026.6.3 | 論理式と証明法 6 | 要点７ | 確認７ |
| 8 | 2026.6.10 | 論理式と証明法 7 | 要点８ | 確認８ |
| 9 | 2026.6.17 | 自然演繹 1 | 要点９ | 確認９ |
| 10 | 2026.6.24 | 自然演繹 2 | 要点10 | 確認10 |
| 11 | 2026.7.1 | 自然演繹 3 | 要点11 | 確認11 |
| 12 | 2026.7.8 | 自然演繹 4 | 要点12 | 確認12 |
| 13 | 2026.7.15 | 自然演繹 5 | 要点13 | 確認13 |
| 14 | 2026.7.22 | 述語論理の意味論 1 | 要点14 | 確認14 |
| 15 | 2026.7.29 | 述語論理の意味論 2，数理論理学の応用 | 要点15 | 確認15 | - | 2026.8.5 | 期末試験 |