授業の目的 【日本語】
Goals of the Course(JPN) | | | 数理論理学やコンピュータサイエンスなど，幅広い情報分野の理論的な基盤のための形式論理学を学ぶ。具体的には，命題論理と一階述語論理の真偽値意味論，形式的な証明の概念，自然演繹やシーケント計算などの証明体系と完全性定理など，より発展的な論理学の講義に向けて必要な共通知識について講述する。 |
|
|
授業の目的 【英語】
Goals of the Course | | | 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. |
|
|
到達目標 【日本語】
Objectives of the Course(JPN) | | | 数理論理学やコンピュータサイエンスなど，幅広い情報分野の理論的な基盤のための論理学を学ぶ。授業終了時に学生は，形式論理学の基礎である命題論理と一階述語論理の意味論と証明体系の基礎について理解し，より発展的な論理学の講義に向けて必要な論理学の基礎知識を身に付ける。 |
|
|
到達目標 【英語】
Objectives of the Course | | | This lecture provides the basics of formal logic for mathematical logic and computer science. This lecture focuses on the foundations of syntax and semantics of propositional logic and first-order predicate logic. |
|
|
授業の内容や構成
Course Content / Plan | | 論理学2a，2cの習得のために必要な共通知識としての論理学の基礎を学ぶ。具体的には命題論理と一階述語論理の真偽値意味論，形式的な証明の概念，証明体系と完全性定理などについて解説する。
1. 論理学の概要と数学的準備
2. 命題論理
3. 真理表とトートロジー
4. 一階述語論理
5. 証明体系（自然演繹とシーケント計算） | |
|
|
履修条件・関連する科目
Course Prerequisites and Related Courses | | |
|
成績評価の方法と基準
Course Evaluation Method and Criteria | | | 期末試験によって評価し，100点満点で60点以上を合格とする。ただし，大学の授業実施方針の状況に応じて，期末試験に代わるレポートによって評価することがある。 | |
|
|
教科書・参考書
Textbook/Reference book | | |
|
課外学習等（授業時間外学習の指示）
Study Load(Self-directed Learning Outside Course Hours) | | | 講義において説明した理論を理解するためにレポート課題を与える。 | |
|
|
授業開講形態等
Lecture format, etc. | | |
|
遠隔授業（オンデマンド型）で行う場合の追加措置
Additional measures for remote class (on-demand class) | | |
|