1) justify
[英]['dʒʌstɪfaɪ] [美]['dʒʌstə'faɪ]
证明合理
2) theorem proving
定理证明
1.
Real Variable Function Theorem Proving Methods Exploration
实变函数论中定理证明方法探究
2.
Using this model and theorem proving .
以Otway Rees协议为例 ,利用该计算模型和定理证明技术对密码协议进行了多层需求验
3.
The popular approaches are introduced and summarized,especially model checking based method,theorem proving based method,logic programming based method and so on.
对国际流行的方法进行了介绍和总结,重点分析和比较了基于模型检测的方法、基于定理证明的方法、基于逻辑程序的方法等能够进行攻击序列重构的各种方法,指出了各自的优缺点及技术手段、技术特点,最后给出了该领域的进一步研究方向。
3) theorem proof
定理证明
1.
Type- checking the theorem proof represented by the proposed calculus,we can find outwhethertheproof isthe rightone ofthe given theorem.
通过对由该语言描述的定理证明过程进行类型检查 ,可判断该证明是否是给定定理的正确的证明 。
2.
As one of the important research branch of formal verification, theorem proof plays an important role in enhancing the safty and dependability of software systems.
定理证明是计算机领域中形式化验证的重要研究课题,对保证软件的正确性和可靠性具有十分重要的意义。
4) Proof theory
证明理论
6) doctrine of proof
证明理念
1.
In fact, each of them can be interpreted in three ways: doctrine of proof, degree of proof and standard of proof.
其实,这一对法律概念蕴含着证明理念、证明程度和证明要求这样三个层面的涵义,我们可以从这三个不同的视角来审视“客观真实说”与“法律真实说”的对立。
补充资料：不等式证明
不等式的证明，基本方法有
比较法：比较两个式子的大小，求差或求商。是最基本最常用的方法
综合法：用到了均值不等式的知识，一定要注意的是何时等号才成立。
分析法：当无法从条件入手时，就用分析法去思考，但还是要用综合法去证明。两个方法是密不可分的。
换元法：把不等式想象成三角函数，方便思考
反证法：假设不成立，但是不成立时又无法解出本题，于是成立
放缩法：
用柯西不等式证。等等……
高考不是重点，但是难点。
大学数学也会讲到柯西不等式。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条