学部前期課程
過去（2023年度）の授業の情報です
学内のオンライン授業の情報漏洩防止のため，URLやアカウント、教室の記載は削除しております。
最終更新日：2025年4月21日
授業計画や教室は変更となる可能性があるため、必ずUTASで最新の情報を確認して下さい。
UTASにアクセスできない方は、担当教員または部局教務へお問い合わせ下さい。
最終更新日：2025年4月21日
授業計画や教室は変更となる可能性があるため、必ずUTASで最新の情報を確認して下さい。
UTASにアクセスできない方は、担当教員または部局教務へお問い合わせ下さい。
記号論理学Ⅰ（理科生）
古典命題論理，古典述語論理，様相論理の統語論と意味論をさまざまな定理を実際に証明することを通じて学ぶ．
これらの事柄に関する基本的な概念や証明方法に習熟することを目標とする．
これらの事柄に関する基本的な概念や証明方法に習熟することを目標とする．
時間割／共通科目コード
コース名
教員
学期
時限
31001
CAS-GC1A24L1
記号論理学Ⅰ（理科生）
伊藤 遼
木曜1限
マイリストに追加
マイリストから削除
講義使用言語
日本語
単位
2
実務経験のある教員による授業科目
NO
他学部履修
不可
開講所属
教養学部（前期課程）
授業計画
(1) イントロダクション
(2) 命題論理の統語論
(3) 命題論理の統語論
(4) 命題論理の意味論
(5) 述語論理の統語論1
(6) 述語論理の統語論2
(7) 述語論理の意味論1
(8) 述語論理の意味論2
(9) 述語論理の意味論3
(10) 様相論理の意味論1
(11) 様相論理の意味論2
(12) 様相論理の意味論3
(13) まとめ
授業の方法
授業内では，講義と演習を行う．
演習の時間には，各自練習問題に取り組んでもらう．
成績評価方法
学期末に実施する試験による．
（授業の実施状況によっては，学期末レポートや各回の練習問題への取り組みによる評価を行うことがある．）
履修上の注意
授業内外における練習問題への取り組みが必要不可欠です．
