豆瓣图书标签: 机械化

综合排序  /  按出版日期排序  /  按评价排序
  • Mechanizing Mathematical Reasoning 机械化数学推理

    Hutter, Dieter; Stephan, Werner; / 2005-4 / 734.50元
    (目前无人评价)
  • 计算机怎样解几何题 : 谈谈自动推理

    张景中 / 暨南大学出版社 / 2000-01-01 / 15.00元
    (少于10人评价)

    是否听说过计算机可以解几何题,可以证明几何定理并发现新的定理?计算机是人造出来的,是人想出了用计算机解题的办法并设计出一套一套的程序。计算机只不过是人的工具...

  • 农业机械化工程技术

    2000-12 / 23.00元
    (目前无人评价)
  • 数理逻辑与机器证明 : 计算机科学丛书

    陆钟万 / 科学出版社 / 1983年11月 / 5.00元
    (少于10人评价)

    本书介绍数理逻辑及其在机器证明中的应用. 数理逻辑部分包括绪论、前三章及附录. 绪论简要地说明了数理逻辑的研究对象和方法. 前三章分别介绍命题逻辑、一阶逻辑...

  • 技术与文明

    [美] 刘易斯·芒福德 / 陈允明、王克仁、李华山 / 中国建筑工业出版社 / 2009-08 / 48.00元
    8.8 (387人评价)

    《技术与文明》是刘易斯·芒福德的巨著之一,它讲述了机器的历史,并对机器对于文明的影响进行了重要的研究。他从社会生活的方方面面来解释机器的起源并追踪其社会影响...


相关的标签  · · · · · ·



> 浏览全部图书标签