学部・大学院区分
Undergraduate / Graduate		情報・博前
時間割コード
Registration Code		2510031
科目区分
Course Category
科目名　【日本語】
Course Title		数学基礎論特論1
科目名　【英語】
Course Title		Foundations of Mathematics 1
コースナンバリングコード
Course Numbering Code		GSI116031J
担当教員　【日本語】
Instructor		松原　洋 ○ 木原　貴行 吉信　康夫
担当教員　【英語】
Instructor		MATSUBARA Yo ○ KIHARA Takayuki YOSHINOBU Yasuo
単位数
Credits		1
開講期・開講時間帯
Term / Day / Period		秋１期 月曜日 ２時限
Fall1 Mon 2
対象学年
Year		１年
1
授業形態
Course style
開講系（学部）・開講専攻（大学院）
Subject
必修・選択
Required / Selected
選択


授業の目的　【日本語】
Goals of the Course(JPN)
本講義の目的は公理的集合論の導入部の学習である。
授業の目的　【英語】
Goals of the Course
This is an introduction to axiomatic set theory.
到達目標　【日本語】
Objectives of the Course(JPN)
集合論の公理系がどのようなものかを理解する。
またそれに基づいて数学で扱う関係や写像や自然数というような基本概念がどのように構築されているかを理解する。
到達目標　【英語】
Objectives of the Course
授業の内容や構成
Course Content / Plan
Possible topics are the following:
(1) Introduction to axiomatic set theory
(2) Metamathmatical application of set theory (consistency of theory of natural numbers)
履修条件・関連する科目
Course Prerequisites and Related Courses
成績評価の方法と基準
Course Evaluation Method and Criteria
Your grade will be assigned based upon assignments (projects) and an examination.
教科書・参考書
Textbook/Reference book
課外学習等（授業時間外学習の指示）
Study Load(Self-directed Learning Outside Course Hours)
You are expected to do some assignments almost every week.
I will give at least one week notice prior to the due day.
授業開講形態等
Lecture format, etc.
遠隔授業（オンデマンド型）で行う場合の追加措置
Additional measures for remote class (on-demand class)
大学の授業実施方針の状況に応じて遠隔授業（オンデマンド型）で行う可能性がある。その際はzoom等が使えるネット環境が必要になる。