吴文俊论数学机械化

编辑:全怿网互动百科 时间:2019-10-29 00:26:29
编辑 锁定
《吴文俊论数学机械化》是山东教育出版社于1996年7月出版是一本书。该书对数学机械化问题进行了论述。
ISBN
9787532822676
页    数
659
定    价
27.20
出版社
山东教育出版社
出版时间
1996-07
装    帧
精装
作品目录
目录
  综合报告与论述
  数学
  数学概况及其发展
  关于教材的一点看法
  数学与四个现代化
  消除对数学的神秘感
  ――推荐《数学译林》
  对中国传统数学的再认识
  《现代数学新进展》序
  (陈省身文选、传记、通俗演讲及其它》序
  《吴文俊文集》前言
  慎重地改革数学教育
  在(中国现代数学家传》首卷出版座谈会上的讲话
  法国数学新派――布尔巴基派
  数 学 史
  中国古代数学对世界文化的伟大贡献
  近年来中国数学史的研究
  从《数书九章》看中国传统数学构造性与机械化的
  特色
  我国古代测望之学重差理论评介兼评数学史研究中
  某些方法问题
  《海岛算经》古证探源
  出入相补原理
  《〈九章算术〉注释》的序
  《〈九章算术〉与刘徽》序
  《秦九韶与〈数书九章〉》序
  《郭书春汇校〈九章算术〉》序
  《〈九章算术〉及其刘徽注研究》序
  在中外数学史讲习班开幕典礼上的讲话
  数学机械化
  《可剖形在欧氏空间中的实现问题》的绪论
  印刷电路与集成电路中的布线问题
  集成电路设计中的一个数学问题
  拓扑中的量度与能计算性
  博奕论杂谈:(一)二人博奕
  数学的机械化
  几何定理的机器证明
  数学的机械化问题
  数学中的公理化与机械化思想
  几何定理机器证明
  初等几何判定问题与机械化证明
  几何学机械化方法及其应用
  数学的机械化与机械化的数学
  《几何定理机器证明的基本原理(初等几何部分)》
  的导言
  复兴构造性的数学
  分角线相等的三角形
  解方程器或SOLVER软件系统概述
  解方程器或SOLVER软件系统应用举例
  解方程器软件包(EQNS―SOLVER)
  附 录
  On the decisionproblemandthe mechanization
  oftheorem-proving inelementary geometry
  Toward mechanizationofgeometrysome
  commentsonHilbert’s“Grundlagender Geometrie’
  Someremarksonmechanicaltheorem-proving
  inelementarygeometry
  Automationoftheorem-proving
  Asurveyofdevelopmentsofmathematics
  mechanizationinChina
  Onthedevelopmentofpolynomialequations
  solvinginChina
  Polynomialequations-solvinganditsapplications
[1] 
参考资料
词条标签:
工业书籍 出版物 书籍