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

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

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

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

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

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

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

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

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

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

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

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

计算技术 【数理化】

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

计算方法 【数理化】