用户:XudongGuan
| 维基优秀新人 |
| 维基见习编辑 |
- 共产主义社会劳动成为一种需要。
- 人人为我、我为人人。
- 知识就是力量。
- 哪怕是任何一个小修改、任何一句讨论，我都为只增不减的知识海洋添加了一颗水分子。
大家好，我叫管旭东，对计算机科学及相关的数学、逻辑知识比较感兴趣。
维基统计
[编辑]- UTC时间：04:55 中文维基总条目：1,449,439
我的当前工作区域
[编辑]- 集合论 (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