证明方法与理论

本书阐述数学证明的基本原理，主要包括：证明方法；证明理论（关于证明的定理）；专门知识的表示和转换方法（实现几何、代数等专业领域命题证明的通用方法和定理）。作者对数学证明的普遍性问题给与阐述，力图解决：......

Holder定理

本书详细地介绍了Holder定理及连续可微的凸函数，证明了与拉格朗日中值定理结论类似的一个定理,揭示了连续可微函数为凸函数的几何特征。本书可供从事这一数学分支或相关学科的数学工作者、大学生以及数学爱...

建筑机器的电力驱动与建筑工地的电力供应

微型计算机控制的机器人入门

进化中的机器人

本书介绍机器人在国内外的发展，论述了机器人的技术知识与发展前景。

多功能智能机器小车的开发与研制

证据证明力研究

本书是一本法学专著，是《法大诉讼法学博士文丛》之一。本书全面论述了证据证明力的基本范畴、评价模式、外部规则、程序保障、体系构建，在充分吸收国内外研究成果的基础上，以点带面，广开思路，运用历史、比较、实...

初中数理化公式定理手册

本书对初中数理化的概念、公式、定理进行了详尽的解析，适合初中学生、教师和自学初中知识者使用。

机器制造中加工余量的计算

机器人操作中的力学原理