User:Mhss

维基百科，自由的百科全书

維基資深主編

科學特別貢獻

維基內容專家

3級維基創作獎

Wikipedia:巴別
zh 此用戶的母語是漢語。
en-2 This user is able to contribute with an intermediate level of English.
C-4 这个用户能专业地使用C语言。
Lisp (lambda (user)     (setf (lisp-p user) t) )
re 该用户会使用正则表达式。
察看用戶語言

寒蝉退士，来自中国黑龙江省哈尔滨市。
领域：计算机科学基础理论和数理逻辑相关内容。
对维基发展的立场：做严格意义上的百科全书，反对涉及新闻时政。
座右铭：世间本没有路，走的人多了也是没有路。

目录 1 翻译和创建的条目 1.1 排序查找 1.2 数据库 1.3 形式逻辑 1.4 逻辑推理 1.5 数理逻辑 1.6 证明论 1.7 模型论 1.8 集合论 1.9 序数与基数 1.10 数学关系 1.11 序理论 1.12 点集拓扑 1.13 域理论 1.14 代数逻辑 1.15 抽象代数 1.16 布尔代数 1.17 类型论 1.18 计算理论 1.19 自动机 1.20 形式语言 1.21 计算机逻辑 1.22 编程语言 1.23 模态逻辑 1.24 数学分析 1.25 线性代数 1.26 初等数学 1.27 哲学逻辑 1.28 人物 1.29 杂类 2 外部链接

[编辑] 翻译和创建的条目

斜体为非完整翻译或创建但大幅度增订的条目，粗体为原创条目。

[编辑] 排序查找

红黑树 AVL树 B+树 跳跃列表 2-3-4树

[编辑] 数据库

PostgreSQL Ingres SQLite 关系模型 实体联系模型 关系代数 (数据库) 关系演算 元组关系演算 域关系演算

[编辑] 形式逻辑

经典逻辑 传统逻辑 对立四边形 欧拉图 文氏图 蜘蛛图 布尔三段论 直言三段论 假言三段论 选言三段论 三段論 准三段论 逻辑史 矛盾 模糊逻辑 逻辑论证 逻辑学 肯定前件 逻辑符号表 多重普遍性问题 前件 后件 概率逻辑 推理规则 有效性 全称实例化 周延 同一性

[编辑] 逻辑推理

推理 逻辑推理 逆推法 非单调逻辑 可废止推理 演绎推理 溯因推理 归纳法 可废止逻辑 自动认识逻辑 缺省逻辑 信念修正 直接推理

[编辑] 数理逻辑

合一 一阶逻辑 亚结构逻辑 命题逻辑 多值逻辑 相干逻辑 概念文字 弗雷格命题演算 直觉主义逻辑 中间逻辑 二階邏輯 高阶逻辑 可计算性逻辑 爆炸原理 实质条件 指示条件 蕴涵 逻辑等价 论域 公理模式 普遍化 存在图 原子句子 句子 (数理逻辑) 皮尔士定律 重言式 真值函数 开放句子 量化 (数理逻辑) 自由变量和约束变量 线性逻辑 布尔值函数 前束范式 存在量化 公式 (数理逻辑) 合式公式 原子公式 命题变量 哥德尔数 谓词变量 外延性 递归论 非直谓性 唯一量化 文字 (数理逻辑) 子句 (逻辑) 实体图 三值逻辑 武卡谢维奇逻辑 一元谓词演算

[编辑] 证明论

相继式 相继式演算 切消定理 演绎定理 BHK释义 自然演绎 结构规则 希尔伯特演绎系统 可实现性 蕴涵命题演算

[编辑] 模型论

斯科伦范式 布尔值模型 求值 T-模式 结构 (数理逻辑) 泛函谓词 紧致性定理 哥德尔完备性定理 可靠性定理 勒文海姆-斯科伦定理 基本子结构 子模型 初等等价

[编辑] 集合论

配对函数 选择公理 无穷公理 外延公理 分类公理 配对公理 空集公理 并集公理 幂集公理 正规公理 良序定理 冯·诺伊曼全集 继承有限集合 类 (数学) 基本元素 策梅罗-弗兰克尔集合论 替代公理 传递集合 斯科伦悖论 大小限制公理 全局选择公理 新基础集合论 冯诺伊曼-博内斯-哥德尔集合论 策梅罗集合论 集合划分 索引集 可数选择公理 继承可数集合 集合族 集合域

[编辑] 序数与基数

超限数 绝对无限 序类型 极限序数 冯·诺伊曼基数指派 康托尔-伯恩斯坦-施罗德定理 等势 基数指派 Burali-Forti悖论 康托尔悖论 康托尔定理 序数 超限归纳法 自然数的集合论定义

[编辑] 数学关系

有序对 等价类 笛卡尔积 良序关系 Mostowski塌陷引理 偏序关系 全序关系 传递闭包

[编辑] 序理论

伽罗瓦连接 有向集合 序理论 最小不动点 克莱尼不动点定理 滤子 (数学) 理想 (数学) 相对有补格 无穷降链 上闭集合 三分法 格 (数学) 完全格 最小上界 最大下界 共尾性 单调函数 闭包 (数学) Knaster–Tarski定理 闭包算子 序嵌入 序同构 极限保持函数 超滤子 有界集合 特殊化预序

