安徽科技学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

证明方法与理论/张寅生著

出版发行项:

北京:国防工业出版社,2016

ISBN及定价:

978-7-118-10079-2/CNY52.00

载体形态项:

10,319页;26cm

个人责任者:

张寅生 著

学科主题:

证明论-研究

中图法分类号:

O141.2

一般附注:

“十二五”国家科技支撑计划项目“面向外文科技知识组织体系的大规模语义计算关键技术研究”

提要文摘附注:

本书阐述数学证明的基本原理，主要包括证明方法和证明理论，是探讨证明方法和证明理论内在联系和本质特征的数学专著。“证明方法”集成了常见或具有重要影响并具有逻辑独立性和形式化特征的数学证明方法，分别给出了这些方法的表示公式、例题、相关的定理以及当前的研究前沿状况。“证明理论”阐述了自希尔伯特倡导建立证明论以来该学科的主要理论，介绍了这些理论的发展脉络，分别给出了这些理论的公理、定理及其证明、例题、当前的研究前沿状况。

使用对象附注:

本书适用于证明论、逻辑、计算机科学与技术、数学哲学等相关领域专业工作者

豆瓣简介：