三重大学工学部情報工学コース

数理論理学

https://www.cs.info.mie-u.ac.jp/~toshi/lectures/mathlogic/

●お知らせ

「例題集」を載せました．(2025.4.23) [新]
確認問題の解答と解説を毎回の授業後に追加します．(2025.4.16)

以前のお知らせ

●目標

数理論理学の基礎と応用について，次の観点から理解を深める．

命題論理や述語論理の構文・証明・意味
論理による問題解決やコンピュータによる定理証明技術

学習事項 ← 予習の範囲も掲載

●日程

回	実施日	内容	要点	確認
1	2025.4.16	数理論理学の基礎	要点１	確認１
2	2025.4.23	論理式と証明法 1	要点２	確認２[新]
-	2025.4.30	(火曜の授業)
3	2025.5.7	論理式と証明法 2	要点３	確認３
4	2025.5.14	論理式と証明法 3	要点４	確認４
5	2025.5.21	論理式と証明法 4	要点５	確認５
6	2025.5.28	論理式と証明法 5	要点６	確認６
7	2025.6.4	論理式と証明法 6	要点７	確認７
8	2025.6.11	論理式と証明法 7	要点８	確認８
9	2025.6.18	自然演繹 1	要点９	確認９
10	2025.6.25	自然演繹 2	要点10	確認10
11	2025.7.2	自然演繹 3	要点11	確認11
12	2025.7.9	自然演繹 4	要点12	確認12
13	2025.7.16	自然演繹 5	要点13	確認13
14	2025.7.23	述語論理の意味論 1	要点14	確認14
15	2025.7.30	述語論理の意味論 2，数理論理学の応用	要点15	確認15
-	2025.8.6	期末試験

●教材

資料集

補助資料集
例題集 [新]

教科書

『はじめての数理論理学』，山田俊行，森北出版，2018．

参考書

『数学は言葉』，新井紀子，東京図書，2009．
『記号論理入門 [新装版]』，前原昭二，日本評論社，2005．
『数理論理学』，鹿島亮，朝倉書店，2009．
『情報科学における論理』，小野寛晰，日本評論社，1994．

学習支援

Moodleコース
シラバス (授業科目「数理論理学」で検索)