数 计算机、哲学家及对数的含义的探索 Number computers， philosophers & the search for meaning eng 【数理化】

书中不仅向我们展示了各种不同的计数系统以及其演变过程，而且还就人类对数的概念的认识过程及进展加以详细地描述。特别地，书中还回顾了数与计算机的发展之间的紧密联系。...

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

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

信息与计算科学丛书 扩散方程计算方法 【数理化】

本书介绍扩散方程的计算方法，重点介绍作者近十年来取得的研究进展。内容包括：简要介绍扩散方程几类常见的有限体积方法；扭曲网格上扩散方程的多种高精度有限体积格式，其中包括具有保正性的格式和保持离散极值原...

面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems 【数理化】

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...

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

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

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

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

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

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

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

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

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