[数]?谓词演算
在这一章中，我们介绍谓词演算（predicate calculus），它是用于人工智能的一种表示语言。谓词演算的重要性已经在第二部分的介绍中有所提及，它的优点包括明确定义的形式语义（formal...
?述词计算
... predicate 述词 predicate calculus 述词计算 predicate logic 述词逻辑 [谓词逻辑] ...
?述词演算
... 述词演算 predicate calculus 述词逻辑 predicate logic 初始述词 initial predicate ...
?述词计较
... predicate 述词 predicate calculus 述词计较 predicate logic 述词逻辑 [谓词逻辑] ...
狭谓词演算
广义谓词演算
带恒等式的谓词演算
英汉双解词典包含3185865条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。