2017年度 数理論理学(学部)

本ウェブページは数理論理学(学部2年講義)の講義資料・連絡事項を掲載するページです.

講義資料

内容 講義スライド(PDF) 復習問題(PDF) 復習問題の解答(PDF) 講義実施日
0. 講義情報 講義資料(0) [縮小版] 第1回講義(10/6)
1. イントロダクション 講義資料(1) [縮小版] 第1回講義(10/6)
2. 命題論理式と真理値表 講義資料(2) [縮小版] 復習問題(2) 復習問題解答(2) 第2回講義(10/13)
3. 命題論理の意味論 講義資料(3) [縮小版] 復習問題(3) 復習問題解答(3) 第3回講義(10/20)
4. 命題論理式の同値変形と標準形 講義資料(4) [縮小版] 復習問題(4) 復習問題解答(4) 第4回講義(10/27)
5. 命題論理における自然演繹法 (1) 講義資料(5) [縮小版] 復習問題(5) 復習問題解答(5) 第5回講義(11/1)
6. 命題論理における自然演繹法 (2) 講義資料(6) [縮小版] 復習問題(6) 復習問題解答(6) 第6回講義(11/10)
7.自然演繹法の推論と証明 講義資料(7) [縮小版] 復習問題(7) 復習問題解答(7) 第7回講義(11/17)
8.帰納的定義と帰納法 講義資料(8) [縮小版] 復習問題(8) 復習問題解答(8) 第8回講義(11/24)
9.健全性と完全性 講義資料(9) [縮小版] 復習問題(9) 復習問題解答(9) 第9回講義(12/1)
10.述語論理式とその同値変形 (1) 講義資料(10) [縮小版] 復習問題(10) 復習問題解答(10) 第10回講義(12/8)(スライドp.31まで)
11.述語論理式とその同値変形 (2) 講義資料(11) [縮小版] 復習問題(11)

オフィスアワー

火曜11:55-12:45. 総合研究棟(情報理工系)6F608で受け付けます. 出張や会議等で不在になる場合はこのページで連絡します.

連絡


Aoto