证明法

作品数:122被引量:69H指数:5
导出分析报告
相关领域:文化科学理学更多>>
相关作者:段益民左正康彭海青薛锦云游珍更多>>
相关机构:广州大学江西师范大学中国人民大学巴彦淖尔市河套大学更多>>
相关期刊:更多>>
相关基金:江西省自然科学基金国家自然科学基金福建省社会科学规划项目国家留学基金更多>>
-

检索结果分析

结果分析中...
条 记 录,以下是1-10
视图:
排序:
简谐运动的能量证明法及周期求法
《广西物理》2024年第1期119-122,共4页于亚楠 程志强 
从力的角度分析简谐运动是常用基本方法,可是有些问题从力的角度分析相当困难,如果引入一个变量,用该变量表示出动能和势能,两者之和如果示是一个恒量,即机械能守恒,可以判定此物体的运动是一个简谐运动,与用回复力公式F=-kx判断效果相...
关键词:简谐运动 能量 回复力 周期 
如何阅读法学经典著作?
《法学教育研究》2023年第2期159-175,共17页陈景辉 
要想理解“如何阅读法学经典”的问题,一方面,需要理解阅读对于大学学习的意义;另一方面,需要掌握几种具体的阅读方法。就前者而言,由于阅读的过程其实就是自我教育的过程,所以阅读其实是大学教育或学习的构成性因素;就后者而言,阅读相...
关键词:阅读 欧几里得证明法 分析—综合法 思想实验 
对比实验法检验消失笔书写文件1例
《广东公安科技》2022年第3期64-65,68,共3页李睿智 季峻 
消失笔原本是一种新型书写工具,但其自动褪色特性被不法分子用来实施违法犯罪,造成诉讼当事人产生争议,其文件曾被消失笔动了手脚的联想。在未检出消失笔字迹的变造文件争议中,如果司法鉴定人仅仅出具未能发现隐性字迹的结论,说服力不...
关键词:文书鉴定 消失笔 反向证明法 对比实验法 紫外荧光 
FOI2020算法高级在线4详解
《福建电脑》2022年第1期120-124,共5页何文焜 匡亮 
本文介绍了FOI2020算法高级在线第4试三道题以及其解法。
关键词:数学规律与分类讨论 平衡树 贪心 归纳证明法 线段树 
二叉树排序非递归算法推导及形式化证明被引量:6
《江西师范大学学报(自然科学版)》2020年第6期625-632,共8页左正康 方越 黄箐 廖云燕 王渊 王昌晶 
国家自然科学基金(61862033,61762049,61902162);江西省自然科学基金(20202BABL202026,2020BABL202025,20202BAB202015);国家留学基金(202008360094)资助项目.
非线性数据结构递归问题非递归算法的循环不变式的开发一直是形式化开发的难点.研究二叉树类非递归算法的推导及形式化证明方法,对二叉树排序算法进行推导,得出非递归Apla(Abstract Programming Language)算法及其精确而简单的循环不变...
关键词:二叉树类非递归算法 循环不变式 PAR平台 Dijkstra-Gries标准程序证明法 非线性数据结构 
多元凸函数连续性的2种证明
《惠州学院学报》2020年第6期1-7,共7页唐建国 叶桂余 
广东省人才引进资金项目(A410.0204)。
文章给出了n维欧氏空间中开凸集上的n元凸函数是连续函数的2种证明方法.首先利用开凸集中长方体内任意一点可由其顶点的线性组合表示,给出了n元凸函数连续性的证明.然后给出了n元凸函数定义的一个等价形式,证明了沿经过开凸集内任意一...
关键词:多元凸函数 连续性 内点表示证明法 方向导数证明法 
哥德巴赫猜想的定义证明法
《数学学习与研究》2020年第12期148-149,共2页王海东 
我们从偶数、奇数和质数的定义可以得知:大于四的偶数不仅可以写成两个奇数之和,而且可以产生两种不同写法.其中一种写法就是与哥德巴赫猜想有关的写法.只要证明了这两种写法的存在,就为证明哥德巴赫猜想提供了一个十分重要的理论依据.
关键词:偶数 奇数 质数 哥德巴赫猜想 
FOI2020算法高级在线第4试详解
《福建电脑》2020年第4期148-153,共6页何文焜 匡亮 
本文介绍了FOI2020算法高级在线培训第4试三道题以及其解法。
关键词:数学规律与分类讨论 平衡树 贪心 归纳证明法 线段树 
哥德巴赫猜想的定义证明法
《中国高新区》2019年第11期294-294,共1页王海东 
从偶数、奇数和质数的定义可以得知:大于四的偶数不仅可以写成两个奇数之和,而且可以产生两种不同写法.其中一种写法就是与哥德巴赫猜想有关的写法.只要证明了这两种写法的存在,就为证明哥德巴赫猜想提供了一个十分重要的理论依据.
关键词:偶数 奇数 质数 哥德巴赫猜想 
因地制宜 殊途同归——以一道不等式题的证明为例
《中学数学教学参考》2019年第15期35-36,共2页雷华洋 
不等式问题的证明方法多样,如整体换元法、基本不等式证明法、几何构造法、柯西不等式法等都是不等式证明的有力工具,用多种方法证明不等式,对开阔学生视野,提高学生解题能力有很大的帮助。
关键词:不等式 证明法 解题思路 
检索报告 对象比较 聚类工具 使用帮助 返回顶部