面向计算机科学的数理逻辑 【数理化】

计算力学基础 【数理化】

计算力学以力学和应用数学为基础，计算机为工具，用数值方法模拟工程和科学中的复杂问题。不仅给出问题的数值结果，还可以通过图形形象地显示出问题的发展、演化过程，更为深刻和细致地探讨和分析其内在机理。...

运筹学导论 计算机算法 【数理化】

面向计算机科学的数理逻辑 【数理化】

计算方法 【数理化】

《计算方法》共分九章，内容包括误差知识，方程的近似解法，线性代数方程组计算方法，矩阵的特征值与特征向量的计算方法，插值法与曲线拟合，数值积分与数值微分，常微分方程初值问题的数值解法，偏微分方程差分解法......

科学计算及其应用的进展 英文版 【数理化】

生物工作者的物理化学计算 【数理化】

超级计算中的依赖关系分析 【数理化】

电磁场理论计算机辅助教学 【数理化】

世纪人文系列丛书 数学与人类思维 【数理化】

这是一本思考数学的文化佳作。该书包括与大师的访谈、数学发现的心理过程、数学与物理的关系、数学与审美、数学发现的策略等。这本书最大的特点就是，它由一系列小而精的短文组成，给人的感觉是像一本轻松的随...