2001年初等集合論
 

• 集合論：羅素悖論、公理系統、形式語言(set-notation1)
• 簡單的例子：命題(set-notation-1-examples)
• 初等集合論的基本題目(set-notation2a)
• 初等集合論的基本題目連解答(set-notation2-sol)
• set-theory-exercise1只有解答(set-notation2-sola)
• 集合四：命題的否定式(set-notation4)
• 集合三：有序對，併集定義(set-notation3)
• 集合三：有序對，併集習作(set-notation3b)
• 集合論(五) 有序對、冪集、卡氏積(set-notation5)
• 集合論(六)：關係(set-notation6)
• 集合論(七)：等價關係、等價類、商集(set-notation7)
• 集合(八)：等價關係、劃分(set-notation8)
• 集合(八A)：等價關係的應用(set-notation8a)
• 集合論(九)：函數(set-notation9)
• 集合論(十)：映像的原像與像(set-notation10)
• 集合論(十一)：映射：單射、滿射(set-notation11)
• 集合論(十二)：函數方程(一)(set-notation12)
• 集合論(十三)：單射函數的等價性質及自然數(set-notation13)
• 集合論(十四)：函數方程(二)(set-notation14)

有關學習課程、家課的文件

• 2003年家課(現有8份)
• 2001年幾何家課(共11份)
• 幾何集合論常識問答(共23題)
• 學生講解：集合論的問題(共17題)
• 有關集合論的應用：未完成(revision-1)
• 2003年幾何測驗一

較為抽象的概念

• 常用邏輯等式(logic-laws)
• 邏輯問題一(logic-homework1)
• 證明方法總結
• 主詞、謂詞
• 一階邏輯(logic-laws4)
• 整數的性質(integers)
• 自然數公理系統(natural-number-axioms)

新加入的內容(未處理過)：

• 等價關係、映射：基本問題(共5題)(2003-set-homework-01)
• Math 289 Course Webpage, Winter 2002, Harm Derksen

2001年度幾何課的學生筆記(每週一人一堂，輪著做筆記)

• 學生陳玉葉的集合論二筆記
• 學生林卓笙的集合論七筆記