论可计算数 图灵与现代计算的诞生 【数理化】

1936年，24岁的图灵发表了现代计算领域奠基性的论文《论可计算数及其在判定问题上的应用》。在本书中，作者还原了图灵是如何一步步对计算进行分解并构建现代计算机原型的。在作者看来，这堪称图灵一生中最重要的...

数学模型与计算 【数理化】

本书内容包括：数学建模概论，Mathematica软件包，Lindo软件包，Matlab基础知识，优化问题与计算，数据拟合与随机模拟，判别分析与计谑，矩阵博弈模型与计算，Markov过程与计算等。...

Mathematica与大学物理计算 【数理化】

本书以Mathematica为工具，引导读者通过物理计算达到更好理解物理学的目的。

可计算性与不可解性 【数理化】

数学计算方法与软件的工程应用 【数理化】

科学与工程计算技术丛书 MATLAB科学计算 【数理化】

本书在介绍MATLAB编程知识的基础上，讲述了科学计算与最优化设计的主要内容，具体包括MATLAB概述、MATLAB基本运算、MATLAB图形处理、MATLAB程序设计、数据插值、函数逼近与曲线拟合、积分与微分、求解线性方程...

计算结构力学与最优控制 【数理化】

随机过程 计算与应用 【数理化】

本书分为八章，内容包括随机过程基本知识，布朗运动，随机跳过程，平稳过程，离散时间和连续时间的马尔可夫链，鞅过程初步以及随机积分与伊藤公式。...

计算技术学习指导与习题集 【数理化】

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

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