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

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

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

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

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

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

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

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

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

Stokes方程和Navier-Stokes方程谱方法 抛物型和双曲型方程时空谱方法 【数理化】

本书收集2003年上海大学的博士学位论文百余篇。

研究&方法 时间系列分析 【数理化】

排序的理论与方法 【数理化】

数理统计方法 【数理化】

灰色系统理论与方法 【数理化】