User:Mhss
维基百科，自由的百科全书
| 維基內容專家 |
| 維基助理主編 |
| 1級維基創作獎 |
| Wikipedia:巴別 | ||
|---|---|---|
|
||
|
||
|
||
|
||
|
||
| 察看用戶語言 |
东西合壁，今古齐观，凡生苦短，集灭无心。
研究领域：算法与数据结构、形式语言、Unix 和数理逻辑相关内容。
User ID: 17245，来自中国黑龙江省哈尔滨市。
对维基发展的看法：做严格意义上的百科全书，绝不涉及新闻时政。
目录 |
[编辑] 翻译的条目
斜体为非完整翻译或创建，但大幅度增订的条目。
[编辑] 排序查找
[编辑] 数据库
PostgreSQL Ingres SQLite 关系模型 实体联系模型
[编辑] 形式逻辑
经典逻辑 传统逻辑 对立四边形 欧拉图 文氏图 蜘蛛图 布尔三段论 直言三段论 假言三段论 选言三段论 三段論 准三段论 逻辑史 矛盾 模糊逻辑 逻辑论证 逻辑学 肯定前件 逻辑符号表 多重一般性问题 前件 后件 概率逻辑 推理规则 有效性 全称实例化 周延 同一性
[编辑] 逻辑推理
推理 逻辑推理 逆推法 非单调逻辑 可废止推理 演绎推理 溯因推理 归纳法 可废止逻辑 自动认识逻辑 缺省逻辑 信念修正 直接推理
[编辑] 数理逻辑
合一 一阶逻辑 亚结构逻辑 命题逻辑 多值逻辑 相干逻辑 概念文字 弗雷格的命题演算 直觉逻辑 中间逻辑 二階邏輯 高阶逻辑 可计算性逻辑 爆炸原理 实质条件 指示条件 蕴涵 逻辑等价 论域 公理模式 普遍化 存在图 原子句子 句子 (数理逻辑) Peirce 定律 重言式 真值函数 开放句子 量化 (数理逻辑) 自由变量和约束变量 线性逻辑 布尔值函数 前束范式 Skolem范式 存在量化 布尔值模型 公式 (数理逻辑) 求值 合式公式 相继式 原子公式 命题变量 相继式演算 切消定理 演绎定理 类型论 哥德尔数 谓词变量 外延性 T-模式 BHK释义 自然演绎 结构规则 结构 递归论 非直谓性 泛函谓词 紧致性定理 哥德尔完备性定理 可靠性定理 唯一量化 Löwenheim-Skolem定理 基本子结构 子模型 初等等价 文字 (数理逻辑) 子句 (逻辑) Sheffer竖线 实体图
[编辑] 集合论
配对函数 选择公理 无穷公理 外延公理 分类公理 配对公理 空集公理 并集公理 幂集公理 正规公理 良序定理 冯·诺伊曼全集 继承有限集合 类 (数学) 基本元素 Zermelo-Fraenkel 集合论 替代公理 Mostowski塌陷引理 传递集合 Skolem悖论 超限数 Burali-Forti悖论 康托尔悖论 绝对无限 康托尔定理 序类型 极限序数 冯·诺伊曼基数指派 Cantor-Bernstein-Schroeder定理 等势 基数指派 有序对 大小限制公理 全局选择公理 等价类 笛卡尔积 新基础集合论 冯诺伊曼-博内斯-哥德尔集合论 Zermelo 集合论
[编辑] 布尔代数
布尔逻辑 布尔代数 布尔函数 规范形式 (布尔代数) 真值表 真值 Quine-McCluskey算法 蕴涵项 零阶逻辑 合取范式 析取范式 布尔素理想定理 自足算子
[编辑] 序理论与抽象代数
Heyting代数 伽罗瓦连接 Lindenbaum–Tarski代数 多值代数 剩余格 良序关系 有向集合 最小不动点 域理论 Kleene不动点定理 Scott连续性 完全偏序 序理论 布尔环 滤子 (数学) 理想 (数学) 最小上界公理 相对有补格 无穷降链 上部集合
[编辑] 计算理论
寄存器机 马尔可夫算法 可计算函数 递归集合 递归可枚举集合 递归函数 原始递归函数 Post-图灵机 标记系统 简单类型lambda演算 B,C,K,W系统 组合子逻辑 高阶函数 SKI组合子演算 Curry-Howard同构 直觉类型论 邱奇数 不动点组合子 Beta范式 规范化性质 构造演算 逻辑框架 系统F
[编辑] 计算机逻辑
Horn子句 归结原理 计算机逻辑 封闭世界假定 否定为失败 开放世界假定 回答集编程 Curry化 Hoare 逻辑
[编辑] 模态逻辑
模态逻辑 正规模态逻辑 关系语义 严格条件 反事实条件 时间逻辑 可能世界 可及关系 认识逻辑
[编辑] 哲学逻辑
非形式逻辑 次协调逻辑 思维规律 无矛盾律 同一律 二值原理 哲学逻辑 外延 内涵 自由逻辑 排中律 逻辑哲学论 逻辑的语义 真理的语义理论 博弈语义 逻辑和谐 真值语义
[编辑] 杂类
正理经 格哈德·根岑 金岳霖 查尔斯·桑德斯·皮尔士 威拉德·冯·奥曼·蒯因
