1) Dijkstra's weakest pre-condition theory
Dijkstra最弱前置谓词理论
2) Dijkstra's weakest precondition method
Dijkstra最弱前置谓词法
3) weakest pre-predicate
最弱前置谓词
1.
To develop a more reliable program, two checking methods about program’s varification of correctness are studied, such as Dijkstra’s weakest pre-predicate transformer and Hoare’s axiomatic approach.
为了使开发出的程序更具有可靠性,研究了两种正确性验证的演算方法,Dijkstra的最弱前置谓词变换法和Hoare的公理化方法。
4) theoretical predicate
理论谓词
1.
Hesse reconsidered the descriptive predicates on this base,put forward the conception of "primary recognition",rejected both a stable and independent observation predicates and absolutely theoretical predicates.
演绎的两种语言模型和整体论都对观察和理论的关系进行了探讨,海丝在这种讨论的基础上对语言中的描述性谓词进行重新考察,提出“原初识别”的概念,既否定了观察谓词的独立稳定性,又否定了绝对理论谓词的存在,从而为我们探讨观察与理论的关系提供了新的思考路径。
5) weakest link theory
最弱链理论
6) built-in predicates
内置谓词
1.
It can find more candidate solutions,and is more efficient when the built-in predicates of the query involve only distinguished variables.
本文提出了一种基于目标的方法,可以找到更多的候选方案,当查询的内置谓词只包含特征变量时该方法更加有效。
2.
A class of integrity constraints,referred to as functional dependencies with built-in predicates(PFDs),is proposed for relational databases and their axiomatization is investigated.
研究内置谓词函数依赖及其推理规则。
补充资料：[3-(aminosulfonyl)-4-chloro-N-(2.3-dihydro-2-methyl-1H-indol-1-yl)benzamide]
分子式：C16H16ClN3O3S
分子量：365.5
CAS号：26807-65-8
性质：暂无
制备方法：暂无
用途：用于轻、中度原发性高血压。
分子量：365.5
CAS号：26807-65-8
性质：暂无
制备方法：暂无
用途：用于轻、中度原发性高血压。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条