go top

predicate logic

  • 谓词逻辑:一类符号形式系统,如一阶逻辑、二阶逻辑、多分类逻辑或无穷逻辑等。

网络释义专业释义英英释义

  [数] 谓词逻辑

在数理逻辑中,谓词逻辑Predicate logic)是符号形式系统的通用术语,比如一阶逻辑,二阶逻辑,多类逻辑或infinitary..

基于3598个网页-相关网页

  谓词演算

... primitive recursive predicate 原始递归谓词,原始递... predicate logic 谓词演算 false predicate 假谓词 ...

基于66个网页-相关网页

短语

predicate logic language 谓词逻辑语言

first order predicate logic [数] 一阶谓词逻辑 ; 叙述逻辑

first-order predicate logic 一阶谓词逻辑

third order predicate logic [数] 三阶谓词逻辑

First-order Fuzzy Predicate Logic 一阶模糊谓词逻辑

second-order predicate logic [数] 二阶谓词逻辑

first t order predicate logic 一阶谓词逻辑

predicate logic of first order [数] 一阶谓词逻辑

predicate logic lock 谓词逻辑锁

 更多收起网络短语
  • 谓词逻辑 - 引用次数:50

    The main contents of this paper as follows:(1)A method of representing spatial access control system, which is based on predicate logic was proposed.

    本文主要内容如下:(1)提出了一种基于谓词逻辑的空间访问控制系统的描述方法。

    参考来源 - 基于模型检测的空间访问控制系统规则验证
    述词逻辑
  • 谓语逻辑
    述词逻辑
    谓词演算
  • 谓词逻辑 - 引用次数:3

    In this paper, we propose some basic operations between semantic network and predicate logic, and the algorithm transforming representation of semantic network to expression of predicate logic.

    文章首先提出从语义网络到谓词逻辑这两种形式进行转换的基本操作 ,并给出由语义网络表示转换成谓词逻辑形式表示的算法。

    参考来源 - 由语义网络语言的知识表示到谓词逻辑的转换
  • 谓词逻辑
  • 谓词逻辑

·2,447,543篇论文数据,部分数据来源于NoteExpress

Predicate logic

  • abstract: In mathematical logic, predicate logic is the generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic, or infinitary logic. This formal system is distinguished from other systems in that its formulae contain variables which can be quantified.

以上来源于: WordNet

双语例句权威例句

  • By predicate logic, the solution is set up and the process of analysis is provided.

    依据谓词逻辑规则建立解决方案,提供了求解流程

    youdao

  • Predicate logic of first order is the most classical calculation system in modern logic.

    谓词逻辑现代逻辑最为经典演算系统

    youdao

  • Symbolic logic is often divided into two branches, propositional logic and predicate logic.

    符号逻辑往往分为两个分支命题逻辑和谓词逻辑。

    youdao

更多双语例句
  • Brown based the grammar for his ten-thousand-word language, called Loglan, on the rules of formal predicate logic used by analytical philosophers.

    NEWYORKER: Utopian for Beginners

$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定