用户:XudongGuan

维基优秀新人

维基见习编辑

共产主义社会劳动成为一种需要。

人人为我、我为人人。

知识就是力量。

哪怕是任何一个小修改、任何一句讨论，我都为只增不减的知识海洋添加了一颗水分子。

大家好，我叫管旭东，对计算机科学及相关的数学、逻辑知识比较感兴趣。

维基统计

• UTC时间：02:01 中文维基总条目：1,422,511

我的当前工作区域

• 集合论 (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