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

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

講義資料

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

定期試験

日時:2月10日(金)4限(14:40〜16:10)
場所:107講義室.
備考:参考書・資料・ノート等持ち込み可.ただし,通信機能を持つ機器(ipad等)は不可.
試験範囲:講義資料(2)〜(15).(講義資料(16)以降は試験範囲に含まれません.)

連絡


Aoto