点击专项 高中数学 不等式 推理与证明

本丛书以高中数学新课标为体系，从易到难的梯度编写，这样，对本专题知识没有吃透的学生可以迅速掌握本专题的知识，中等水平的学生在精读本书提高篇后会使自己更上一层楼。...

哈佛的证明

本书是纪实文学。

能力是证明出来的 组织用人的8种理由

本书产品类型属于企业组织成员自我管理图书，人人都认为自己拥有某种能力，人人都想让组织知道自己的超强能力，这时候怎么办？就得拿出真本领，比试比试、证明证明。本书将告诉广大企业组织成员中需要自我培养、证明...

几何定理机器证明的基本原理 初等几何部分

1984年，吴文俊的学术专著《几何定理机器证明的基本原理》由科学出版社出版，这部专著遵循机械化思想引进数系和公理，依照机械化观点系统地分析了各类几何体系，明确建立了各类几何的机械化定理，着重阐明几何定理机...

正奇数为素数的判断方程 哥德巴赫猜想的证明

本书稿共5章。首先探讨、设置和寻找证明哥德巴赫猜想所需要的理论知识和理想研究数段，给出了正奇数为素数的必要条件和判断方程，接着提出了适合研究哥德巴赫猜想的数学模型--偶数等分对应模型，猜想的证明方法...

邦丁先生的不在场证明

《邦丁先生的不在场证明》是英国著名侦探小说大家奥斯汀·弗里曼7个经典推理短篇的结集。包括：1.首饰盒的秘密；2.邦丁先生的不在场证明；3.都市里的巨象；4.废墟中的启示；5.绿上衣；6.伯纳比夫妇；7.神秘的访客等篇目...

交互式定理证明与程序开发 Coq归纳构造演算的艺术

Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...

书证收集与程序保障 以当事人证明权的实现为中心

本书阐述了民事诉讼中书证收集模式的沿革以及制度运行的国际趋势，探讨了文书在证据领域限制适用的情形以及在收集过程中的程序保障制度，重点对我国书证收集的现状作了实证分析，并就在我国当前的证据交换制度下...

常用不等式 第4版

革书共分17章，包含了所有关于不等式论题的40个三级分类项目，还包括了国内外历年来大中学生各类数学竞赛和研究生入学考试中所出现的新的不等式，以及工程技术问题中常用的不等式。...

专题小课本 专题全解 A-06 高中数学 不等式