书目详细信息
： 证明方法与理论
书目信息 机读格式(MARC)
| ISBN/价格： | 978-7-118-10079-2:CNY52.00 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 110000 |
| 题名责任者项： | 证明方法与理论/.张寅生著 |
| 出版发行项： | 北京:,国防工业出版社:,2016 |
| 载体形态项： | x, 319页:;+26cm |
| 一般附注： | “十二五”国家科技支撑计划项目“面向外文科技知识组织体系的大规模语义计算关键技术研究” |
| 提要文摘： | 本书阐述数学证明的基本原理，主要包括证明方法和证明理论，是探讨证明方法和证明理论内在联系和本质特征的数学专著。“证明方法”集成了常见或具有重要影响并具有逻辑独立性和形式化特征的数学证明方法，分别给出了这些方法的表示公式、例题、相关的定理以及当前的研究前沿状况。“证明理论”阐述了自希尔伯特倡导建立证明论以来该学科的主要理论，介绍了这些理论的发展脉络，分别给出了这些理论的公理、定理及其证明、例题、当前的研究前沿状况。 |
| 题名主题： | 证明论 研究 |
| 中图分类： | O141.2 |
| 个人名称等同： | 张寅生 著 |
| 记录来源： | CN 浙江省新华书店集团公司 20170615 |