跳转到内容
主菜单
主菜单
移至侧栏
隐藏
导航
首页
分类索引
特色内容
新闻动态
最近更改
随机条目
资助维基百科
帮助
帮助
维基社群
方针与指引
互助客栈
知识问答
字词转换
IRC即时聊天
联络我们
关于维基百科
搜索
搜索
外观
创建账号
登录
个人工具
创建账号
登录
未登录编辑者的页面
了解详情
贡献
讨论
目录
移至侧栏
隐藏
序言
1
正在感兴趣的数学条目
2
正在感兴趣的抽象代数条目
3
正在感兴趣的编程语言条目
4
正在感兴趣的编译技术条目
5
正在感兴趣的形式语义条目
6
和我联系
开关目录
User
:
Zhaoway
25种语言
Български
বাংলা
Čeština
Dansk
Deutsch
Ελληνικά
English
Español
Français
ગુજરાતી
עברית
हिन्दी
日本語
한국어
Bahasa Melayu
Русский
Slovenčina
Српски / srpski
தமிழ்
ไทย
Татарча / tatarça
Українська
اردو
Tiếng Việt
ייִדיש
用户页
讨论
不转换
不转换
简体
繁體
大陆简体
香港繁體
澳門繁體
大马简体
新加坡简体
臺灣正體
阅读
编辑
查看历史
工具
工具
移至侧栏
隐藏
操作
阅读
编辑
查看历史
常规
链入页面
相关更改
用户贡献
日志
查看用户组
上传文件
特殊页面
固定链接
页面信息
获取短链接
下载二维码
打印/导出
下载为PDF
打印页面
在其他项目中
外观
移至侧栏
隐藏
维基百科,自由的百科全书
我叫赵蔚。生活在
中国
南京
。
正在感兴趣的
数学
条目
[
编辑
]
范畴论
拓扑学
点集拓扑
拓扑空间
,
分离公理
,
连通空间
,
紧空间
,
仿紧空间
连续映射
,
开映射
,
同胚
代数拓扑
同伦
拓扑群
,
李群
正在感兴趣的
抽象代数
条目
[
编辑
]
群
-
环
-
体
-
域
-
幺半群
群论
-
群同态
-
群同构
-
变换群
一般线性群
-
正交群
线性代数相关条目
正在感兴趣的
编程语言
条目
[
编辑
]
LISP
,
Common LISP
,
Scheme
ML
,
SML
,
Ocaml
,
Haskell
Erlang
,
CLEAN
APL
,
A+
,
J
Forth
,
PostScript
,
Joy
Unlambda
,
Intercal
正在感兴趣的
编译
技术条目
[
编辑
]
垃圾收集
类型检查
正在感兴趣的
形式语义
条目
[
编辑
]
λ演算
,
π演算
,
组合逻辑
,
函数式编程语言
指称语义
,
论域论
自动定理证明
Isabelle/HOL
,
HOL
和我联系
[
编辑
]
我的
网络日记
。
我有一个
WikiWiki留言板
。
欢迎您给我
留言
。