犯罪主观要件证明问题研究

不等式秘诀解读

本书将系统介绍均值不等式、柯西不等式、排序不等式这些基本而重要的不等式，扩展学习者对较复杂代数式的不等关系的认识，提高求函数的值域与最值的能力，又为进一步学习不等式的证明奠定了基础。同时，针对一些典...

Cauchy不等式 下

本书详细介绍了柯西不等式的几种重要变形、柯西不等式的推广及其应用、与其他不等式的联合运用、排序不等式、排序不等式的应用、排序思想的应用、切比雪夫不等式及其应用、最新竞赛选讲等内容，而且在重要章...

符号逻辑与定理机器证明

几何不等式研究与欣赏 下 2

本书详细地介绍了几何不等式的相关内容，语言简洁，内容丰富，同时书中配有相应的例题及解答，一题多解，一个不等式多种推广，本书是讲述几何不等式证明方法和技巧比较全面的书籍。本书适合大中学师生以及数学爱好者.....

不等式·理论·方法 基础卷

本书是论述不等式的理论与方法的一本专门著作。第一章介绍了不等式的概念和基本理论；第二章全面系统地论述了各种类型的不等式和不等式组的解法，详细归纳了解不等式和不等式组的常用技巧；第三章总结了证明不等...

真正高考·各个击破 数学·函数、不等式、导数

本书按照全国普通高校招生考试大纲要求，分若干专题对高三学生进行训练，有助于考生更好地复习迎考。

数理逻辑与机器证明

举证责任与证明度

费马大定理证明之研究