证明方法与理论

2016-5-30 14:20| 发布者: 逻辑之剑| 查看: 3632| 评论: 3|原作者: 张寅生|来自: 作者提供

摘要: 《证明方法与理论》，张寅生著，全国高校教材学术著作出版审定委员会审定，数学专著，50万字。ISBN：978-7-118-10079-2，国防工业出版社，2015年11月出版。定价：52元。开本16开，装帧：平。内容：证明方法的定义、分 ...

《证明方法与理论》，张寅生著，全国高校教材学术著作出版审定委员会审定，数学专著，50万字。ISBN：978-7-118-10079-2，国防工业出版社，2015年11月出版。定价：52元。开本16开，装帧：平。内容：证明方法的定义、分类和集成；证明论总结，包括相容性理论、完全和不完全性理论、可判定性理论、可靠性理论，以及关于数学证明方法与理论的研究前沿跟踪介绍。读者对象：大、中学数学教师；理论计算机、人工智能、数学哲学、生成转换语言学、数理逻辑等领域的研究者、爱好者。

联系人：出版社或作者张寅生：zhangyinshengnet@sina.com