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