2025年度 数理論理学(学部)
本ウェブページは数理論理学(学部2年講義)の講義資料・連絡事項を掲載するページです．
講義資料
| 日付 |
内容 |
講義スライド |
復習問題 |
レポート課題 |
| 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回講義) |
| 12/26，金3限 (第7回講義) |
| 1/9，金3限 (第8回講義) |
| 1/13，火3限 (第9回講義) |
| 1/20，火3限 (第10回講義) |
| 1/23，金3限 (第11回講義) |
| 1/27，火3限 (第12回講義) |
| 1/30，金3限 (第13回講義) |
| 2/3，火3限 (第14回講義) |
| 2/6，金3限 (第15回講義) |
| 2/10，金3限 (第16回講義) |
期末試験 |
オフィスアワー
水，木曜の昼休み．
場所は総合研究棟(情報理工系)6FのI-608です．
不定期の会議等で不在になる場合がありますので，
事前にメール等で連絡した方がよいです．
連絡
参考
Aoto