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