高等数学学习与考研指南 【数理化】

线性代数学习与考试指导 【数理化】

高等数学学习指导与习题解析 【数理化】

大学物理学习辅导与自测 【数理化】

本书为大学教材。

基础物理学习提要与习题详解 【数理化】

大学物理学习与指导 【数理化】

本书依据高等工业学校大学物理课程教学大纲的基本要求编写，章后有模拟试题及参考答案。

高等数学学习与辅导 【数理化】

本书是与高等教学相配套的学习辅导书。包括；典型案例解析、理念考研题选讲、习题等内容。

应用数学基础学习与提高 上 【数理化】

本书介绍了高等数学知识。

大学物理学习指导与练习 【数理化】

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

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