谓词演算的英文
发音:
"谓词演算"怎么读用"谓词演算"造句
英文翻译手机版
- 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
例句与用法
- The atomic formula is called atom for short in predicate calculus
在谓词演算中,有时将原子公式简称为原子。 - 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
这种情况下的断言似乎就需要实现特定的语言扩展,于是一些人建议引入一阶谓词演算。 - In this paper , the original extended relational model has been improved by adopting mfm in the research of incomplete information database
本文将三值逻辑谓词演算系统mf ~ m应用在不完全信息数据库的研究中,对原有的扩充关系模型做了改进。 - 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文档进行一阶谓词演算得出的。 - The medium logic propositional calculus system mpm and the medium logic predicate calculus system mfm are new logic systems . they are fit for dealing with incomplete information
中介逻辑命题演算系统mp ~ m和中介逻辑谓词演算系统mf ~ m是一种适用于处理不完全信息的新的逻辑系统。 - 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
引入了一阶谓词演算和前后断言方法,并且自定义了一个重构可靠性证明的逻辑推理系统:重构可靠性推演系统。
- 更多例句: 1 2
相关词汇
谓词演算的英文翻译,谓词演算英文怎么说,怎么用英语翻译谓词演算,谓词演算的英文意思,謂詞演算的英文,谓词演算 meaning in English,謂詞演算的英文,谓词演算怎么读,发音,例句,用法和解释由查查在线词典提供,版权所有违者必究。