《证明方法与理论》介绍 - 数学建模社区-数学中国

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