[编辑] 点集拓扑

函数空间 有限交集性质 邻域 邻域系统 开集 闭开集 覆盖 (拓扑学) 紧集 分离集合 完全不连通空间 拓扑不可区分性 导出集合 Heine-Borel定理 豪斯多夫空间 T1空间 柯爾莫果洛夫空間 正則空間 正规空间 完全豪斯多夫空间 吉洪诺夫空间 密着拓扑 离散空间 一致同构 一致空间 一致性质 度量空间 度量

[编辑] 域理论

完全偏序 斯科特连续性 域理论 紧致元素 斯科特域 指称语义 斯科特信息系统

[编辑] 代数逻辑

Heyting代数 Lindenbaum–Tarski代数 多值代数 剩余格 完全Heyting代数 代数逻辑 圆柱代数 一元布尔代数 剩余布尔代数 关系代数 (抽象代数) 导出代数 作用代数 抽象代数逻辑 内部代数

[编辑] 抽象代数

布尔环 半环 交运算 并运算 补运算 同余关系 语法幺半群 半群 吸收律

[编辑] 布尔代数

布尔逻辑 布尔代数 布尔函数 规范形式 (布尔代数) 真值表 真值 Quine-McCluskey算法 蕴涵项 零阶逻辑 合取范式 析取范式 布尔素理想定理 Sheffer竖线 自足算子 自由布尔代数 完全布尔代数 Stone布尔代数表示定理 两元素布尔代数

[编辑] 类型论

类型论 Curry-Howard同构 简单类型lambda演算 直觉类型论 构造演算 逻辑框架 系统F 类型推论 有类型lambda演算 依赖类型 子类型 类型居留问题

[编辑] 计算理论

可计算函数 递归集合 递归可枚举集合 递归函数 原始递归函数 Λ演算 组合子逻辑 B,C,K,W系统 高阶函数 SKI组合子演算 邱奇数 不动点组合子 Beta范式 规范化性质 寄存器机 马尔可夫算法 波斯特-图灵机 标记系统 计数器机 μ算子 SECD抽象机

[编辑] 自动机

确定下推自动机 线性有界自动机 自动机 确定有限状态自动机 非确定有限状态自动机 判定器 下推自动机 半自动机 状态转移表 幂集构造 状态图 Moore有限状态机 Mealy机 有限状态自动机 嵌入下推自动机

[编辑] 形式语言

Kleene星号 克莱尼代数 两级文法 扩充巴科斯范式 扩展巴科斯范式 乔姆斯基范式 上下文有关文法 不收缩文法 Kuroda范式 附标文法 附标语言 适度上下文有关语言 树-邻接文法 上下文无关语言 上下文有关语言 无限制文法 确定上下文无关文法 Myhill-Nerode定理 前缀文法 字符串运算 字母表 可识别语言 字符串 Ogden引理

[编辑] 计算机逻辑

Horn子句 归结原理 计算机逻辑 封闭世界假定 否定为失败 开放世界假定 回答集编程 Curry化 Hoare逻辑 抽象释义

[编辑] 编程语言

Lispkit Lisp ISWIM 及早求值 求值策略

[编辑] 模态逻辑

模态逻辑 正规模态逻辑 关系语义 严格条件 反事实条件 时间逻辑 可能世界 可及关系 认识逻辑 S5 (模态逻辑) 模态伙伴

[编辑] 数学分析

最小上界公理 连分数 指数函数 三角恒等式 三角函数 反三角函数 迭代函数 次加性

[编辑] 线性代数

线性映射 旋转 反射 (数学) 缩放 投影 零空间 核 (代数) 二次型 双线性映射 对称双线性形式 确定双线性形式 多线性映射 正交矩阵 吉文斯旋转 雅可比旋转 点反演 旋转矩阵 轴角 转置矩阵 基 (线性代数) 张量积 并矢积 外积 半双线性形式 多线性形式 正交补 矩阵的秩 行空间与列空间 线性子空间 可对角化矩阵

[编辑] 初等数学

对数 方根 圆锥曲线 双曲线 椭圆

[编辑] 哲学逻辑

非形式逻辑 次协调逻辑 正理经 思维规律 无矛盾律 同一律 二值原理 哲学逻辑 外延 内涵 自由逻辑 排中律 逻辑哲学论 逻辑的语义 真理的语义理论 博弈语义 逻辑和谐 真值语义 复合性原理

[编辑] 人物

格哈德·根岑 金岳霖 查尔斯·桑德斯·皮尔士 威拉德·冯·奥曼·蒯因 莫里斯·弗雷歇

[编辑] 杂类

外旋轮线 内旋轮线 HSL 色彩空间 CIE 1931 色彩空间 Lab 色彩空间 梵語 濕婆經

[编辑] 外部链接

• 我的技术工作，包含 unix v7 手册重要条目如 yacc、lex、bourne shell、awk、sed、m4 等和其他 unix/linux 相关技术文献的中文翻译。
• 我的闲文。
• 我的豆瓣。