大约有20,000项符合查询结果项。（搜索耗时：0.0165秒）
为您推荐： 挑战思维极限 勾股定理的365种证明 几何证明 几何三角法证明 机器证明 三角法证明几何 完美的合同 基本原理及审查与修改
-
几何定理机器证明的基本原理 初等几何部分
吴文俊著2010 年出版234 页ISBN：97870302837711984年，吴文俊的学术专著《几何定理机器证明的基本原理》由科学出版社出版，这部专著遵循机械化思想引进数系和公理，依照机械化观点系统地分析了各类几何体系，明确建立了各类几何的机械化定理，着重阐明几何定理机...
-
交互式定理证明与程序开发 Coq归纳构造演算的艺术
YvesBertot，PierreCasteran等著2010 年出版432 页ISBN：9787302208136Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...
-
-
-
几何瑰宝 平面几何500名题暨1000条定理 上
沈文选，杨清桃编著2010 年出版541 页ISBN：7560330126本书从三角形、四边形、多边形、圆及其关系，以及最值、轨迹、作图，完全四边形（四边形）、平面闭折线、圆的推广等十个专题对平面几何中的500余颗璀璨夺目的珍珠进行了系统的、全方位的介绍。...
-
几何瑰宝 平面几何500名题暨1000条定理 下
沈文选，杨清桃编著2010 年出版597 页ISBN：7560330126本书从三角形、四边形、多边形、圆及其关系，以及最值、轨迹、作图，完全四边形（四边形）、平面闭折线、圆的推广等十个专题对平面几何中的500余颗璀璨夺目的珍珠进行了系统的、全方位的介绍。...
-
-
-
建筑工程 造价的基本原理与计价
俞国凤主编2010 年出版259 页ISBN：9787560844398本书系统地阐述了建筑工程造价计算与造价管理的基本理论与方法。包括投资估算、设计概算、施工图预算、投标报价和竣工决算等。对工程量的计量与计价分别详细介绍了在定额计价模式下的计算规则和计价方法。...
-
可计算一般均衡模型的基本原理与编程
张欣著2010 年出版272 页ISBN：9787543217553本书是一本可计算一般均衡模型的入门教材。作者深入浅出地介绍CGE模型的基本原理，并训练学生动手编程，以使学生学习和掌握CGE模型的基本理论、构造、方法和应用及数据基础SAM表的制作，学会编写计算机程序以分...