裁判思维与证明方法

本书将理论研究与审判实践结合，形成一套操作性强的审判指导方法。研究证明对象确定的具体程序，包括如何从诉讼标的（诉讼请求）中推导出当事人之间假设存在的某种法律关系；如何从假设存在的某种权利义务法律关系找...

初等不等式的证明方法

本书介绍初等不等式证明中的有效方法，共分15章，选取300余个国内外初等不等式的典型问题，以解析的方法解题，并对部分问题加以拓展，不少例题都配有较大篇幅的注解。本书适合相关专业师生阅读和使用，也可供专业人员....

分析中的基本定理和典型方法

本书总结了数学分析中的基本定理和典型方法，附录中给出了大量的习题及解答和南京大学硕士学位入学考试“数学分析”试题及其解答。

程序正确性证明方法

本书主要介绍程序正确性证明的主要理论和方法。主要包括程序正确性的定义，程序正确性证明的发展历程，程序部分正确性证明的不变式断言法、子目标断言法和公理化方法，程序终止性证明的良序集方法和不动点方法，以...

刑事证明方法与技巧 修订版

本书是综合证据理论与证据运用实践的应用型著作。本书中提出了一种学说，介绍了三种方法，阐释了二个法则，总结了多条技巧，对促进司法工作者尽快掌握刑事证明技巧，保障办案成功具有很大帮助。...

平面几何证明方法全书习题解答

本书共分两部分，第一部分为平面几何证明方法全书习题部分的解答；第二部分汇集了近年来国内外数学竞赛中几何试题精选，通过了解竞赛真题，可激发学生的学习兴趣，启迪学生的思维，提高学生参加竞赛的实战能力。...

辐散法 一个应用环流定理预报天气形势的新方法

平面几何证明方法全书

本书共分三篇。每篇介绍了21种平面几何证明方法；第二篇介绍了14种常见问题的求解思路；第三篇介绍了几何图形的基本性质。本书可供数学奥林匹克教练员、培训班，国家级省级骨干教师培训班以及中学教师参考用书，也...

国际数学竞赛 100个重要定理和竞赛数学的理论与方法

辐散法 一个应用环流定理予报天气形势的新方法