説明
数学論理学の基礎的大学院課程。命題論理と述語論理、証明論、ゲンツェンのカット消去、完全性、コンパクト性、ヘンキン模型、モデル理論、算術と決定不能性。時間が許せば担当教員と聴衆の興味に応じた特別トピック。
原語による参照テキスト
A basic graduate course in mathematical logic. Propositional and predicate logic, proof theory, Gentzen's Cut-Elimination, completeness, compactness, Henkin models, model theory, arithmetic and undecidability. Special topics (time permitting) depending on interests of instructor and audience.
出典と参照
日付と出典は、情報を確認する際の参考のために保持されています。翻訳は読みやすくするための提案であり、条件や要件については公式の出典が基準となります。
出典の参照 : https://calendar.carleton.ca/grad/courses/MATH/