一阶逻辑

一阶逻辑 正文　　研究数学中由个体、函数及关系构成的命题以及由这些命题...数学的语言和推理建立形式系统的过程中，一阶逻辑处于核心地位，多数常见的数学公理系统都可在一阶逻辑中表述。（F.L.）G.弗雷格首先建立了一阶逻辑...

所属分类： 应用程序 术语 计算机术语

一阶逻辑体系

定义 一阶逻辑就是建立在一阶语言基础上的逻辑体系，一阶语言本身不具...的命题逻辑和谓词逻辑，称为“一阶逻辑”；由于它在现代逻辑体系中的基础地位，也...的主要形态。一阶逻辑逻辑曾被罗素等人看作是必然的真理，但是现在各种逻辑体系...

模态一阶逻辑

概述 模态一阶逻辑是指在经典一阶逻辑中加进模态概念。模态一阶逻辑实质上这和由经典命题逻辑构成模态命题的情形相同。模态一阶逻辑也可以在模态命题逻辑中加进量词而构成。 相关信息 逻辑 思想 思维模态一阶逻辑 ...

谓词演算

谓词演算 正文　　见一阶逻辑。 配图 相关连接 ...

所属分类： 数学术语 术语 自动化 计算机术语

高阶逻辑

高阶逻辑 正文　　又称广义谓词逻辑。它是一阶逻辑（见一阶理论及其元逻辑）的推广。在一阶逻辑中，量词只能用于个体变元，即只有个体约束变元，并且只有个体变元能作谓词变元的主目(见谓词逻辑)。这样就限制了一阶逻辑...

所属分类： 术语 类型论 计算机术语

KIF

一阶逻辑数学家用来描述问题的通用工具是逻辑学。早在维特根斯坦时代，许多...感兴趣的事情，结果简单逻辑学（如一阶逻辑FOL - First...) 等。一阶逻辑是用来表示知识的重要方法。一阶逻辑是一种形式语言系统...

无穷逻辑

无穷逻辑 正文　　将一阶逻辑中的公式和推理的长度推广至无穷长得到的。在...。由于一阶逻辑的模型论应用到数学的其他分支时受到了一定的限制，因而产生...(见集合论)，那么无穷逻辑Lαβ的形式语言与一阶逻辑的形式语言相似,即...

所属分类： 术语

二阶逻辑

简介在数理逻辑中，二阶逻辑是命题逻辑或一阶逻辑的扩展，它包含在谓词位置上(而不是像一阶逻辑那样只能在项的位置上)的变量，和约束它们的量词。所以... 要么有它要么没有它。作为另一个例子，我们用一阶逻辑可以把一个句子/断定...

所属分类： 计算机术语

分布式描述逻辑

式一阶逻辑而发展起来的，而它也继承了分布式一阶逻辑的一些缺点。例如，其...介绍分布式描述逻辑（Distributed Description Logic，DDL）是描述逻辑的一种特例。在DDL中，整个逻辑系统由一组...

阿隆佐·邱奇

的算法不可解性。同时证明了一阶逻辑中真命题全集的解法问题是不可解的。 ...

所属分类： 现代密码学家 艾伦图灵

搜索一阶逻辑相关的维吧

1[2][3][4][5]下一页最后一页