2) New Proof of the Method of Rolle Intermediate Value Theorem
罗尔中值定理新证
3) Methods of Proving Carnot Theorem
卡诺定理的证明
4) The Mid-value Theorem Used in Proving
中值定理证题法
5) 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.
对国际流行的方法进行了介绍和总结,重点分析和比较了基于模型检测的方法、基于定理证明的方法、基于逻辑程序的方法等能够进行攻击序列重构的各种方法,指出了各自的优缺点及技术手段、技术特点,最后给出了该领域的进一步研究方向。
6) 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.
定理证明是计算机领域中形式化验证的重要研究课题,对保证软件的正确性和可靠性具有十分重要的意义。
补充资料：中值定理
关于存在某种性质的中间值的定理。例如，一个区间上的连续函数必定达到它在该区间的任何两个函数值之间的每一个中间值。这一事实常称为连续函数的"介值定理"。而关于导数的介值定理又指出，如果函数本身是某个连续函数的导函数，那么即使它不连续，也具有这种取到中间值的性质。
微分学的基本定理都是以中值定理的形式出现的。其中最重要的是拉格朗日定理,它断言,可微函数y=??(x)的平均变化率，必定等于变化区间的某个中间点处的瞬时变化率：或
积分学的第一中值定理 连续函数??(x)在区间[α,b]上的积分平均等于它的某个中间值：或这相当于拉格朗日定理运用于原函数 在点x＝α处的变化量Δx＝b-α。
积分学第二中值定理 对于一个单调函数??(x)与一个可积函数g(x)的乘积在区间［α,b］上的积分,必定存在区间上的一个中间点ξ，使得
微分学的基本定理都是以中值定理的形式出现的。其中最重要的是拉格朗日定理,它断言,可微函数y=??(x)的平均变化率，必定等于变化区间的某个中间点处的瞬时变化率：或
积分学的第一中值定理 连续函数??(x)在区间[α,b]上的积分平均等于它的某个中间值：或这相当于拉格朗日定理运用于原函数 在点x＝α处的变化量Δx＝b-α。
积分学第二中值定理 对于一个单调函数??(x)与一个可积函数g(x)的乘积在区间［α,b］上的积分,必定存在区间上的一个中间点ξ，使得
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条