上一页

ⓘ Category:计算机逻辑




                                               

计算机逻辑

计算机,逻辑说明应用程序的计算机科学和人工智能的逻辑。 它包括: 计算理论的担忧形式的逻辑的基本问题方面。 例如:咖喱-霍华德的对应关系和游戏语义;. 在计算机科学应用为导向的逻辑研究。 例如:组合分的逻辑和抽象的解释;以及. 被视作为应用程序的计算机科学的逻辑工具。 例如:自动证明的定理和模型功效。. 软件和硬件的发展,在形式方法,例如在Z中使用的符号谓的逻辑。. 逻辑形式的自然表达的计算机科学基本概念。 例如:编程语言的形式语义,大厅的逻辑和编程逻辑;. 基本的数学逻辑,例如命题逻辑和谓的逻辑,通常的联合在一套理论研究被认为对于任何一所大学计算机科学课程都非常重要的理论基础。 高阶逻辑往往不是教,但在理论 ...

                                               

柯里-霍华德同构

咖喱-霍华德的对应关系在文:咖喱-霍华德的对应关系是计算机程序和数学证明的紧密联系;这对应关系也被称为咖喱-霍华德同构,该公式为相对应的类型或主张如种类型的对应关系。 这是形式的逻辑系统和公式计算的,计算微积分符号之间的相似性的促进。 它被认为是由美国数学家哈斯克尔 咖喱和逻辑学家威廉*阿尔文*霍尔韦德*威廉*阿尔文*霍华德的独立发现的。

                                               

Set packing

集装箱的问题是复杂的理论和组合中的一个经典的NP-完整的问题,是卡普的第二十一NP-完整的问题之一。

                                               

先决条件

在计算机编程、先决条件或先决条件是指执行一部分代码,必须建立条件。 如果前提条件受到侵犯,那么该守则将产生不确定的行为,因此他们的预期工作,执行能力是个未知数。 错误的前提条件也可能导致的安全问题。 通常,先决条件包括在有关的这一部分代码的文件。 有时它可以是一个特定的语法结构,例如警卫或断言的代码中被检测到。 例如,因仅仅定义为用于自然数大于或等于零整数。 因此,计算因子的计划将承担,所输入的价值是一个整数,并大于或等于零,这是一个先决条件。

                                               

否定为失败

否定为失效是合乎逻辑的否定做的解释,根据该公式的一种否定是真实的,如果并且只有当这个公式不可能证明是真实的。 否定为失败中使用的逻辑编程语言,例如序言和。 在逻辑上,拒绝该标准解释为式的否定是真实的,如果并且只有当这个公式是错误的。 如果这个公式是非真实无假,其否定被视为未知数。 反过来,基于否定为失败的解释的这个公式是消极被视为真实的。 在序言与否定被解释为根据否定为失效的处理。 如果在程序执行期间,口译员必须进行评估,不基地,它试图证明是正确的。 如果这次不成功,则不ab被视为真实的。 否定失败和不知道是真的假的共同默认的假设。 这就是所谓的封闭的世界的假设。

                                               

回答集编程

答案设置的编程在语法上类似于传统的编程逻辑和在语义上靠近非单调的逻辑是一种声明程序。 在传统的编程逻辑和答复设置的编程的主要差别之间是如何表示否定为失效。 在传统的逻辑程序、否定作失败的指示导失败;在回答组编程,这表明案文的一致性。

用户还搜索了:

...
...
...