学習事項 ← 予習の範囲も掲載
回 | 実施日 | 内容 | 要点 | 確認 |
---|---|---|---|---|
1 | 2024.4.17 | 数理論理学の基礎 | 要点1 | 確認1 |
2 | 2024.4.19 | 論理式と証明法 1 | 要点2 | 確認2 [新] |
- | 2024.5.1 | (月曜の授業) | ||
3 | 2024.5.8 | 論理式と証明法 2 | 要点3 | 確認3 |
4 | 2024.5.15 | 論理式と証明法 3 | 要点4 | 確認4 |
5 | 2024.5.22 | 論理式と証明法 4 | 要点5 | 確認5 |
6 | 2024.5.29 | 論理式と証明法 5 | 要点6 | 確認6 |
7 | 2024.6.5 | 論理式と証明法 6 | 要点7 | 確認7 |
8 | 2024.6.12 | 論理式と証明法 7 | 要点8 | 確認8 |
9 | 2024.6.19 | 自然演繹 1 | 要点9 | 確認9 |
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 | 期末試験 |