豆瓣图书标签: 机器证明

综合排序  /  按出版日期排序  /  按评价排序
  • 几何定理机器证明的基本原理

    吴文俊 / 科学出版社 / 1984-8 / 65.00元
    (少于10人评价)

    《几何定理机器证明的基本原理(初等几何部分)》论述初等几何机器证明的基本原理,证明了奠基于各种公理系统的各种初等几何,只需相当于乘法交换律的某一公理成立,大...

  • 数学机械化

    吴文俊 / 科学出版社 / 2003-3 / 58.00元
    (少于10人评价)

    《数学机械化》是围绕作者命名的"数学机械化"这一中心议题而陆续发表的一系列论文的综述。《数学机械化》试图以构造性与算法化的方式来研究数学,使数学推理机械化以...

  • 模型论基础 : 现代数学基础丛书

    王世强 / 科学出版社 / 2007-1 / 32.00元
    (少于10人评价)

    《模型论基础》介绍模型论的基础知识。主要内容有:紧致性定理,省略型定理,内播定理,完全理论与模型完全理论,初等键,越积,模型论力迫法,他和模型等。并附有模型...

  • 分角线相等的三角形 : 初等几何机器证明问题

    吴文俊、吕学礼 / 人民教育出版社 / 1985
    (少于10人评价)
  • 几何定理机器证明的几何不变量方法

    张景中、高小山、周咸青 / 科学出版社 / 2015-4 / 128
    (目前无人评价)

    本书系统介绍了几何定理机器证明的几何不变量方法. 主要包括:基于面积与勾股差等几何不变量的面积法、基于体积与勾股差等几何不变量的体积法以及基于向量计算的向量...

  • 平面几何定理的机器证明

    孙熙椿 / 广西教育出版社 / 1999年12月 / 9.5
    (少于10人评价)

  • 数理逻辑与机器证明 : 计算机科学丛书

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

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

  • Isabelle : A Generic Theorem Prover

    Lawrence C. Paulson / Springer / 1994-9-9 / USD 99.00
    (目前无人评价)
  • 逻辑人生 : 哥德尔传

    [奥] 约翰·卡斯蒂、维尔纳·德波利 / 刘晓力、叶闯 / 上海科技教育出版社 / 2002-11 / 12.30元
    7.9 (120人评价)

    哥德尔的不完全性定理不仅改变了数学,也改变了整个科学世界和建筑于此定理之上的哲学。《逻辑人生:哥德尔传》是对哥德尔生活和工作的精彩介绍,以深入而敏锐的笔触透...

  • The Little Prover

    Daniel P. Friedman、Carl Eastlund / The MIT Press / 2015-7-10 / USD 38.00
    (少于10人评价)

    [FROM www.amazon.com]: The Little Prover introduces inductive proofs as a way ...


相关的标签  · · · · · ·



> 浏览全部图书标签