内容简介
"《证明 方法 与理论》阐述 数学 证明的基本原理，主要包括证明方法和证明理论，是探讨证明方法和证明理论内在联系和本质特征的数学专著。
“证明方法”集成了常见或具有重要影响并具有 逻辑 独立性和形式化特征的数学证明方法，分别给出了这些方法的表示公式、例题、相关的定理以及当前的研究前沿状况。
“证明理论”阐述了自希尔伯特倡导建立证明论以来该学科的主要理论，介绍了这些理论的发展脉络，分别给出了这些理论的公理、定理及其证明、例题、当前的研究前沿状况。
《证明方法与理论》力图解决以下问题：什么是数学证明？数学证明的通用方法有哪些？关于数学证明取得了哪些重要认识？
作为跨学科研究的尝试，《证明方法与理论》可作为证明论、逻辑、 计算机 科学 与 技术 、数学 哲学 等相关领域专业 工作 者的教材或参考书。
"
![【小说】《冷幻觉》作者：藤花琅【完结】[txt + epub格式][933KB]](/upload/rand_pic/2-8.jpg)
评论列表
发表评论