| 日付 | 内容 | 講義スライド | 復習問題 | レポート課題 | 進捗 |
| 12/5，金3限 (第1回講義) | 0. 講義情報 | 講義資料(0) [縮小版] | (なし) | (なし) | |
| 1. イントロダクション | 講義資料(1) [縮小版] | ||||
| 12/9，火3限 (第2回講義) | 2. 命題論理式と真理値表 | 講義資料(2) [縮小版] | 復習問題(2) | 問題2,3,7 | |
| 12/12，金3限 (第3回講義) | 3. 命題論理の意味論 | 講義資料(3) [縮小版] | 復習問題(3) | 問題2,3,7,8 | |
| 12/16，火3限 (第4回講義) | 4. 命題論理式の同値変形と標準形 | 講義資料(4) [縮小版] | 復習問題(4) | 問題3,4 | |
| 12/19，金3限 (第5回講義) | 5. 命題論理における自然演繹法 (1) | 講義資料(5) [縮小版] | 復習問題(5) | 問題2,3,4 | |
| 12/23，火3限 (第6回講義) | 6. 命題論理における自然演繹法 (2) | 講義資料(6) [縮小版] | 復習問題(6) | 問題1,2 | |
| 12/26，金3限 (第7回講義) | 7. 自然演繹法の推論と証明 | 講義資料(7) [縮小版] | 復習問題(7) | (なし) | |
| 1/9，金3限 (第8回講義) | 8. 帰納的定義と帰納法 | 講義資料(8) [縮小版] | 復習問題(8) | 問題2,3,4 | |
| 1/13，火3限 (第9回講義) | 9． 健全性と完全性 | 講義資料(9) [縮小版] | 復習問題(9) | (なし) | |
| 1/20，火3限 (第10回講義) | 10． 述語論理式とその同値変形 (1) | 講義資料(10) [縮小版] | 復習問題(10) | 問題1,2 | スライドp.31まで |
| 1/23，金3限 (第11回講義) | 11． 述語論理式とその同値変形 (2) | 講義資料(11) [縮小版] | 復習問題(11) | 復習問題(10)の問題4，復習問題(11)の問題2 | スライドp.20まで |
| 1/27，火3限 (第12回講義) | 12． 述語論理式における代入 | 講義資料(12) [縮小版] | 復習問題(12) | 復習問題(11)の問題3,4 | |
| 1/30，金3限 (第13回講義) | 13． 述語論理における自然演繹法(1) | 講義資料(13) [縮小版] | 復習問題(13) | 問題2,4 | |
| 2/3，火3限 (第14回講義) | 14． 述語論理における自然演繹法(2) | 講義資料(14) [縮小版] | 復習問題(14) | 問題1 | |
| 2/6，金3限 (第15回講義) | 15． 自然演繹法の推論と証明(2) | 講義資料(15) [縮小版] | 復習問題(15) | (なし) | |
| 2/10，金3限 (第16回講義) | 期末試験 |