期刊文献+
共找到16篇文章
< 1 >
每页显示 20 50 100
命题逻辑与数学证明方法(Ⅱ) 被引量:2
1
作者 孙宗明 梁凤鸣 《泰山学院学报》 2013年第6期4-10,共7页
简单地讨论了命题逻辑,用命题逻辑全面地研究了推理格式和数学证明方法,形成一个完整的系统.内容包括推理、推理格式、数学证明、数学证明方法.
关键词 推理 推理格式 数学证明 数学证明方法
在线阅读 下载PDF
命题逻辑与数学证明方法(Ⅰ) 被引量:2
2
作者 孙宗明 梁凤鸣 《泰山学院学报》 2012年第6期1-9,共9页
简单地讨论了命题逻辑,用命题逻辑全面地研究了推理格式和数学证明方法,形成一个完整的系统,内容包括命题逻辑.
关键词 命题逻辑 数学证明方法 数理逻辑
在线阅读 下载PDF
关于数学证明方法与算法实现关系的一些探讨 被引量:1
3
作者 宋士仓 李镇 《大学数学》 2010年第A01期105-108,共4页
从数学证明和程序设计的角度,分析比较了数学命题定理证明中常用的数学归纳法、递推算法、递归算法、反证法等数学方法.讨论了它们在理论证明、算法实现方面的联系和优缺点,提出教学中的一些建议.
关键词 数学证明方法 算法实现 程序设计
在线阅读 下载PDF
命题逻辑与数学证明方法(Ⅲ) 被引量:1
4
作者 孙宗明 《泰山学院学报》 2014年第6期18-22,共5页
简单地讨论了命题逻辑,用命题逻辑全面地研究了推理格式和数学证明方法,形成一个完整的系统.内容包括反证法推理格式、反证法、数学证明方法总结.
关键词 反证法推理格式 反证法 数学证明方法总结
在线阅读 下载PDF
数学证明方法与算法实现关系分析 被引量:1
5
作者 李珍真 《现代盐化工》 2017年第6期30-31,共2页
数学证明方法与算法实现之间存在着较为密切的关系,只有应用恰当的数学证明方法,才能够更好更快地解决数学问题。文章主要分析了几种主要的数学证明方法,并陈述了其与算法实现的关系,最后提出问题的解决方法。
关键词 数学证明方法 算法实现 关系
在线阅读 下载PDF
简评《数学证明方法》
6
作者 徐利治 《泰山学院学报》 1996年第5期31-31,共1页
在中学和大学的数学教学中,教师们都要在不同层次上讲授数学证明方法,学生们通过学会数学证明方法,不仅能获得认识和求证数学真理的途径与技艺,而且还能得到思维品质上的培育和提升。因此,关于“数学证明方法”的教与学问题,理应成为数... 在中学和大学的数学教学中,教师们都要在不同层次上讲授数学证明方法,学生们通过学会数学证明方法,不仅能获得认识和求证数学真理的途径与技艺,而且还能得到思维品质上的培育和提升。因此,关于“数学证明方法”的教与学问题,理应成为数学教育研究中的一项重要课题。然而,1990年前在国内似乎还没有专门讨论“数学证明方法”的著作出版过。 值得高兴的是,终于在1995年秋看到了一本由孙宗明教授编著。 展开更多
关键词 数学证明方法 数学教育 数学教学 思维品质 数学真理 数学方法 逻辑推理能力 江苏教育出版社 青年学生 教与学
在线阅读 下载PDF
一般与特殊相结合的数学证明方法浅析 被引量:1
7
作者 赵保华 赵宝钢 李国华 《高师理科学刊》 2005年第4期118-118,共1页
关键词 数学证明方法 特殊化
在线阅读 下载PDF
介绍新著《数学证明方法》
8
《泰山学院学报》 1996年第5期32-32,共1页
《数学证明方法》是孙宗明教授的一本新著,由兰州大学出版社出版,1995年8月第1版,(甘)新登字第08号,ISBN7—311—00813—I/O·108,9787311008130】,大32开本,282页,225千字。 该书全面地论述了数学证明方法,从而形成一个完整的体系... 《数学证明方法》是孙宗明教授的一本新著,由兰州大学出版社出版,1995年8月第1版,(甘)新登字第08号,ISBN7—311—00813—I/O·108,9787311008130】,大32开本,282页,225千字。 该书全面地论述了数学证明方法,从而形成一个完整的体系;通过若干典型的例子,详细地论述了实施数学证明的一般途径;介绍了数理逻辑的基础知识。 展开更多
关键词 数学证明方法 基础知识 《中国数学文摘》 新著 数学归纳法 演绎法和归纳法 一般途径 大学出版社 机器证明 系资料室
在线阅读 下载PDF
几种数学证明方法的逻辑原理
9
作者 刘少军 《安康师专学报》 1994年第1期19-23,共5页
本文以逻辑代数中分离法则为依据,推导出了第一、二数学归纳法,分析法和综合法的逻辑原理.指出了其逻辑意义,给出了其数学解释,叙述了其方法步骤.本文还就上述四种证明方法在逻辑意义上的相互关系进行了一定的论述.
关键词 数学证明方法 逻辑原理 分离法 数学归纳法 逻辑代数
全文增补中
反证法在高等数学中的应用举例 被引量:2
10
作者 孟红玲 赵远 《洛阳大学学报》 2002年第4期110-112,共3页
通过例题,详细论述了反证法在高等数学中的应用.
关键词 反证法 高等数学教学 例题 解题教学 数学证明方法
在线阅读 下载PDF
数学反证法中的哲学思想 被引量:2
11
作者 马平 《安庆师范学院学报(自然科学版)》 2000年第1期43-44,49,共3页
反证法在数学中有着广泛的应用。反证法中闪烁着辨证思维 ,蕴含着深刻地哲学思想。
关键词 反证法 联系论 数学证明方法 哲学思想
在线阅读 下载PDF
浅谈平面几何证明题的教学
12
作者 崔玉珍 《内蒙古师范大学学报(教育科学版)》 2000年第3期99-100,共2页
关键词 几何证明 推理论证能力 辅助线 数学证明方法 逻辑思维 已知条件 平行四边形 边角关系 言必有据 基本原理
在线阅读 下载PDF
利用向量的内积证明几何题
13
作者 买买吐送.尼扎木丁 《和田师范专科学校学报》 2016年第5期94-95,共2页
本文介绍了利用向量的内积证明几何题的方法,是证明几何题的另一种方法。
关键词 向量的内积 证明几何题 数学证明方法
在线阅读 下载PDF
中位数计算公式补遗
14
作者 梁琦 戴春兰 《统计与决策》 北大核心 1996年第6期37-37,共1页
中位数计算公式补遗梁琦,戴春兰众所周知,中位数是一个位置平均数,对于未分组资料或单项数列资料,可由或求得中位数所在位置。对于组距数列资料,首先得按公式确定中位数所在组(或称中位数组),然后通过线性插补方法求得中位数近... 中位数计算公式补遗梁琦,戴春兰众所周知,中位数是一个位置平均数,对于未分组资料或单项数列资料,可由或求得中位数所在位置。对于组距数列资料,首先得按公式确定中位数所在组(或称中位数组),然后通过线性插补方法求得中位数近似值Me,其计算公式为:下限公式上... 展开更多
关键词 中位数组 计算公式 中位线 等距数列 上限公式 下限公式 武汉工业大学 对称性 数学证明方法 组频数
在线阅读 下载PDF
A CONSTRUCTIVE PROOF OF THE INVERSION FORMULA FOR ZONAL FUNCTIONS ON SL(2, R) 被引量:3
15
作者 XIAO CHANGBAI ZHENG WEIXING SU WEIYI (Department of Mathematics, Nanjing University Nanjing 210093, China.) 《Chinese Annals of Mathematics,Series B》 SCIE CSCD 1996年第1期81-88,共8页
A constructive proof is given for the inversion formula for zonal functions on SL(2, R). A concretely constructed sequence of zonal drictions are proved to satisfy the inversion formula obtained by Harish-Chandra for ... A constructive proof is given for the inversion formula for zonal functions on SL(2, R). A concretely constructed sequence of zonal drictions are proved to satisfy the inversion formula obtained by Harish-Chandra for compact supported infinitely differentiable zonal functions.Making use of the property of this sequence somehow similar to that of approxination kernels,the authors deduce that the inversion formula is true for continuous zonal functions on SL(2, R)under some condition. The classical result can be viewed as a corollary of the results here. 展开更多
关键词 Inversion formula Zonal function Approximation kernel
原文传递
ON ABELIAN AUTOMORPHISM GROUPS OF SURFACES OF GENERAL TYPE
16
作者 CAI JINXING(Department of Mathematics, East China Normal University, Shanghai 200062, China.) 《Chinese Annals of Mathematics,Series B》 SCIE CSCD 1996年第1期43-52,共10页
It is proved that for a complex minimal smooth projective surface S of general type, its abelian automorphism group is of order≤36k2s+24, provided x(os)≥8, where Ks is the canonical divisor of S, and X(Os) the Euler... It is proved that for a complex minimal smooth projective surface S of general type, its abelian automorphism group is of order≤36k2s+24, provided x(os)≥8, where Ks is the canonical divisor of S, and X(Os) the Euler characteristic of the structure sheaf of S. 展开更多
关键词 Projective surface Automorphism group Canonical divisor
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部