学部・大学院区分
Undergraduate / Graduate

情報学部

時間割コード
Registration Code

1000053

科目区分
Course Category

専門基礎科目
（自然情報学科対象）

科目名　【日本語】
Course Title

論理学２ａ

科目名　【英語】
Course Title

Logic 2a

コースナンバリングコード
Course Numbering Code

SIS-03-2003-J

担当教員　【日本語】
Instructor

木原　貴行 ○ 吉信　康夫

担当教員　【英語】
Instructor

KIHARA Takayuki ○ YOSHINOBU Yasuo

単位数
Credits

開講期・開講時間帯
Term / Day / Period

秋２期月曜日２時限
Fall2 Mon 2

対象学年
Year

２年
2

授業形態
Course style

講義
Lecture

開講系（学部）・開講専攻（大学院）
Subject

共通（自然）

必修・選択
Required / Selected

選択

授業の目的　【日本語】
Goals of the Course(JPN)

論理学1において学習した基礎論理学を基に，数理情報学にとって重要な論理と集合の基礎を学習する。
論理学や集合論の基礎の学習を通して数理科学の言語や考え方を習得する。

授業の目的　【英語】
Goals of the Course

By studying logic and basic set theory, the students will familiarize themselves with the language and the basic concepts of mathematical science.

到達目標　【日本語】
Objectives of the Course(JPN)

数理科学を学習するために必要な論理学と集合論に関する基礎的知識を習得する。
さらにそれらを用いて数学的な証明が与えられるよう目指す。
数理科学に関する文献を英語で読む力を培う。

到達目標　【英語】
Objectives of the Course

授業の内容や構成
Course Content / Plan

集合，命題，述語の基本的な考え方を，述語と集合の相互関係を中心に解説する。

1. 命題論理と意味
2. 推件計算と含意　　　　　　　
3. 命題代数と集合代数
4. 順序集合と束
5. 述語の演算・全称命題と存在命題
6. 完備束
7. 直積，直和の普遍性
8. 様々な意味論

履修条件・関連する科目
Course Prerequisites and Related Courses

履修条件は論理学1が履修済みであること。

成績評価の方法と基準
Course Evaluation Method and Criteria

講義中に与える演習課題の評価10％，期末試験90％，合計100点満点で60点以上を合格とする。
ただし大学の授業方針の状況に応じて，評価の方法と基準を変更する可能性あり。

教科書・参考書
Textbook/Reference book

必要に応じて講義内容を記した印刷物を配布する。

課外学習等（授業時間外学習の指示）
Study Load(Self-directed Learning Outside Course Hours)

講義において説明した理論を理解するために課題を与える。

授業開講形態等
Lecture format, etc.

遠隔授業（オンデマンド型）で行う場合の追加措置
Additional measures for remote class (on-demand class)

大学の授業実施方針の状況に応じて遠隔授業（オンデマンド型）で行う可能性がある。その際はzoom等が使えるネット環境が必要になる。