共查询到19条相似文献,搜索用时 78 毫秒
1.
四色定理和Ramsey定理是图论中重要的定理,本文运用模型论中的紧致性定理、图象定理等给出了这两个定理基于模型论方法的简短证明. 相似文献
2.
项观捷 《山东教育学院学报》2000,15(6):71-72
本对于集合论中的一个重要定理Cantor-Bernstein定理的图论意义做了探讨,并给出了相应的图论证明,这个证明较之此定理通常的证明直观简明得多。 相似文献
3.
邵斌 《湖州师范学院学报》2001,23(3):54-56
机器定理证明是人工智能的重要分支学科之一 .定理的机器证明已经达到了相当成熟的水平 ,但有关利用图论方法进行定理的机器证明还不多见 .在这样的背景下 ,试图结合机器定理证明的经典方法 ,将图论思想引入进来 ,提出了一种初步的图论机器定理证明方法 ,解决了一类有关定理的机器证明问题 . 相似文献
4.
5.
6.
7.
9.
史永堂 《数理天地(初中版)》2014,(1):41-43
3.拉姆齐问题
“假如要求在组合数学中举出一个而且仅仅一个精美的定理,那么大多数组合数学家会提名Ramsey定理”,这是美国数学家Gian—CarloRota对Ramsey定理的评价,也是对Ramsey定理在组合数学中地位的评价。 相似文献
10.
11.
12.
13.
14.
Liouville定理是复变函数论中的一个重要定理,它在全纯函数理论中的重要地位是显而易见的.给出Liouville定理的推广形式,并归类总结了它在不同领域中的应用. 相似文献
15.
邹斌 《安徽广播电视大学学报》2009,(2):125-128
以戴德金分划说为基础来研究实数的连续性,对于实数连续性的九个等价性命题:确界定理、戴德金定理、单调有界定理、区间套定理、有限覆盖定理、聚点定理、致密性定理、柯西收敛准则以及Botsko定理,采用循环论证,从命题1出发,依次证明下一命题,最后由命题9证明命题1,从而组成一个环路,证明了它们的等价性。 相似文献
16.
任颜波 《洛阳师范学院学报》2014,(11):23-24
有界收敛定理是实变函数论中的一个重要定理,在很多实变函数论教材中,它常作为Lebesgue控制收敛定理的推论出现.我们利用叶果洛夫定理给出有界收敛定理的一个新的证明,并对有界收敛定理的条件进行了讨论. 相似文献
17.
刘爱民 《十堰职业技术学院学报》2005,18(2):61-62,68
指出了构成信息理论体系的关键物理量:熵、互信息、信道容量和信息率失真函数,对它们的定义、物理意义及相互关系进行了探讨,用这些物理量导出信息理论体系,得到与这些物理量相对应的基本编码定理,即无失真信源编码定理、信道编码定理和限失真信源编码定理。 相似文献
18.
Farkas定理是优化理论中一个重要的分离定理,一直被广泛应用于线性和非线性规划问题最优性条件的推导中.应用其证明了一些分离定理方面的重要结论. 相似文献