数理化
-
-
2010GCT数学分册应试指导
GCT入学资格考试应试指导编审委员会编著2010 年出版337 页ISBN：9787111298946本书是GCT入学资格考试应试指导丛书之一，全书每章内容均由基本考情解析与应试对策、代表性例题解析、强化自测题和强化自测题参考答案与解析4部分组成。...
-
-
-
H型群上的偏微分方程
韩军强，钮鹏程著（西北工业大学理学院）2009 年出版137 页ISBN：9787561226674本书内容包括H型群的基本内容，H型群上次Laplace算子和p一次Laplace算子的基本解及平均值定理，H型群上的积分恒等式及不存在性等。
-
-
-
-
-
-
大学物理同步辅导与复习自测
顾铮先主编2010 年出版384 页ISBN：9787111279877本书主要内容有：力学含刚体运动、机械振动和机械波、热力学和统计物理学、波动光学、电磁学和近代物理学基础等。
-
-
-
-
-
弹性力学内容精要与典型题解
刘章军编著2009 年出版336 页ISBN：9787508470658本书共分两部分：第一部分为内容精要与典型例题，包括弹性力学各章基本理论的归纳总结，以及115道典型例题的解答与分析；第二部分为考试题库及其详解，包括精心设计的10套完整考试试题及每套试题的参考答案。两部分...
-
-
-
高等代数的思想与方法
刘振宇著2009 年出版310 页ISBN：9787560739960本书共分12章，分别阐述了高等代数中多项式、行列式、线性方程组、矩阵、二次型、线性空间、线性变换、欧氏空间等重要概念及其实际运算中的一般数学思想方法以及其中蕴含的哲学和美学思想，对读者学习和运用线...
-
-
-
交互式定理证明与程序开发 Coq归纳构造演算的艺术
YvesBertot，PierreCasteran等著2010 年出版432 页ISBN：9787302208136Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...
-
-
-
本类热门