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

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

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

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

专题讲练考 初中数学 方程与不等式

本书是依据教育部的新课标对各个知识点的要求，而设计的数学知识点讲析教辅练习。

锦囊妙解创新导学专题 高中数学 数列、推理与证明

本丛书完全以每个知识点为讲解元素，结合“课标解读”、“知识清单”、“易错清单”、“点击高考”、“模拟演练”等栏目设计等。

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

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

高中数学题组精编 第7册 逻辑用语·数系扩充·推理与证明·导数

本书依据普通高中课程标准和全国考纲编写，兼顾主流教材，属于单元同步类教辅图书，秉承老“精编”的编写理念，沿袭老“精编”的编写风格。本册内容为逻辑用语、数系扩充、推理与证明、导数。...

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

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

常用不等式 第4版

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

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

哈佛的证明

本书是纪实文学。