Course Overview

数理論理学の基礎と応用について論じる.

Learning Achievement

公理的集合論への入門を通じて数理論理学諸分野の基礎的な概念と手法を習得する。

Competence

数学類の専門コンピテンス：数学の専門知識（情報数学の理解）
汎用コンピテンス：批判的・創造的思考力，データ・情報リテラシー，広い視野と国際性

Course prerequisites

素朴集合論(集合入門の講義内容に相当)と数理論理学の基礎(数理論理学1の講義内容に相当)を習得していることが望ましい.

Grading Philosophy

レポート (100%)

Course schedule

数理論理学の基礎と応用について論じる。

Course type

Lectures

Online Course Requirement

Instructor

Shioya Masahiro

Other information

自らの興味関心を広げて主体的に学習してほしい。

Site for Inquiry

Link to the syllabus provided by the university