首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到10条相似文献,搜索用时 15 毫秒
1.
本文给出了图Fn,8的定义,证明了它们都是奇优美图;给出这类图奇优美标号算法;证明了该算法的时间复杂度为O(N),而且证明了该算法的时间最优性.  相似文献   

2.
完全覆盖定理在微分学中的应用   总被引:1,自引:0,他引:1  
介绍了完全覆盖的概念,证明了完全覆盖定理,并用它证明了微分学中的若干命题。  相似文献   

3.
本文给出了图Fn,8的定义,证明了它们都是奇优美图;给出这类图奇优美标号算法;证明了该算法的时间复杂度为O(N),而且证明了该算法的时间最优性.  相似文献   

4.
《河西学院学报》2017,(2):24-31
证明了格的偏序定义与代数定义的等价性;证明了格中幂等律与吸收律的等价性;证明了分配格中分配律与消去律的等价性,这表明满足消去律是分配格的基本属性.  相似文献   

5.
本文主要给出并证明了正多边形的一个美妙恒等式:用西姆松定理及张角定理轻松地证明了正三角形的情形;用普通平几方法证明了正方形的情形;最后用解析几何的方法证明了正多边形的一般情影.以一个美妙恒等式的证明来体现平面几何不同解法的多样性.  相似文献   

6.
本文给出和证明了复罗尔定理,并在此基础上证明了复中值定理及其推论。  相似文献   

7.
在证明了定积分不等式等性质的基础上,给出并证明了积分中值定理的中值在开区间内取得的结论.  相似文献   

8.
给出了四元数除环的5种形式,证明了它们之间的同构关系,作为应用,证明了一个代数恒等式.  相似文献   

9.
从传递闭包的角度证明了判定一个关系是否具备传递性的充要条件,给出并证明了一条关于关系合成运算的定理。  相似文献   

10.
从教科书中关于Borel集定义的两种不同叙述法入手,应用超限归纳法,证明了这两种定义的等价性,并根据基数理论,证明了非Borel的Lebesgue可测集的存在性,进而证明了R1上非Borel的Lebesgue可测集的基数是2c-c,其中c为连续统基数。  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号