一阶谓词演算的英文

• first-order logic
• first-order predicate calculus
• fopc

• "一"英文翻译    one
• "阶"英文翻译    steps; stairs
• "谓词演算"英文翻译    predicate calculus
• "全称量词 (一阶谓词演算)" 英文翻译 :    universal quantifier in fopc
• "二阶谓词演算" 英文翻译 :    second-order predicate calculus
• "高阶谓词演算" 英文翻译 :    high-order predicate calculus; higher order predicate calculus; higher-order predicate calculus
• "三阶谓词演算" 英文翻译 :    predicate calculus of the third order
• "一阶纯谓词演算" 英文翻译 :    pure predicate calculus of first order
• "一阶谓词" 英文翻译 :    first-order predicate; predicate of first order
• "谓词演算" 英文翻译 :    first-order logic; predicate calculus; predicate logic; predicative calculus
• "狭谓词演算" 英文翻译 :    restricted predicate calculus
• "一阶谓词逻辑" 英文翻译 :    first order predicate logic; first-order logic; first-order predicate logic
• "广义谓词演算" 英文翻译 :    extended predicate calculus
• "谓词演算语言" 英文翻译 :    predicate calculus language
• "一元谓词演算" 英文翻译 :    monadic predicate calculus; one place predicate calculus; unary predicate calculus
• "带恒等式的谓词演算" 英文翻译 :    predicate calculus with identity
• "基于谓词演算的方法" 英文翻译 :    predicate calculus based method
• "谓词演算中的连接词" 英文翻译 :    connective in predicate calculus
• "高阶谓词" 英文翻译 :    higher order predicate
• "介词演算" 英文翻译 :    prepositional calculus
• "三阶谓词逻辑" 英文翻译 :    third order predicate logic
• "谓词" 英文翻译 :    [语言学] predicate◇谓词变项 predicate variable; 谓词逻辑 predicate logic; 谓词演算 predicate calculus
• "一阶" 英文翻译 :    first order; first-order; single(-)order
• "演算" 英文翻译 :    perform mathematical calculations; calculation; calculus◇演算器 exerciser
• "假谓词" 英文翻译 :    false predicate

• This is not expressible as a first - order predicate calculus property
  这就是一个一阶谓词演算不可表述的属性。
• Also , first - order predicate calculus isn ' t good enough anyway
  同时，从各方面来说，一阶谓词演算都不是足够好。
• This kind of assertion seems to require special language extensions and has led people to suggest introducing first - order predicate calculus
  这种情况下的断言似乎就需要实现特定的语言扩展，于是一些人建议引入一阶谓词演算。
• This kind of assertion seems to require special r nlanguage extensions and has led people to suggest introducing r nfirst - order predicate calculus
  这种情况下的断言似乎就需要实现特定的语言扩展，于是一些人建议引入一阶谓词演算。
• Informally , xquery is designed to be able to construct any xml document that can be computed from input xml documents using the power of the first - order predicate calculus
  Xquery被非正式地设计为可以构造xml文档，而这些xml文档是通过对输入的xml文档进行一阶谓词演算得出的。
• So anything that you may want to express on a complex object that would seem to require first - order predicate calculus can be expressed actually quite nicely within the confines of the programming language
  所以对于一个复杂对象，任何看起来需要一阶谓词演算才能描述的东西，实际都可以在编程语言范畴内实现十分精细地表述。
• This paper introduces first - order predicate calculus and assertion method from precondition to postcondition into the research of refactoring . and a logic deduction system is put forward in this paper : refactoring reliability deduction system
  引入了一阶谓词演算和前后断言方法，并且自定义了一个重构可靠性证明的逻辑推理系统：重构可靠性推演系统。
• 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
  很多人从理论角度考察时，又惊惧地发现布尔表达式形似柔弱的第二种情况：使用布尔表达式的语言有局限性，因为不具备一阶谓词演算特性。