模型论及其在计算机科学中的应用 【数理化】

本书已于2011年1月27日正式签署合同。本书是为了给数学系和计算机科学系的本科生和研究生开设模型论课而写的，其主要内容是模型论的基本原理和它在计算机科学中的计算复杂度理论和机器证明等方面的应用。书...

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

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

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

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

计算方法 【数理化】

数值计算方法 【数理化】

化学基本计算 【数理化】

计算方法 【数理化】

化学计算法 【数理化】

计算尺用法 【数理化】