使用者:XudongGuan
外觀
維基優秀新人 |
維基見習編輯 |
- 共產主義社會勞動成為一種需要。
- 人人為我、我為人人。
- 知識就是力量。
- 哪怕是任何一個小修改、任何一句討論,我都為只增不減的知識海洋添加了一顆水分子。
大家好,我叫管旭東,對計算機科學及相關的數學、邏輯知識比較感興趣。
維基統計
[編輯]- UTC時間:17:44 中文維基總條目:1,451,058
我的當前工作區域
[編輯]- 集合論 (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