| 内容 | 講義スライド(PDF) | 復習問題(PDF) | 講義実施日 | 動画URL | レポート課題 |
| 0. 講義情報 | 講義資料(0) [縮小版] | 第1回講義(12/4) | Zoom にて実施 | ||
| 1. イントロダクション | 講義資料(1) [縮小版] | 第1回講義(12/4) | (https://youtu.be/xCsOqZfo5yU) | ||
| 2. 命題論理式と真理値表 | 講義資料(2) [縮小版] | 復習問題(2) | 第2回講義(12/8) | https://youtu.be/7PeitJoRNkk | 問題2,3,7 |
| 3. 命題論理の意味論 | 講義資料(3) [縮小版] | 復習問題(3) | 第3回講義(12/11) | https://youtu.be/A90qPtI3LMM | 問題2,3,7,8 |
| 4. 命題論理式の同値変形と標準形 | 講義資料(4) [縮小版] | 復習問題(4) | 第4回講義(12/15) | https://youtu.be/o7S1EiYYij0 | 問題3,4 |
| 5. 命題論理における自然演繹法 (1) | 講義資料(5) [縮小版] | 復習問題(5) | 第5回講義(12/17) | https://youtu.be/TkH-4sLct2I | 問題2,3,4 |
| 6. 命題論理における自然演繹法 (2) | 講義資料(6) [縮小版] | 復習問題(6) | 第6回講義(12/22) | https://youtu.be/udCWjIgQips | 問題1,2 |
| 7. 自然演繹法の推論と証明 | 講義資料(7) [縮小版] | 復習問題(7) | 第7回講義(12/25) | https://youtu.be/SvBfanO8DV8 | (なし) |
| 8． 帰納的定義と帰納法 | 講義資料(8) [縮小版] | 復習問題(8) | 第8回講義(1/8) | https://youtu.be/fyR2OwATueY | 問題2,3,4 |
| 9． 健全性と完全性 | 講義資料(9) [縮小版] | 復習問題(9) | 第9回講義(1/12) | https://youtu.be/wPGrN6g20iI | 問題1,2 |