计算的数学理论.pdf
本书是一部以可计算性理论和数理逻辑为工具，讨论程序正确性验证的专著．著者Z．马纳教授是本领域中世界公认的著名学者．他的这部著作和译本所附的“程序的逻辑分析”（1977）及“计算机程序设计的逻辑方法”（1978）两篇论文是计算机程序设计方面的重要理论著作，为许多文献所引用．
数学理论
医学图像中的数学理论与方法.pdf
医学图像处理主要研究如何从医学影像中获取内在的信息,为临床医生提供更清晰、更精确的信息,以利于对疾病的进行准确的诊断、从而制定出合理的治疗方案。医学图像的特点是数据量大、种类多同时还有误差,这给医学图像的处理与分析带来很大困难,同时也使得医学图像处理这门新兴学科的研究内容和研究方
有限元方法的数学理论.pdf
本书主要介绍有限元方法的数学基础知识，其内容包括椭圆边值问题的变分问题、Sobolev空间概要、有限元离散化、协调有限元的误差分析、数值积分的影响、非协调有限元、混合有限元方法等。
自然边界元方法的数学理论.pdf
本书介绍了自然边界元方法的数学理论，包括椭圆边值问题的自然边界归化原理、强奇异积分的数值计算、对调和方程边值问题以及自然边界元与有限元耦合法等。
机器人学的现代数学理论基础.pdf
本书全面深入地阐述了旋量理论与李群、李代数理论及其关联关系，反映了李群、李代数与机器人机构学相结合的最新理论研究成果。全书共9章：第1章为绪论；第2～4章主要讲述了旋量、李群、李代数等数学理论，揭示了刚体位移的固有特性以及与速度旋量和李代数的内在统一性；第5章介绍了旋量理论在机器
病虫害防治的数学理论与计算.pdf
本书分为5章，第1章介绍病虫害防治的有关背景知识；第2章介绍非线性动力系统与计算方法，以及定性、稳定性理论和脉冲微分方程的相关知识；第3-5章介绍病虫害防治中各类化学控制、生物控制和综合控制模型。
弹性结构的数学理论 | 2版.pdf
本书包括三方面基本内容：一、线性弹性理论基础；二、组合弹性结构的数学理论；三、弹性结构问题的有限元方法。
可激励系统分析的数学理论.pdf
本书分两篇，上篇是激励介质系统，介绍了激励介质的一般知识，定性和定量地刻画了各种波型解；下篇为可激励的常微分方程(ODE)系统，定性地分析了单个Oregonator的动力学，讨论了耦合Oregonator的同相波、反相波的性质以及论证了Tyson分歧图猜想等。
弹性结构的数学理论.pdf
本书包括三方面的基本内容：一、线性弹性理论基础，这是经典性的内容．二、组合弹性结构的数学理论，作者提出了自己的数学体系．三、弹性结构问题的有限元方法．作者在统一的理论基础上把这三方面内容有机地结合起来进行论述，着重弹性结构问题的数学提法的准确性和完整性． 本书可供
地球物理流体动力学数学理论导论.pdf
本书介绍的是地球物理流体动力学的数学理论。作者在简单论述流体动力学的基本概念之后，系统地论述了地球物理流体动力学的数学理论和物理概念，并介绍了有关理论的实验、应用和研究成果。全书共16章。第一至第三章是预备性知识；第四至第九章讨论均匀、旋转流体；第十至第十六章讨论层化、旋转流体。