第九届全国计算流体力学学会论文集 计算流体力学研究进展 【数理化】

递归可枚举集和图灵度 可计算函数与可计算生成集研究 【数理化】

本书是递归论方面的研究生教材之一，得到了国内外同行的广泛认可。

高等学校计算机应用规划教材 计算方法及其应用 【数理化】

本书覆盖了计算方法最基本的内容，包括插值与拟合、数值微分和数值积分、常微分方程的数值求解方法，非线性方程求根，求解线性方程组的直接法与迭代法，特征值和特征向量的数值方法。此外，每一章的最后给出数值实验...

国外计算机科学教材系列 可计算性与数理逻辑 【数理化】

本书主要论述了可计算机性理论、基础元逻辑及一些高级专题。该书在每章末尾还增加了习题，并重新组织和改写了某些章节，以使各章更加相互独立，增加了教师授课的灵活性，进而扩大了本书的使用范围。...

新编计算机类本科规划教材 数值计算方法 【数理化】

本书介绍了进行科学计算所必须掌握的一些最基本、最常用的数值计算方法及其Matlab软件的应用，内容包括误差知识、一元非线性方程的解法、线性方程组的解法、插值与拟合、数值积分与数值微分、常微分方程数值...

首届全国计算物理学术交流会论文集 差分格式的耗散、色散效应和非线性计算 【数理化】

计算技术 【数理化】

微分几何与计算几何 【数理化】

计算方法 【数理化】

数值计算方法 【数理化】