2022年度 数理論理学(学部)
本ウェブページは数理論理学(学部2年講義)の講義資料・連絡事項を掲載するページです．
講義資料
| 日付 |
内容 |
講義スライド |
復習問題 |
レポート課題 |
| 12/6，火3限 (第1回講義) |
0. 講義情報 |
講義資料(0)
[縮小版] |
(なし) |
(なし) |
| 1. イントロダクション |
講義資料(1)
[縮小版] |
| 12/9，金3限 (第2回講義) |
2. 命題論理式と真理値表 |
講義資料(2)
[縮小版] |
復習問題(2) |
問題2,3,7 |
| 12/13，火3限 (第3回講義) |
3. 命題論理の意味論 |
講義資料(3)
[縮小版] |
復習問題(3) |
問題2,3,7,8 |
| 12/16，金3限 (第4回講義) |
4. 命題論理式の同値変形と標準形 |
講義資料(4)
[縮小版] |
復習問題(4) |
問題3,4 |
| 12/20，火3限 |
(休講) |
| 12/23，金3限 (第5回講義) |
5. 命題論理における自然演繹法 (1) |
講義資料(5)
[縮小版] |
復習問題(5) |
問題2,3,4 |
| 12/27，火3限 (第6回講義) |
6. 命題論理における自然演繹法 (2) |
講義資料(6)
[縮小版] |
復習問題(6) |
問題1,2 |
| 1/10，火3限 (第7回講義) |
7. 自然演繹法の推論と証明 |
講義資料(7)
[縮小版] |
復習問題(7) |
問題1の(1)と(2) |
| 1/17，火3限 (第8回講義) |
8. 帰納的定義と帰納法
| 講義資料(8)
[縮小版]
| 復習問題(8)
| 問題2,3,4 |
| 1/20，金3限 (第9回講義) |
9． 健全性と完全性
| 講義資料(9)
[縮小版]
| 復習問題(9)
| (なし) |
| 1/24，火3限 (第10回講義) |
10． 述語論理式とその同値変形 (1)
| 講義資料(10)
[縮小版]
| 復習問題(10)
| 問題1,2,4 |
| 1/27，金3限 (第11回講義) |
11． 述語論理式とその同値変形 (2)
| 講義資料(11)
[縮小版]
| 復習問題(11)
| 問題2,3,4 |
| 1/21，火3限 (第12回講義) |
12． 述語論理式における代入
| 講義資料(12)
[縮小版]
| 復習問題(12)
| 問題2,3,5 |
2/3，金3限5限 (第13回講義) |
13． 述語論理における自然演繹法(1)
| 講義資料(13)
[縮小版]
| 復習問題(13)
| 問題2,4 |
| 2/7，火3限 (第14回講義) |
14． 述語論理における自然演繹法(2)
| 講義資料(14)
[縮小版]
| 復習問題(14)
| 問題1 |
| 2/10，金3限 (第15回講義) |
期末試験 |
| 2/13，月5限 (第16回講義) |
15． 自然演繹法の推論と証明(2)
| 講義資料(15)
[縮小版]
| 復習問題(15)
| (なし) |
オフィスアワー
水，木曜 12:00-12:30．
場所は総合研究棟(情報理工系)6FのI-608です．
不定期の会議等で不在になる場合があります．
定期試験
日時：2月10日(金)3限(12:55〜14:25)
場所：107講義室
備考：参考書・資料・ノート等持ち込み可．ただし，通信機能を持つ機器(ipad等)は不可．
連絡
12/20の休講にともない，今後の授業予定を修正しました(12/26)
2/3(金)の講義ですが，修論発表会のため，3限から5限に変更になりました．
他授業とバッティングしてしまった方にはごめんなさい．(1/18)
12/20分の補講は，2/13(月)5限に実施します．
他授業とバッティングしてしまった方にはごめんなさい．(1/18)
参考
Aoto