英语词汇first-order logic怎么读，是什么意思，单词翻译、读音、固定搭配用法和短语词组及例句-英汉双解词典

单词

first-order logic

释义

first-order logic

简明释义

一阶逻辑

网络释义

1
?一阶逻辑
一阶逻辑（First-order logic）是数学家、哲学家、语言学家使用的一种形式演绎系统。它有很多名字包括：一阶谓词演算、低等谓词演算、一阶逻辑的语言或谓词逻辑...
2
?初阶逻辑
课程介绍：本课程是以学习初阶逻辑 (First-order Logic) 为目标。初阶逻辑包括语句逻辑 (propositional logic) 和述词逻辑 (predicate logic)，语句逻辑是以语句为单位所建构的逻辑，而...
3
?以学习初阶逻辑
...?课程介绍本课程是以学习初阶逻辑 (First-order Logic) 为目标。初阶逻辑包括语句逻辑 (propositional logic) 和述词逻辑 (predicate logic)，语句逻辑是以语句为单位所建构的逻辑，而...
4
?一阶谓词逻辑
依照一个逻辑公式转换模板,把服务的语义(I,O,P,E,V)映射成一个一阶谓词逻辑(First-Order Logic,FOL)定理,以已有服务作为已知定理,目标服务作为待证明定理。

短语

1
First order logic
计一阶逻辑 ; 一阶谓词逻辑 ; 的一阶谓词逻辑
2
Semigroups underlying first-order logic
一阶逻辑之下的半群
3
if first-order logic
if一阶逻辑

双语例句

1
Continuous first-order logic is an analog of classical first-order logic.
连续一阶逻辑是经典一阶逻辑的一个类比。
2
HOL is more expressive than first-order logic and enables a concise description of complex properties.
HOL比一阶逻辑更有表现力，能给复杂逻辑更加简洁的描述。
3
Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
描述逻辑是一种知识表示的形式化语言，是一阶逻辑的可判定子集。

随便看

英汉双解词典包含3185865条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。

单词	first-order logic
释义	first-order logic 简明释义一阶逻辑网络释义 1 ?一阶逻辑一阶逻辑（First-order logic）是数学家、哲学家、语言学家使用的一种形式演绎系统。它有很多名字包括：一阶谓词演算、低等谓词演算、一阶逻辑的语言或谓词逻辑... 2 ?初阶逻辑课程介绍：本课程是以学习初阶逻辑 (First-order Logic) 为目标。初阶逻辑包括语句逻辑 (propositional logic) 和述词逻辑 (predicate logic)，语句逻辑是以语句为单位所建构的逻辑，而... 3 ?以学习初阶逻辑 ...?课程介绍本课程是以学习初阶逻辑 (First-order Logic) 为目标。初阶逻辑包括语句逻辑 (propositional logic) 和述词逻辑 (predicate logic)，语句逻辑是以语句为单位所建构的逻辑，而... 4 ?一阶谓词逻辑依照一个逻辑公式转换模板,把服务的语义(I,O,P,E,V)映射成一个一阶谓词逻辑(First-Order Logic,FOL)定理,以已有服务作为已知定理,目标服务作为待证明定理。短语 1 First order logic 计一阶逻辑 ; 一阶谓词逻辑 ; 的一阶谓词逻辑 2 Semigroups underlying first-order logic 一阶逻辑之下的半群 3 if first-order logic if一阶逻辑双语例句 1 Continuous first-order logic is an analog of classical first-order logic. 连续一阶逻辑是经典一阶逻辑的一个类比。 2 HOL is more expressive than first-order logic and enables a concise description of complex properties. HOL比一阶逻辑更有表现力，能给复杂逻辑更加简洁的描述。 3 Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic. 描述逻辑是一种知识表示的形式化语言，是一阶逻辑的可判定子集。
随便看	cyanophycinase cyanophycin granule cyanophyll cyanophyllite Cyanophyta Cyanophyta cyanophyte cyanophytes cyanopia cyanopica cyanus cyanopindolol cyanoplast cyanoplaste Cyanoplatinate cyanoplatinite Cyanopolyyne cyanopolyynes cyanopropionic acid cyanopropyl cyanopropylene oxide cyanopsia cyanopsin cyanopyridine cyano radical cyanose