证明方法与理论
张寅生이 책이 얼마나 마음에 드셨습니까?
파일의 품질이 어떻습니까?
책의 품질을 평가하시려면 책을 다운로드하시기 바랍니다
다운로드된 파일들의 품질이 어떻습니까?
本书阐述数学证明的基本原理,主要包括证明方法和证明理论,是探讨证明方法和证明理论内在联系和本质特征的数学专著。
1. “证明方法”集成了常见或具有重要影响并具有逻辑独立性和形式化特征的数学证明方法,分别给出了这些方法的表示公式、例题、相关的定理以及当前的研究前沿状况。
2. “证明理论”阐述了自希尔伯特倡导建立证明论以来该学科的主要理论,介绍了这些理论的发展脉络,分别给出了这些理论的公理、定理及其证明、例题、当前的研究前沿状况。
3. 本书力图解决以下问题:什么是数学证明?数学证明的通用方法有哪些?关于数学证明取得了哪些重要认识?
作为跨学科研究的尝试,本书可作为证明论、逻辑、计算机科学与技术、数学哲学等相关领域专业工作者的教材或参考书。
1. “证明方法”集成了常见或具有重要影响并具有逻辑独立性和形式化特征的数学证明方法,分别给出了这些方法的表示公式、例题、相关的定理以及当前的研究前沿状况。
2. “证明理论”阐述了自希尔伯特倡导建立证明论以来该学科的主要理论,介绍了这些理论的发展脉络,分别给出了这些理论的公理、定理及其证明、例题、当前的研究前沿状况。
3. 本书力图解决以下问题:什么是数学证明?数学证明的通用方法有哪些?关于数学证明取得了哪些重要认识?
作为跨学科研究的尝试,本书可作为证明论、逻辑、计算机科学与技术、数学哲学等相关领域专业工作者的教材或参考书。
书签已装载,
书签制作方法请找 yjyouaremysunshine@163.com
년:
2015
출판사:
国防工业出版社
언어:
chinese
페이지:
319
ISBN 10:
711810079X
ISBN 13:
9787118100792
파일:
PDF, 57.45 MB
개인 태그:
IPFS:
CID , CID Blake2b
chinese, 2015
다운로드 (pdf, 57.45 MB)
- Checking other formats...
- (으)로 변환하기
- 용량이 8 MB를 초과하는 파일들의 변환 잠금을 해제하십시오Premium
파일이 귀하의 이메일로 송부 됩니다. 1-5분 소요됩니다.
1~5분 이내로 파일이 사용자님의 Telegram 계정으로 전송될 것입니다.
주의: 자신의 계정이 Z-Library Telegram 봇과 연결되어 있는지 확인하십시오.
1~5분 이내로 파일이 사용자님의 Kindle 기기로 전송될 것입니다.
비고: Kindle로 보내시는 책은 모두 확인해 보실 필요가 있습니다. 메일함에 Amazon Kindle Support로부터 확인 메일이 도착했는지 메일함을 점검해 보시기 바랍니다.
로의 변환이 실행 중입니다
로의 변환이 실패되었습니다