介绍新著《数学证明方法》

下载PDF

导出

摘要《数学证明方法》是孙宗明教授的一本新著,由兰州大学出版社出版,1995年8月第1版,(甘)新登字第08号,ISBN7—311—00813—I/O·108,9787311008130】,大32开本,282页,225千字。该书全面地论述了数学证明方法,从而形成一个完整的体系;通过若干典型的例子,详细地论述了实施数学证明的一般途径;介绍了数理逻辑的基础知识。

出处《泰山学院学报》 1996年第5期32-32,共1页 Journal of Taishan University

关键词数学证明方法基础知识《中国数学文摘》新著数学归纳法演绎法和归纳法一般途径大学出版社机器证明系资料室

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

引文网络
相关文献

1孟红玲,赵远.反证法在高等数学中的应用举例[J].洛阳大学学报,2002,17(4):110-112. 被引量：2
2陈钺.关于高斯定理证明的教学探讨[J].岳阳师范学院学报（自然科学版）,2004,17(1):29-30. 被引量：4
3赵小云,蒋亦东.数学归纳法及其应用[J].数学通讯（学生阅读）,2000(10):44-47. 被引量：2
4徐利治.简评《数学证明方法》[J].泰山学院学报,1996,21(5):31-31.
5魏跃春.数学证明方法的逻辑分析[J].襄樊学院学报,2002,23(5):26-29.
6赵保华,赵宝钢,李国华.一般与特殊相结合的数学证明方法浅析[J].高师理科学刊,2005,25(4):118-118. 被引量：1
7宋士仓,李镇.关于数学证明方法与算法实现关系的一些探讨[J].大学数学,2010,26(A01):105-108. 被引量：1
8查志刚.一类递推关系的建立[J].中学数学月刊,2001(4):34-35.
9孙宗明,梁凤鸣.命题逻辑与数学证明方法(Ⅰ)[J].泰山学院学报,2012,34(6):1-9. 被引量：2
10杨德敏,龙朝阳.浅析使用数学归纳法中的逻辑错误[J].安顺师范高等专科学校学报,2000,2(2):39-43. 被引量：2

泰山学院学报

1996年第5期

浏览历史

内容加载中请稍等...

介绍新著《数学证明方法》

相关作者

相关机构

相关主题

浏览历史