期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

几种数学证明方法的逻辑原理

全文增补中

导出

摘要本文以逻辑代数中分离法则为依据,推导出了第一、二数学归纳法,分析法和综合法的逻辑原理.指出了其逻辑意义,给出了其数学解释,叙述了其方法步骤.本文还就上述四种证明方法在逻辑意义上的相互关系进行了一定的论述.

作者刘少军

出处《安康师专学报》 1994年第1期19-23,共5页 Journal of Ankang Teachers College

关键词数学证明方法逻辑原理分离法数学归纳法逻辑代数

分类号 O15 [理学—基础数学]

引文网络
相关文献

1王辉.反证法的逻辑原理及其在模型论中的应用[J].内江科技,2011,32(2):71-71. 被引量：1
2张龙,陈国龙.数学归纳法的逻辑原理及其在模型论中的应用[J].洛阳师范学院学报,2013,32(8):6-7.
3赵金新,李星斗.反证法的逻辑原理[J].许昌师专学报,1993,12(1):47-50.
4孟红玲,赵远.反证法在高等数学中的应用举例[J].洛阳大学学报,2002,17(4):110-112. 被引量：2
5陈钺.关于高斯定理证明的教学探讨[J].岳阳师范学院学报（自然科学版）,2004,17(1):29-30. 被引量：4
6赵小云,蒋亦东.数学归纳法及其应用[J].数学通讯（学生阅读）,2000(10):44-47. 被引量：2
7王天成.数学归纳法的逻辑原理及其在图论中的应用[J].青海师范大学民族师范学院学报,2008,19(1):66-67. 被引量：5
8王天成.反证法的逻辑原理及其在图论中的应用[J].青海师专学报,2006,26(5):13-15.
9魏跃春.数学证明方法的逻辑分析[J].襄樊学院学报,2002,23(5):26-29.
10赵保华,赵宝钢,李国华.一般与特殊相结合的数学证明方法浅析[J].高师理科学刊,2005,25(4):118-118. 被引量：1

安康师专学报

1994年第1期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...

;

使用帮助返回顶部