可计算性理论 【数理化】

本书包括数理逻辑的递归论和形式语言论两部分内容. 一至八章为递归论部分，详尽地研究了初等函数、原始递归函数、递归函数及给类算子，充分地讨论了Turing机与Turing可计算性概念. 九、十两章为形式语言论部分...

应用分支理论基础 【数理化】

本书详细介绍非线性动力系统分支理论的基础知识。为三大部分：连续-时间动力系统的分支；离散-时间动力系统的分支；以及分支理论的数值方法。主要内容包括低维和高维系统的余维1和余维2分支，局部和大范围分支，平衡...

有毒含磷酯类 化学、代谢和生物学效应 【数理化】

力学和对称性导论 【数理化】

本书是Springer《应用数学教材丛书》第17卷，系一部经典力学基本教程，对动力系统中的活跃分支——可积系统、混沌系统、在制系统、稳定性、分歧理论，以及特殊刚体、流体、等离子体和弹性系统的研究等近代理论及...

固体物理概念题和习题指导 【数理化】

本书对增强教师对固体物理的驾驭能力，提高学生们对固体物理基础理论的理解能力，启迪学生的智力，提高学生的自学能力，培养他们的创新意识，都是大有裨益的。...

不动点定理和应用 【数理化】

不动点理论是假设给定的集合中有一个解并且可以用它来决定市场是不是处于平衡态中。书中重在强调实践中的应用，让读者了解应用不动点理论到经济和合作与非合作博弈中平衡点的存在性的数学技巧。...

微分方程定性方法和数值模拟 【数理化】

本教材包含了线性系统的相图，非线性系统的线性近似，具有零特征值奇点的性质，高阶奇点，极限环和它们的分支，无穷远奇点及奇点指数，关于相图应用的例子等内容。...

（新编）高等数学的内容、方法与技巧 高等数学 下 【数理化】

（新编）高等数学的内容、方法与技巧 高等数学 下 【数理化】

系统与控制中的近代数学基础 【数理化】

本书内容包括：泛函分析，点集拓扑，抽象代数，代数拓扑，张量场，代数几何等近代代数的主要分支。