在线词典
在线词典，是一款在线使用的中英文查词词典。本工具支持查询英文和中文单词及词组的含义，查询效率高、结果丰富，包括单词变体、常用短语、英英释义、同义词、同根词、词语辨析等，是外语学习者必备的在线查词工具。
输入要查询的单词：
First Order Predicate Calculus
查词链接：
https://www.dute.org/dict/first_order_predicate_calculus复制链接 一阶谓词演算
网络释义
一阶谓词逻辑
1.4 企业生产管理过程建模的关键技术 (1) 一阶谓词逻辑(First Order Predicate Calculus)： 谓词逻辑是一种表达力很强的形式语言，谓词逻辑及其推理方法是人工智能中 的知识表示、机器推理、定理证明的基本方法。
一阶谓词演算
一阶谓词演算(First order predicate calculus, FOPC)是形 式化语言的一个例子,广泛用于信息系统的描述。 第五章回顾了代数和分类,这些看上去更适合表达.
第一阶述词演算
一阶述词 first order predicate 第一阶述词演算 first order predicate calculus，FOPC 一阶述词逻辑 first order predicate logic ..
常用短语
正在查询...
{error}
你是不是想查找：
- {typos}
{word}
{phones} {trans} {trans_ee} {exam_types}{web_trans} {variants} {phrases} {synonyms} {rels} {discriminations} 查词链接：
{link}复制链接{phones}
{text}：[{value}]{trans}
{trans}
{pos}
{tran}
{tran}
查看英英释义
{trans}
{pos}
{list} {tran}
{words}{word}同义词： {words}
{pos}
{words}
{exam_types}
单词变体
- {variants}
常用短语
- {phrases}
网络释义
{web_trans}
{tran}
{detail}
近义词
{synonyms}
{pos} {tran}
{words}
同根词
{rels}
{pos}
{words}
{word}{tran}
词语辨析
{discriminations}
{num}、{title}
{description}- {usages}
{description}