您现在的位置: 首页图书展示数理科学和化学 > 证明方法与理论
图书展示
  • 书名 证明方法与理论
  • 书号 978-7-118-10079-2
  • 作者 张寅生
  • 出版时间 2016年11月
  • 译者
  • 版次 1版2次
  • 开本 16
  • 装帧 平装
  • 出版基金
  • 页数 319
  • 字数 500
  • 中图分类 O141.2
  • 丛书名
  • 定价

"本书阐述数学证明的基本原理,主要包括证明方法和证明理论,是探讨证明方法和证明理论内在联系和本质特征的数学专著。
“证明方法”集成了常见或具有重要影响并具有逻辑独立性和形式化特征的数学证明方法,分别给出了这些方法的表示公式、例题、相关的定理以及当前的研究前沿状况。
“证明理论”阐述了自希尔伯特倡导建立证明论以来该学科的主要理论,介绍了这些理论的发展脉络,分别给出了这些理论的公理、定理及其证明、例题、当前的研究前沿状况。
本书力图解决以下问题:什么是数学证明?数学证明的通用方法有哪些?关于数学证明取得了哪些重要认识?
作为跨学科研究的尝试,本书可作为证明论、逻辑、计算机科学与技术、数学哲学等相关领域专业工作者的教材或参考书。
"
 

下载附件

留言列表

目前没有相应的留言信息。

 
标题:
*  
评论内容:
*  
评论人:
*  
联系方式:
*  
验证码:
*  
   
相关图书推荐
无此相关商品!

售书电话(010)88540777   传 真(010)88540776  总编室(010)88540559  E-mail to:gfgycbs@ndip.cn

地址:北京市海淀区紫竹院南路23号  京ICP备06025804号 国防工业出版社版权所有  网站建设:中企动力  北京