用户:Mhss
维基百科，自由的百科全书
| 維基資深主編 |
| 科學特別貢獻 |
| 維基內容專家 |
| 3級維基創作獎 |
| 维基百科:巴别 | ||
|---|---|---|
|
||
|
||
|
||
|
||
|
||
| 察看用戶語言 |
寒蝉退士，来自中国黑龙江省哈尔滨市。
领域：计算机科学基础理论和相关数理逻辑内容。
对维基发展的立场：做严格意义上的百科全书，反对涉及新闻时政。
座右铭：世间本没有路，走的人多了也是没有路。
[编辑] 翻译和创建的条目
斜体为非完整翻译或创建但大幅度增订的条目，粗体为原创条目。
[编辑] 排序查找
[编辑] 数据库
PostgreSQL Ingres SQLite 关系模型 实体联系模型 关系代数 (数据库) 关系演算 元组关系演算 域关系演算
[编辑] 形式逻辑
经典逻辑 传统逻辑 对立四边形 欧拉图 文氏图 蜘蛛图 布尔三段论 直言三段论 假言三段论 选言三段论 三段論 准三段论 逻辑史 矛盾 模糊逻辑 逻辑论证 逻辑学 肯定前件 逻辑符号表 多重普遍性问题 前件 后件 概率逻辑 推理规则 有效性 全称实例化 周延 同一性
[编辑] 逻辑推理
推理 逻辑推理 逆推法 非单调逻辑 可废止推理 演绎推理 溯因推理 归纳法 可废止逻辑 自动认识逻辑 缺省逻辑 信念修正 直接推理
[编辑] 数理逻辑
合一 一阶逻辑 亚结构逻辑 命题逻辑 多值逻辑 相干逻辑 概念文字 弗雷格命题演算 直觉主义逻辑 中间逻辑 二階邏輯 高阶逻辑 可计算性逻辑 爆炸原理 实质条件 直陈条件 蕴涵 逻辑等价 论域 公理模式 普遍化 存在图 原子句子 句子 (数理逻辑) 皮尔士定律 重言式 真值函数 开放句子 量化 (数理逻辑) 自由变量和约束变量 线性逻辑 布尔值函数 前束范式 存在量化 公式 (数理逻辑) 合式公式 原子公式 命题变量 哥德尔数 谓词变量 外延性 递归论 非直谓性 唯一量化 文字 (数理逻辑) 子句 (逻辑) 实体图 三值逻辑 武卡谢维奇逻辑 一元谓词演算
[编辑] 证明论
相继式 相继式演算 切消定理 演绎定理 BHK释义 自然演绎 结构规则 希尔伯特演绎系统 可实现性 蕴涵命题演算
[编辑] 模型论
斯科伦范式 布尔值模型 求值 结构 (数理逻辑) 泛函谓词 紧致性定理 哥德尔完备性定理 可靠性定理 勒文海姆-斯科伦定理 基本子结构 子模型 初等等价
[编辑] 集合论
配对函数 选择公理 无穷公理 外延公理 分类公理 配对公理 空集公理 并集公理 幂集公理 正规公理 良序定理 冯·诺伊曼全集 继承有限集合 类 (数学) 基本元素 策梅罗-弗兰克尔集合论 替代公理 传递集合 斯科伦悖论 大小限制公理 全局选择公理 新基础集合论 冯诺伊曼-博内斯-哥德尔集合论 策梅罗集合论 集合划分 索引集 可数选择公理 继承可数集合 集合族 集合域
[编辑] 序数与基数
超限数 绝对无限 序类型 极限序数 冯·诺伊曼基数指派 康托尔-伯恩斯坦-施罗德定理 等势 基数指派 布拉利-福尔蒂悖论 康托尔悖论 康托尔定理 序数 超限归纳法 自然数的集合论定义
[编辑] 数学关系
有序对 等价类 笛卡尔积 良序关系 莫斯托夫斯基塌陷引理 偏序关系 全序关系 传递闭包
[编辑] 序理论
伽罗瓦连接 有向集合 序理论 最小不动点 克莱尼不动点定理 滤子 (数学) 理想 (数学) 相对有补格 无穷降链 上闭集合 三分法 格 (数学) 完全格 最小上界 最大下界 共尾性 单调函数 闭包 (数学) 克纳斯特-塔斯基定理 闭包算子 序嵌入 序同构 极限保持函数 超滤子 有界集合 特殊化预序
[编辑] 点集拓扑
函数空间 有限交集性质 邻域 邻域系统 开集 闭开集 覆盖 (拓扑学) 紧集 分离集合 完全不连通空间 拓扑不可区分性 导集 海涅-博雷尔定理 豪斯多夫空间 T1空间 柯爾莫果洛夫空間 正則空間 正规空间 完全豪斯多夫空间 吉洪诺夫空间 密着拓扑 离散空间 一致同构 一致空间 一致性质 度量空间 度量 基 (拓撲學)
[编辑] 域理论
完全偏序 斯科特连续性 域理论 紧致元素 斯科特域 指称语义 斯科特信息系统
[编辑] 代数逻辑
海廷代数 林登鲍姆-塔斯基代数 多值代数 剩余格 完全海廷代数 代数逻辑 圆柱代数 一元布尔代数 剩余布尔代数 关系代数 (抽象代数) 导出代数 作用代数 抽象代数逻辑 内部代数 模態代數
[编辑] 抽象代数
布尔环 半环 交运算 并运算 补运算 同余关系 语法幺半群 半群 吸收律 直積
[编辑] 群論
群 商群 基礎群論 群同態 群的生成集合 凱萊表 環圖 凱萊定理 凱萊圖 共軛閉包 群的展示 字 (群論) 阿貝爾群 群的直和 群同構 有限生成阿貝爾群 初等阿貝爾群 一般線性群 離散群
[编辑] 布尔代数
布尔逻辑 布尔代数 布尔函数 规范形式 (布尔代数) 真值表 真值 Quine-McCluskey算法 蕴涵项 零阶逻辑 合取范式 析取范式 布尔素理想定理 谢费尔竖线 自足算子 自由布尔代数 完全布尔代数 Stone布尔代数表示定理 两元素布尔代数
[编辑] 类型论
类型论 柯里-霍华德同构 简单类型lambda演算 直觉类型论 构造演算 逻辑框架 系统F 类型推论 有类型lambda演算 依赖类型 子类型 类型居留问题
[编辑] 计算理论
可计算函数 递归集合 递归可枚举集合 递归函数 原始递归函数 Λ演算 组合子逻辑 B,C,K,W系统 高阶函数 SKI组合子演算 邱奇数 不动点组合子 Beta范式 规范化性质 寄存器机 马尔可夫算法 波斯特-图灵机 标记系统 计数器机 μ算子 SECD抽象机
[编辑] 自动机
确定下推自动机 线性有界自动机 自动机 确定有限状态自动机 非确定有限状态自动机 判定器 下推自动机 半自动机 状态转移表 幂集构造 状态图 摩尔有限状态机 Mealy机 有限状态自动机 嵌入下推自动机
[编辑] 形式语言
克莱尼星号 克莱尼代数 两级文法 扩充巴科斯范式 扩展巴科斯范式 乔姆斯基范式 上下文有关文法 不收缩文法 黑田范式 附标文法 附标语言 适度上下文有关语言 树-邻接文法 上下文无关语言 上下文有关语言 无限制文法 确定上下文无关文法 迈希尔-尼罗德定理 前缀文法 字符串运算 字母表 (计算机科学) 可识别语言 字符串 鄂登引理
[编辑] 计算机逻辑
霍恩子句 归结原理 计算机逻辑 封闭世界假定 否定为失败 开放世界假定 回答集编程 柯里化 霍尔逻辑 抽象释义
[编辑] 编程语言
[编辑] 模态逻辑
模态逻辑 正规模态逻辑 关系语义 严格条件 反事实条件 时间逻辑 可能世界 可及关系 认识逻辑 S5 (模态逻辑) 模态伙伴
[编辑] 数学分析
连分数 指数函数 三角恒等式 三角函数 反三角函数 迭代函数 次加性
[编辑] 线性代数
线性映射 旋转 反射 (数学) 缩放 投影 零空间 核 (代数) 二次型 双线性映射 对称双线性形式 确定双线性形式 多重线性映射 正交矩阵 吉文斯旋转 雅可比旋转 点反演 旋转矩阵 轴角 转置矩阵 基 (线性代数) 张量积 并矢积 外积 半双线性形式 多重线性形式 正交补 秩 (线性代数) 行空间与列空间 线性子空间 可对角化矩阵
[编辑] 初等数学
[编辑] 哲学逻辑
非形式逻辑 次协调逻辑 正理经 思维规律 无矛盾律 同一律 二值原理 哲学逻辑 外延 内涵 自由逻辑 排中律 逻辑哲学论 逻辑的语义 T-模式 真理的语义理论 博弈语义 逻辑和谐 真值语义 复合性原理
[编辑] 古典語言
梵語 濕婆經 止韻 隨韻 仰月點 巴利語 吠陀梵語 吠陀重音 ITRANS 哈佛-京都转写 天城文 巴膩尼 耶斯迦 中古印度-雅利安語 古希臘語 古希臘語音系 希臘語正字法 古希腊语语法 希臘語變音符號 古希臘語語法 (表格) 雅典希臘語 古波斯語 婆羅米文
[编辑] 文法
不定過去時 未完成時 完成體貌 將來時 條件語氣 祈使語氣 祈願語氣 直陳語氣 虛擬語氣 元音詞幹 中间被动语态 過去完成時 方位格 工具格
[编辑] 印歐祖語
原始印欧词根 印歐元音變換 原始印歐名詞 原始印歐動詞 原始印度-伊朗語 原始希臘語 邁錫尼希臘語 原始印歐質詞 原始印歐音系 印歐語音定律 原始印歐代詞 原始印歐數詞 印歐系詞 原始印歐重音 喉音理論 赫梯語
[编辑] 人物
格哈德·根岑 金岳霖 查尔斯·桑德斯·皮尔士 威拉德·冯·奥曼·蒯因 莫里斯·弗雷歇
[编辑] 杂类
外旋轮线 内旋轮线 HSL和HSV色彩空间 CIE1931色彩空间 Lab色彩空间 僧伽羅語
[编辑] 感言
- 翻譯應當樸拙，不要弄巧成拙。
- 我的個人觀點無關緊要。
- 誠實和勇氣是第一位的，意志次之，能力再次，知識再再次。
- 我并非數學專業科班出身，并且對數學沒有特殊的天分或喜好，之所以翻譯了很多此類條目，只是當時覺得這個條目很有必要并且那時沒有專家人士在做這項工作。我沒有由于這些工作而得到任何特權，因為在維基中沒有特權。
