《证明方法与理论》介绍

8 主题	12 听众	14 积分

群组: 数理逻辑

群组: 学术交流A

电梯直达

1^#

发表于 2016-5-30 14:49 |只看该作者 |倒序浏览

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

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

张寅生著证明方法与理论.jpg (208.54 KB, 下载次数: 207)