| 内容 | 講義スライド(PDF) | 復習問題(PDF) | 講義実施日 | 動画URL | レポート課題 |
| 0. 講義情報 | 講義資料(0) [縮小版] | 第1回講義(12/4) | Zoom にて実施 | ||
| 1. イントロダクション | 講義資料(1) [縮小版] | 第1回講義(12/4) | 動画 | ||
| 2. 命題論理式と真理値表 | 講義資料(2) [縮小版] | 復習問題(2) | 第2回講義(12/8) | 動画 | 問題2,3,7 |
| 3. 命題論理の意味論 | 講義資料(3) [縮小版] | 復習問題(3) | 第3回講義(12/11) | 動画 | 問題2,3,7,8 |
| 4. 命題論理式の同値変形と標準形 | 講義資料(4) [縮小版] | 復習問題(4) | 第4回講義(12/15) | 動画 | 問題3,4 |
| 5. 命題論理における自然演繹法 (1) | 講義資料(5) [縮小版] | 復習問題(5) | 第5回講義(12/17) | 動画 | 問題2,3,4 |
| 6. 命題論理における自然演繹法 (2) | 講義資料(6) [縮小版] | 復習問題(6) | 第6回講義(12/22) | 動画 | 問題1,2 |
| 7. 自然演繹法の推論と証明 | 講義資料(7) [縮小版] | 復習問題(7) | 第7回講義(12/25) | 動画 | (なし) |
| 8． 帰納的定義と帰納法 | 講義資料(8) [縮小版] | 復習問題(8) | 第8回講義(1/8) | 動画 | 問題2,3,4 |
| 9． 健全性と完全性 | 講義資料(9) [縮小版] | 復習問題(9) | 第9回講義(1/12) | 動画 | 問題1,2 |
| 10． 述語論理式とその同値変形 (1) | 講義資料(10) [縮小版] | 復習問題(10) | 第10回講義 | 動画 | 問題1,2,4 |
| 11． 述語論理式とその同値変形 (2) | 講義資料(11) [縮小版] | 復習問題(11) | 第11回講義 | 動画 | 問題2,3,4 |
| 12． 述語論理式における代入 | 講義資料(12) [縮小版] | 復習問題(12) | 第12回講義 | 動画 | 問題2,3,5 |
| 13． 述語論理における自然演繹法(1) | 講義資料(13) [縮小版] | 復習問題(13) | 第13回講義 | 動画 | 問題2,3 |
| 14． 述語論理における自然演繹法(2) | 講義資料(14) [縮小版] | 復習問題(14) | 第14回講義 | 動画 | 問題1 |
| 15． 自然演繹法の推論と証明(2) | 講義資料(15) [縮小版] | 復習問題(15) | 第15回講義 | 動画 | (なし) |
| 16． 述語論理の意味論(1) | 講義資料(16) [縮小版] | 復習問題(16) | [講義では，講義資料(16)以降は取り扱いません] | ||
| 17． 述語論理の意味論(2) | 講義資料(17) [縮小版] | 復習問題(17) | |||
| 18． 述語論理の意味論(3) | 講義資料(18) [縮小版] | 復習問題(18) | |||
| 19． 健全性/完全性とその先 | 講義資料(19) [縮小版] |