2021年度 数理論理学(学部)
本ウェブページは数理論理学(学部2年講義)の講義資料・連絡事項を掲載するページです．
講義資料
| 日付 |
内容 |
講義スライド |
復習問題 |
動画 |
レポート課題 |
| 12/3，金3限 (第1回講義) |
0. 講義情報 |
講義資料(0)
[縮小版] |
(なし) |
動画 |
(なし) |
| 1. イントロダクション |
講義資料(1)
[縮小版] |
| 12/7，火3限 (第2回講義) |
2. 命題論理式と真理値表 |
講義資料(2)
[縮小版] |
復習問題(2) |
動画 |
問題2,3,7 |
| 12/10，金3限 (第3回講義) |
3. 命題論理の意味論 |
講義資料(3)
[縮小版] |
復習問題(3) |
動画 |
問題2,3,7,8 |
| 12/14，火3限 (第4回講義) |
4. 命題論理式の同値変形と標準形 |
講義資料(4)
[縮小版] |
復習問題(4) |
動画 |
問題3,4 |
| 12/17，金3限 (第5回講義) |
5. 命題論理における自然演繹法 (1) |
講義資料(5)
[縮小版] |
復習問題(5) |
動画 |
問題2,3,4 |
| 12/21，火3限 (第6回講義) |
6. 命題論理における自然演繹法 (2) |
講義資料(6)
[縮小版] |
復習問題(6) |
動画 |
問題1,2 |
| 12/24，金3限 (第7回講義) |
7. 自然演繹法の推論と証明 |
講義資料(7)
[縮小版] |
復習問題(7) |
動画 |
(なし) |
| 1/7，金3限 (第8回講義) |
8. 帰納的定義と帰納法
| 講義資料(8)
[縮小版]
| 復習問題(8)
| 動画 |
問題2,3,4 |
| 1/11，火3限 (第9回講義) |
9． 健全性と完全性
| 講義資料(9)
[縮小版]
| 復習問題(9)
| 動画 |
(なし) |
| 1/18，火3限 (第10回講義) |
10． 述語論理式とその同値変形 (1)
| 講義資料(10)
[縮小版]
| 復習問題(10)
| 動画 |
問題1,2,4 |
| 1/21，金3限 (第11回講義) |
11． 述語論理式とその同値変形 (2)
| 講義資料(11)
[縮小版]
| 復習問題(11)
| 動画 |
問題2,3,4 |
| 1/25，火3限 (第12回講義) |
12． 述語論理式における代入
| 講義資料(12)
[縮小版]
| 復習問題(12)
| 動画 |
問題2,3,5 |
| 1/28，金3限 (第13回講義) |
13． 述語論理における自然演繹法(1)
| 講義資料(13)
[縮小版]
| 復習問題(13)
| 動画 |
問題2,4 |
| 2/1，火3限 (第14回講義) |
14． 述語論理における自然演繹法(2)
| 講義資料(14)
[縮小版]
| 復習問題(14)
| 動画 |
問題1 |
| 2/4，金3限 (第15回講義) |
15． 自然演繹法の推論と証明(2)
| 講義資料(15)
[縮小版]
| 復習問題(15)
| 動画 |
(なし) |
| 2/8，火3限 (第16回講義) |
期末試験 |
オフィスアワー
slack 上の「質問と回答はこちら」で，
質問の受付・回答をします．
slack スペースへの参加方法については，
学務情報システムから連絡します．
メール等での質問してくれても構いませんが，
他の人にも参考になるものは，slack上で共有します．
連絡
参考
Aoto