良序集相关论文
该著是一部数学经典,由两篇论文构成,是C 康托关于超穷数理论研究20多年工作的总结。第1部分为“全序集的研究”(1895),第2部分为......
数学归纳法是数学证明中的重要而有力的工具，通常用于建立一个给定正整数集的命题，而根据应用的需求，数学归纳法有了许多形式的拓展，不......
１９００年，希尔伯特第一问题提出：连续统能否良序？第一个数学家都会说：“它已在１９０４年被Ｚｅｒｍｅｌｏ的良序定理所解决”，本文建立了集合三分法，严格证明了一个良......
在介绍程序正确性的定义和良序集的概念基础上，对良序集证明程序终止性思路和步骤进行了分析，利用实例来证明程序的终止性。......
Let P(z) be entire and g(z)=λez, λ∈C-{0}. If f=P(g) has no wandering domain, then neither does h=g(P). The normal set......
介绍了R．W．Floyd的证明程序部分正确性的归纳断言法和证明程序终止性的良序集法．以及Hoare公理系统。......
数学归纳法是一种常见的证题方法,它在中学数学教学活动中,处在十分重要的位置上,特别是在对某些数学命题证明时,使用其它方法不易......
介绍Ｒ．Ｗ．Ｆｌｏｙｄ关于程序正确性的证明方法，并结合一个程序实例，通过证明其部分正克性和终止性来验证其正确性。......
根据田间作物垄行间杂草离散的特点,基于图像矩阵,运用像素子集的良序性,结合垄宽先验知识得到垄行轨迹中心.同时,系统选择图像的......
任意个紧致空间的乘积（用积拓扑）仍然是紧致空间，这是个拓朴学上已知的定理．本文使用超限归纳法给出了这个重要的定理的一个较简单且较......
本文引进标准良序集概念并且证明了标准良序集的十个定理。...
根据田间作物垄点像素矩阵特点,基于行向量目标像素良序子集,先进行垄点子集预处理,然后运用最近邻判别准则搜寻每个垄点像素的最......
证明了一个适用于任意有序集的一般归纳原理,以此为基础导出了数学归纳法、超限归纳法和连续归纳法,从而揭示出三种归纳法的共同基......
1900年,希尔伯特第一问题提出:连续统能否良序?每一个数学家都会说:“它已在1904年被Zermelo的良序定理所解决”。本文建立了集合......
