机读格式显示(MARC)

• 000 01217nam0 2200253 450

• 001 0000460312

• 005 20180321152200.0

• 010 __ |a 978-7-118-10079-2 |d CNY52.00

• 100 __ |a 20170614d2016 em y0chiy0110 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a y z 000yy

• 106 __ |a r

• 200 1_ |a 证明方法与理论 |A zheng ming fang fa yu li lun |f 张寅生著

• 210 __ |a 北京 |c 国防工业出版社 |d 2016

• 215 __ |a 10,319页 |d 26cm

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

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

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

• 606 0_ |a 证明论 |A Zheng Ming Lun |x 研究

• 690 __ |a O141.2 |v 5

• 701 _0 |a 张寅生 |A zhang yin sheng |4 著

• 801 _0 |a CN |b LIB |c 20180321

• 905 __ |a LIB |d O141.2/4