| 第1回講義「命題論理」 | 第1回講義レジュメ |
| 第2回講義「命題論理における推論(1):論理的同値関係と伴意関係」 | 第2回講義レジュメ |
| 第3回講義「命題論理における推論(2):モデル検査と伴意関係の性質」 | 第3回講義レジュメ |
| 第4回講義「命題論理における推論(3):推論」 | 第4回講義レジュメ |
| 第5回講義「命題論理における推論(4):融合法」 | 第5回講義レジュメ |
| 第6回講義「一階述語論理」 | 第6回講義レジュメ |
| 第7回講義「一階述語論理における推論(1):限量子の推論規則と単一化」 | 第7回講義レジュメ |
| 第8回講義「一階述語論理における推論(2):融合法」 | 第8回講義レジュメ |
| 第9回講義「一階述語論理における推論(3):融合法の完全性、等号、論理プログラミング」 | 第9回講義レジュメ |
| 第10回講義「不確実性」 | 第10回講義レジュメ |
| 第11回講義「完全結合確率分布による推論」 | 第11回講義レジュメ |
| 第12回講義「ベイジアンネット」 | 第12回講義レジュメ |
| 第13回講義「ベイジアンネットのコンパクト化と厳密推論」 | 第13回講義レジュメ |
| 第14回講義「ベイジアンネットの厳密推論と近似推論」 | 第14回講義レジュメ |