谓词演算的英文

• first-order logic
• predicate calculus
• predicate logic
• predicative calculus

• 谓词    predicate
• 演算    perform mathematical calcula ...
• 狭谓词演算    restricted predicate calculus
• 二阶谓词演算    second-order predicate calculus
• 高阶谓词演算    high-order predicate calculus; higher order predicate calculus; higher-order predicate calculus
• 广义谓词演算    extended predicate calculus
• 三阶谓词演算    predicate calculus of the third order
• 谓词演算语言    predicate calculus language
• 一阶谓词演算    first-order logic; first-order predicate calculus; fopc
• 一元谓词演算    monadic predicate calculus; one place predicate calculus; unary predicate calculus
• 一阶纯谓词演算    pure predicate calculus of first order
• 带恒等式的谓词演算    predicate calculus with identity
• 基于谓词演算的方法    predicate calculus based method
• 全称量词 (一阶谓词演算)    universal quantifier in fopc
• 谓词演算中的连接词    connective in predicate calculus
• 介词演算    prepositional calculus
• 谓词    [语言学] predicate◇谓词变项 predicate variable; 谓词逻辑 predicate logic; 谓词演算 predicate calculus
• 演算    perform mathematical calculations; calculation; calculus◇演算器 exerciser
• 假谓词    false predicate
• 全谓词    total predicate
• 数谓词    numerical predicate; numerical readout
• 谓词的    predicative
• 谓词交    predicate intersection model
• 谓词名    predicate name
• 真谓词    truth-predicate

• This has led some people who design the specification mechanisms for programming languages , or in the case of uml , for modeling languages , to include facilities from first - order predicate calculus as a language extension
  这就促使一些人在编程语言的描述机制和建模语言（如统一建模语言， uml ）的处理机制中加进了部分一阶谓词演算的东西，作为一种功能扩展。
• The second occasion where boolean expressions may seem restrictive is one that scares most people who have looked at the issue from a theoretical perspective : the language of boolean expressions is relatively limited and doesn ' t have first - order predicate calculus
  很多人从理论角度考察时，又惊惧地发现布尔表达式形似柔弱的第二种情况：使用布尔表达式的语言有局限性，因为不具备一阶谓词演算特性。
• A possible solution to this problem is : adopting symbolic transition graph with assignment ( stga for short ) to model value - passing systems , introducing a predicate mu - calculus to characterize desired properties , and verifying value - passing concurrent processes using an " on - the - fly " algorithm
  解决这个问题的一个方案是：使用带赋值符号迁移图( stga )作为并发传值进程的模型，使用谓词演算作为刻画性质的逻辑，并采用动态实例化的算法对传值并发进程直接进行模型检测。
• The medium logic propositional calculus system mpm and the medium logic predicate calculus system mfm is a new logic system modified from the existing medium logic system . this system is fit for dealing with incomplete information . it can act as the theory foundation for dealing with incomplete information
  中介逻辑命题演算系统mpm和中介逻辑谓词演算系统mfm是在改造原有的中介逻辑系统的基础上提出的一种新的逻辑系统,该逻辑系统特别适用于处理不完全信息,可以作为处理不完全信息的理论基础。