用戶:XudongGuan

維基優秀新人

維基見習編輯

共產主義社會勞動成為一種需要。

人人為我、我為人人。

知識就是力量。

哪怕是任何一個小修改、任何一句討論，我都為只增不減的知識海洋添加了一顆水分子。

大家好，我叫管旭東，對計算機科學及相關的數學、邏輯知識比較感興趣。

維基統計

• UTC時間：01:55 中文維基總條目：1,422,510

我的當前工作區域

• 集合論 (Set Theory)

• 序理論 (Order Theory)

• 範疇論 (Category Theory)：Category:範疇論

相關的文章：Wikipedia:如何在數學範疇寫維基百科條目

我的其它興趣

• 泛代數 (Universal Algebra)

• 邏輯 (Logic)

• 線性邏輯 (Linear Logic)

• 並發理論 (Concurrency Theory)

• 進程代數 (Process Algebra)

• Chu空間 (Chu Space)

• 程式語言 (Programming Language)

• Lambda演算 (Lambda Calculus)

• Pi演算 (Pi Calculus)

• 面向方面編程 (Aspect-Oriented Programming)

• 邏輯程序設計 (Logic Programming)

• 自動定理證明 (Theorem Prover, Proof Assistant)

有共同愛好的朋友

• User:Isnow
• User:Mountain
• User:Ross
• User:Starfish -- Type Theory
• User:Zhaoway