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

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

講義資料

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

オフィスアワー

水，木曜 12:00-12:30． 場所は総合研究棟(情報理工系)6FのI-608です． 不定期の会議等で不在になる場合があります．

連絡

参考

Aoto