go top

## first-order logic

• 一阶逻辑

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

一阶逻辑

初阶逻辑

以学习初阶逻辑

... 课程介绍 本课程是以学习初阶逻辑 (First-order Logic) 为目标。初阶逻辑包括语句逻辑 (propositional logic) 和述词逻辑 (predicate logic)，语句逻辑是以语句为单位所建构的逻辑，而...

一阶谓词逻辑

First order logic [计] 一阶逻辑 ; 翻译 ; 一阶谓词逻辑 ; 的一阶谓词逻辑

if first-order logic if一阶逻辑

first-order logic model 一阶逻辑模型

specification in first-order logic-axioms 一阶逻辑表达的公理规格说明

fuzzy first-order logic 模糊一阶逻辑

fuzzy first order logic 模糊一阶逻辑

更多收起网络短语
• 一阶逻辑 - 引用次数：43

First-order rule mining technique based on first-order logic is often called as Inductive Logic Programming (ILP).

基于一阶逻辑一阶规则挖掘技术常被称作归纳逻辑程序设计(ILP)。

参考来源 - 遗传归纳逻辑程序设计技术研究
一阶谓词逻辑 - 引用次数：18

参考来源 - 基于描述逻辑的数据仓库系统元数据一致性问题的研究
markov逻辑网
• 一阶逻辑 - 引用次数：5

Propose a set of syntax and semantics of first-order logic for non-repudiation and fairness.3.

2.针对非否认协议的特点提出了套适用于描述和验证非否认性和公平性的一阶逻辑语法和语义。

参考来源 - 密码协议非否认性和公平性验证技术研究

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

#### First-order logic

• abstract: First-order logic is a formal system used in mathematics, philosophy, linguistics, and computer science. It is also known as first-order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic.

### 双语例句

• Continuous first-order logic is an analog of classical first-order logic.

连续逻辑经典一阶逻辑一个类比

• HOL is more expressive than first-order logic and enables a concise description of complex properties.

HOL一阶逻辑有表现力给复杂逻辑更加简洁描述

• Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.

描述逻辑知识表示形式化语言，是一阶逻辑的可判定子集

\$firstVoiceSent
- 来自原声例句