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