证明论属于《中国图书分类法》中的五级类目,该分类相关的期刊文献有167篇,会议文献有8篇,学位文献有27篇等,证明论的主要作者有陶平生、覃菊莹、麻振华,证明论的主要机构有江西科技师范大学数学与计算机科学学院、天津师范大学数学科学学院、江西科技师范学院数学与计算机科学系等。
统计的文献类型来源于 期刊论文、 学位论文、 会议论文
1.[期刊]
摘要: 在n维空间中研究了一类带组合记忆项的非线性Tricomi方程的小初值问题.通过引入适当的泛函,并利用迭代方法,得出问题的解会在有限时间内破裂,并给出解的生命跨...
2.[期刊]
摘要: 2021年全国中学生数学奥林匹克(决赛)于2021年12月在福建省福州市福建师范大学附属中学举办.本文就此次竞赛的试题、不同解法与答卷情况作一些简单介绍.命题...
3.[期刊]
摘要: 九十多年前,毛泽东在革命摇篮井冈山曾经写下气势磅礴的诗篇:“山下旌旗在望,山头鼓角相闻.敌军围困万千重,我自岿然不动.……”而成语“旗鼓相望”则源于一千六百多...
4.[期刊]
摘要: 文[1]给出了△ABC外心O的一个复数形式:O=|A|^(2)(B-C)+|B|^(2)(C-A)+|C|^(2)(A-B)/A(B-C)+B(C-A)+C(...
5.[期刊]
摘要: (本讲适合高中)游戏策略问题因其构思独特、趣味丰富、解法精妙而备受国内外数学竞赛爱好者的青睐.本文基于近年国内外高中数学竞赛中出现的游戏策略问题,探讨在这些问...
6.[期刊]
摘要: (本讲适合高中)组合数学历史悠久,早在几千年前就已经出现了一些有趣的组合问题,在日常生活中随处可见.在解决组合问题时所产生的数学方法对数学的研究具有深远意义,...
7.[期刊]
摘要: (本讲适合高中)抽屉原理也被称为鸽巢原理或狄利克莱原理,它是组合数学中一个基本且重要的原理,许多存在性问题的证明和极值问题中不等关系的得出都可以用抽屉原理来解...
8.[期刊]
摘要: “天造地设”是指事物自然形成,而又合乎期待与理想.数学命题中,关注数字与图形结构中的各种巧合,往往如锦添花,叠彩增色.2020年第17届中国东南地区数学奥林匹...
9.[期刊]
摘要: 苏东坡在其《后赤壁赋》中写道:"江流有声,断岸千尺,山高月小,水落石出,曾日月之几何,而江山不可复识矣."是说江水落下去之后,江底的石头就自然显露出来了.本文...
10.[期刊]
摘要: (本讲适合高中)在一些组合构造问题中,几何直观常常能给学习者思路上的提示.它有助于发现解决问题的途径,但往往又存在一些缺陷:或是囿于几何形象,其方法难以适用一...
11.[期刊]
摘要: (本讲适合高中)构造法是一种重要的数学方法,巧妙的构思、精美的构形常常令人拍案叫绝,但又往往很难弄清构造的来龙去脉,让人欣赏之余却有力不从心之感.近年重要数学...
12.[期刊]
摘要: 避实就虚,或避实击虚,语出《孙子·虚实》.原意是指避开敌人主力而攻击其虚弱的方面;通常指有意回避实质和要害,只触及无关紧要的内容.虚与实,往往相辅相成.本文将...
13.[期刊]
摘要: 2020年全国高中数学联合竞赛加试第二题是:题1设a1=1,a2=2,an=2an-1+an-2(n=3,4,…).证明:对整数n≥5,an必有一个模4余1的...
14.[期刊]
摘要: 在解决存在性问题时,抽屉原理是一个有力的工具,其应用过程中的抽屉制造实质是对问题涉及对象的分类.本文通过三道竞赛题说明应用抽屉原理的技巧.
15.[期刊]
摘要: 在近几年的国内外数学竞赛题中,不乏与复数相关的题目.熟练运用复数解题技巧,对三角、平面几何等方面问题的解决也成为了一些参赛者“绕开”平面几何方法的主要手段本文...
16.[期刊]
摘要: 投石问路原指夜间潜入某处前,先投以石子,看看有无反应,借以探测情况.后用以比喻进行试探.出自古典《三侠五义》.“投石问路”也是数学解题过程中的常用法则.例1设...
17.[期刊]
摘要: 数学奥林匹克中存在大量具有高等数学背景的试题,这是与IM O的宗旨相契合的,即希望参赛者能够解决有高等数学背景的初等问题.1第一题1.1问题提出题1已知实数列...
18.[期刊]
摘要:
19.[期刊]
摘要: 局部调整法亦称为扰动法,是通过对初始状态的变换来证明命题.此方法可以用来:(1)寻求或证明不变量;(2)求解或证明最值问题;(3)证明某些中间值的存在性;(4...
20.[期刊]
摘要: (本讲适合高中)复数是中学数学学习中的一个重点和难点知识.由于复数知识的灵巧性和应用的广泛性,此类题目在数学竞赛中一直层出不穷,成为热点问题.如近年来的高中联...
1.[会议]
摘要:
2.[会议]
摘要:
3.[会议]
摘要:
4.[会议]
摘要: 根据演绎定理和完备性定理,应用公式真度理论在几种常见标准完备性成立的系统中建立一种新的一般理论的相容度概念,给出了理论Γ相容,不相容及其它相关结论的充分必要条...
5.[会议]
摘要: 在企业技术创新过程中,同时设计与运作多个创新项目或替代方案(创新项目群)是现代企业的主流创新模式.本文运用系统论的思想和GERT网络理论,通过对这一企业技术创...
6.[会议]
摘要: 针对多周期公用工程系统的运行优化问题,考虑了设备的启停费用的情况下,建立了混合整数非线性规划模型并证明了最优解的存在性.针对该运行优化问题,本文将其分解若干问...
7.[会议]
摘要: 本文利用抽屉原理证明了Erd(o)s和Szekeres(1935)以及Greenwood和Gleason(1955)提出的Ramsey定理及其推广.并用抽屉原...
8.[会议]
摘要:
1.[学位]
摘要: 近年来,随着多智能体系统(multi-agent system)的广泛应用,多智能体的一致性问题(consensus problem)已经引起了来自各个领域的...
2.[学位]
摘要: 互反判断矩阵一致性判别及其修正问题是决策科学领域研究的热点和难点,在经济、管理科学、军事应用等众多领域里有着重要的研究背景。国内外不少专家对该问题进行了深入研...
3.[学位]
摘要:
本文的主要目的是给出三个组合恒等式的证明,第一章介绍问题背景并给出主要结果,第二章给出主要结果的证明过程,第三章是一个简单的小结。
孙怡东[28]...
4.[学位]
摘要: 可计算性逻辑是新近提出的关于可计算性的形式理论.它采取交互的博弈语义,是一种资源逻辑.经典逻辑、直觉逻辑和线性逻辑(在广义上)只是可计算性逻辑的三个特殊部分....
5.[学位]
摘要: 针对AHP中的单个判断矩阵的不一致性问题,本文从正互反判断矩阵的定义和特点出发,并结合迭代、加权的思想,给出了一种“嵌套加权待定系数修正法”,该方法不要求太深...
6.[学位]
摘要: 关于刑事证明责任观,英美法系采取“分层说”分为提供证据的责任和说服责任。大陆法系则采取“整合说”,我个人认为英美法系的“分层说”更为科学合理,我国可以适当加以...
7.[学位]
摘要: 采用自动增益控制(AGC)技术实现的宽频带放大器在雷达系统及其他相关电子领域有着广泛的应用。 本文详细讨论了基于FPGA和可编程增益放大器(PGA)实现的自...
8.[学位]
摘要: 本文研究了有领导者的多智能体系统的二阶一致性问题,主要聚焦于两个挑战性的难题:第一,动态网络中多智能体系统的拓扑结构可能不连通;第二,实际系统中多智能体的速度...
9.[学位]
摘要: 多值逻辑是计算机科学中一个重要的科学分支.其研究主要包括理论、电路与系统、应用三方面的内容.该文在第一章中,较全面系统地分析了国内外在多值逻辑函数完备性理论方...
10.[学位]
摘要: 本文将已知的常微分方程、泛函微分方程和脉冲微分方程的理论与方法,如Lyapunov函数法、Razumikhin方法、脉冲微分方程的比较定理、重合度理论中的连续...
11.[学位]
摘要: 移动数据库技术涉及数据库、分布式计算以及移动通讯等多个学科领域,已成为分布式数据库一个新的研究方向。目前,移动数据库的关键技术主要包括复制与缓存技术、数据广播...
12.[学位]
摘要: 定性的空间推理是空间数据库和地理信息系统应用研究中必不可少的组成部分,而定性空间推理中的方向关系研究一直是定性空间推理研究领域的热点。作为定性方向推理研究领域...
13.[学位]
摘要: 当今时代,网络与人们的生产生活息息相关,特别是因特网的发展使得我们的生活变得方便快捷,这就需要我们深入全面的分析和研究复杂网络,使其更好地为人类服务。Mult...
14.[学位]
摘要: 一个CNF公式F称为极小不可满足的(MU),如果F是不可满足,并且在F中删去任意一个子句后所得到的公式是可满足的。一个MU中的公式F称为最大的,如果对于任意一...
15.[学位]
摘要: 众所周知,近年来多智能体系统协同控制的一致性问题已引起越来越多研究人员的关注。这主要归因于其涉及了生物学、物理学、系统控制和计算机科学等多个领域而成为了一个新...