计算机辅助物理化学实验 第2版 【数理化】

本教材将现代信息技术引入物理化学实验，对物理化学课程进行整合。具体体现在：根据实验数据处理要求，选择性地介绍分析软件Matlab的操作命令，并进行上机练习；选用了部分有计算机数据接口的仪器，而对于大部分常规仪...

计算力学理论与应用 第三届全国计算力学会议论文集 【数理化】

量子计算和量子信息 1 量子计算部分 【数理化】

本书是《Quantum Computation and Quantum Information》的量子计算部分的中译本。它首先介绍了涉及到的物理学、计算机科学和数学等学科的基础知识，然后着重介绍了量子计算的主要研究成果，包括：量子线路，量子F...

用图形计算器学微积分 图形计算机器与大学数学 【数理化】

本书以图形计算器HP39gs为例介绍如何利用图形计算器学习一元微积分。

红外辐射特性与传输的数值计算 计算热辐射学 【数理化】

本书共十五章，包括红外辐射的基本概念、基本定律和基本方程，表面辐射的传输计算、气体与粒子辐射特性的数值计算、红外辐射传输数值计算方法及误差分析、热辐射反问题、空间光学系统的杂散光分析与计算、目标...

计算声学 声场的方程和计算方法 【数理化】

本书描述了在推导声波动方程的过程中对声学物理量所作的严密的数量级估计和微小量近似，给出了积分表达、抛物线近似、非线性效应等多种表达形式的声方程，讨论了各方程的一维和多维、时域和频域等多种数值计算...

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

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

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

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

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

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

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

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