MENU

Course Jukebox

Course Jukebox

Course Detail

Degree
Bachelor
Standard Academic Year
3
Course delivery methods
face-to-face
Subject
Mathematical sciences
Program
School
School of Science and Engineering
Department
College of Mathematics
Campus
Tsukuba Campus
Classroom
1E102
Course Offering Year
2023-2024
Course Offering Month
April - August
Weekday and Period
Fri4
Capacity
Credits
1.5
Language
English
Course Number
FB13451

Mathematical Logic I University of Tsukuba

Course Overview

命題論理と第一階の述語論理の形式的体系を定義し,その性質を調べる.完全性定理の証明を行う.その他.

Learning Achievement

論理の完全性の意味とその応用を理解することを目標とする.

Competence

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

Course prerequisites

集合入門の講義内容(写像,同値関係,選択公理等)を前提とする.

Grading Philosophy

レポート(100%)

Course schedule

数学の証明は正しい論理の積み重ねである.「正しい論理とは何か?」を数学的に研究するのが数理論理学である.
そのための最も基本的な枠組みが,述語論理である.述語論理の完全性を通じて,正しい論理はすべて,
ごく少数の基本的ルールから生み出されることを学ぶ.※ 2022年度は集中講義(オンライン・オンデマンド)で開講することになりました.
日程は以下のとおりです.土曜日の開講ですが,ある程度の期間,動画や資料を公開しますので,
都合のよいときに閲覧,視聴してください.

5/28 (Sat) ※ 2回分
6/4 (Sat)
6/11 (Sat) ※ 2回分
6/18 (Sat)
6/25 (Sat) ※ 2回分
7/2 (Sat)
7/9 (Sat) ※ 2回分
7/16 (Sat)
7/23 (Sat) ※ 2回分
7/30 (Sat)

Course type

Lectures

Online Course Requirement

Instructor

Takeuchi Kota,Shioya Masahiro

Other information

本講義には,対応する演習が存在しない.従って,自ら演習問題を解こうとする姿勢が通常より強く望まれる.

Site for Inquiry


Link to the syllabus provided by the university