构造性证明相关论文
量子计算机理论上具有强大的计算能力，所以引起了人们极大的兴趣。要使量子计算机成为现实，一个核心问题就是克服消相干带来的量子噪......
本文主要是用组合的方法(映射与对合)来构造性地证明一些著名q-级数恒等式和分拆恒等式，主要包括：Ramanujan部分v-级数恒等式，Andrews......
通常情况下，我们很难确定一段给定的程序是否符合它的规范，程序提取是一种从构造性证明中提取函数式程序的机制，其构造特性很好地保证......
DM方案是目前国际上广泛认可的安全快速的杂凑模式之一.B.Preneel[3]证明了基于DES加密算法的以下12种杂凑方案是安全的:(1) E(Hi-......
周期问题的研究一直是常微分方程定性理论的中心课题,作为应用的一个重要方面,常微分方程周期解的求解问题也备受关注.在本文中,介......
给出了图象分形压缩映射存在性的一个构造性证明 ,并应用在图象编码中 .此外 ,根据压缩映射存在性的构造证明过程 ,提出了分形编码......
运用构造性方法,构建了一个确当的Gauss取整函数,使数论中的三个著名的级数公式,即Leibniz公式、Newton级数公式和Euler级数公式一......
本文将成人教育高等数学的论证方法划分为6种,并通过举例分别进行论述....
本文给出了一类大龙虾树为幸福树的构造性证明....
本文分析了存在性命题的构造性证法和非构造性证法的特点，阐述了它们在数学发展中的作用，讨论了它们的相互关系。......
借助三角形中的基本不等式，通过构造证明了Gerretsen不等式的对偶律猜想．...
该文研究了G神经网络的函数映射能力,给出了前馈G神经网络映射任意G型多项式的构造性证明。采用该文的方法映射同一个多项式,所用......
第 2 1届全苏数学竞赛有这样一道试题 :已知 :a,b,c,m,n,p均为正数 ,且满足 a+ m=b+ n=c+ p=k,求证 :an+ bp+ cmk2 .本文给出这道......
本文主要研究常微分方程周期解的构造性证明。周期运动是自然界和人类活动领域中的常见现象,周期问题的研究一直是常微分方程定性......
△ABC中,求证: cos~2A+cos~2B+cos~2C+2cosAcosBcosC=1。这个恒等式的证法很多,下面用构造法给出一个新颖巧妙的证法。证明因三角......
命题证明是数学分析教学中的难点。文章对数学分析中的几种证明方法进行了深入分析，并通过例证加以说明。......
本文主要研究离散不动点的存在性及其求解不动点的算法,其主要思想是把连续性空间上的结论推广到离散空间,对连续空间上不动点存在......
从西方科学哲学的观点来看，纯粹数学和逻辑虽不等同于“形而上学”，但它们也不是由“观察语句力组成的。这两门科学的“语句”的“意......
构造性方法也是中学数学一种很重要的思想方法,但往往因为需要一定的创造力才能构造出恰当的符合要求的模式而使学生望而生畏.但它......
中国剩余定理主要用来求解一元一次同余方程组,其解结构不但规范,而且证明方法几乎都是采用通过证明存在性和唯一性两点来完成的.......
以'勾股圆方图注'、'出入相补,各从其类'、'刘徽原理'、'依条段求之'为例,论述了中国传统数学的......
多项式理论是高等代数的重要内容之一.针对一元多项式中的2个多项式互素和整除、多项式的根、多项式可约和不可约的判断等内容,考......
