南山大学　シラバス検索用

講義題目
開講キャンパス	瀬戸キャンパス
授業概要	数理情報研究科での研究を進めるのに必要な基本的なスキル、すなわち、文献や情報の検索方法、文献の講読方法、モデル構築の方法、ソフトウエアの活用方法について学ぶ。同時に修士論文のテーマを設定する。
学修目標	１．数学的に厳密な論証能力を養成する。２．公理的集合論の基本的概念の取り扱いができる。
授業計画	第１週　　　　　Why Axioms and formal logic 第２週　　　　　Extensionality and Comprehension 第３週　　　　　Relations functions and well-orderings 第４週〜第７週　Ordinals and cardinals 第８週〜第10週　Martin's Axiom 第11週〜第12週　The Souslin problem 第13週〜第15週　The club filters and diamond principles
評価方法	演習時間内の発表とレポートの合計
テキスト	Set Theory An Introduction to Independence Proofs K.Kunen 著 North-Holland
その他