学部・大学院区分情報学部
時間割コード1000033
科目区分
専門基礎科目
科目名　【日本語】論理学１
科目名　【英語】Logic 1
コースナンバリングコード
担当教員　【日本語】中澤　巧爾 ○ 久木田　水生 結縁　祥治 戸田山　和久 松原　洋
担当教員　【英語】NAKAZAWA Koji ○ KUKITA Minao YUEN Shoji TODAYAMA Kazuhisa MATSUBARA Yo
単位数1
開講期・開講時間帯秋１期 金曜日 ２時限
Fall1 Fri 2
対象学年２年
2
授業形態講義
Lecture
開講系（学部）・開講専攻（大学院）
共通
必修・選択
必修


授業の目的　【日本語】
数理論理学やコンピュータサイエンスなど，幅広い情報分野の理論的な基盤のための論理学を，形式論理，非形式論理の両面から学ぶ。具体的には，命題論理と一階述語論理の真偽値意味論，形式的な証明の概念，自然演繹やシーケント計算などの証明体系と完全性定理，および，論理の非形式的議論など，より発展的な論理学の講義に向けて必要な共通知識について講述する。
授業の目的　【英語】
This lecture covers basic topics on logic as common preliminary knowledge for advanced topics on logic in mathematical logic and computer science. It includes introductions to the propositional logic, the first-order logic, and their classical semantics and formal proof systems.
到達目標　【日本語】
数理論理学やコンピュータサイエンスなど，幅広い情報分野の理論的な基盤のための論理学を学ぶ。授業終了時に学生は，形式論理学の基礎である命題論理と一階述語論理の意味論と証明体系，および非形式論理の基礎ついて理解し，より発展的な論理学の講義に向けて必要な論理学の基礎知識を身に付ける。
到達目標　【英語】
One of the missions of mathematical informatics is to construct and analyze mathematical models on informational phenomena widely in nature and society. In this Elements of Mathematical Informatics 2, as in the Elements of Mathematical Informatics 1, 3 ~ 4 teachers of Mathematical Informatics will outline topics related to their respective specialties.
授業の内容や構成
論理学2a，2b，2cの習得のために必要な共通知識としての論理学の基礎を形式論理，非形式論理の両面から学ぶ。具体的には命題論理と一階述語論理の真偽値意味論，形式的な証明の概念，証明体系と完全性定理，および，論理の非形式的議論などについて解説する。

1. 論理学の概要と数学的準備
2. 命題論理
3. 真理表とトートロジー
4. 一階述語論理
5. 証明体系
6. 論理の非形式的議論
7. 総括
履修条件・関連する科目
成績評価の方法と基準
期末試験によって評価し，100点満点で60点以上を合格とする。
教科書・参考書
必要に応じて資料を配布する。
課外学習等（授業時間外学習の指示）
講義において説明した理論を理解するためにレポート課題を与える。
授業開講形態等
遠隔授業（オンデマンド型）で行う場合の追加措置