学部・大学院区分
Undergraduate / Graduate

情報学部

時間割コード
Registration Code

1002200

科目区分
Course Category

科目名　【日本語】
Course Title

計算情報学７

科目名　【英語】
Course Title

Computational Informatics 7

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

SIS-11-3051-J

担当教員　【日本語】
Instructor

渡邉　崇 ○ 大岡　昌博

担当教員　【英語】
Instructor

WATANABE Takashi ○ OHKA Masahiro

単位数
Credits

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

秋１期木曜日２時限
Fall1 Thu 2

対象学年
Year

３年
3

授業形態
Course style

講義
Lecture

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

学部

必修・選択
Required / Selected

選択

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

人間の知識処理を論理的に表現する方法について学ぶことを目的とする

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

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

この授業では，論理学の基礎，論理学と知識の関係，知識の論理的表現と処理の基礎を学ぶことを目標とする．

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

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

この授業を通して，以下の点を学ぶことができる．
１．論理学の基礎
２．論理学と知識の関係
３．知識の論理的表現と処理

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

論理学の基礎を学んでいることが望ましい．

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

期末試験により，６０点以上を合格とする．

教科書・参考書
Textbook/Reference book

必要に応じて授業中に紹介する．

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

事前に配布する資料で予習をすることが望まれる．

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

原則，対面授業とする．

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