证明的故事 :从勾股定理到现代数学 :logic and the history of mathematics

出版社:人民邮电出版社
ISBN:9787115656872
出版年:2025
作者:史迪威
资源类型:图书
细分类型:中文文献
相关推荐

挑战思维极限 :勾股定理的365种证明

  • 作者:李迈新
  • ISBN:9787302458791
  • 出版社:清华大学出版社
  • 出版年:2016

勾股定理 :悠悠4000年的故事 :a 4000-year history

  • 作者:毛尔
  • ISBN:9787115216915
  • 出版社:人民邮电出版社
  • 出版年:2010

勾股定理

  • 作者:中国数学会上海分会中学数学研究委员会
  • 出版社:科学出版社,新知识出版社
  • 出版年:1956

自动定理证明

  • 作者:石纯一
  • ISBN:7502902988
  • 出版社:气象出版社
  • 出版年:1989

定理机器证明

  • 作者:刘叙华
  • 出版社:科学出版社
  • 出版年:1987

谈勾股定理

  • 作者:严以诚
  • 出版社:北京出版社