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

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

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

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

新编数学辅导与测试 周周练·单元练·综合练 高中一年级 上 第2版 配上海市新教材 【数理化】

本书供使用上海数学教材的学生使用，内容编排基本与教学进度同步，采用“一周一练”这一辅导与测试模式，融知识、方法、能力为一体。

误差设计新理念与方法 【数理化】

本书强调误差应作为设计的重要依据和内容，提出了误差设计这一新的理念，建立了数学模型，介绍了几种主要的设计方法。为了使误差设计具体化，本书还结合各类误差设计方法精选了一些典型的应用例子。全书共分为九章...

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

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

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

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

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

物理文化论坛 物理教育教育理论与实践 【数理化】

本书主要论述基于物理文化进行素质培养的新观点、新理念、新方法、新举措及其相关的教与学实践效果。包括物理教学与人文素质培养、物理教学与科学素质培养、物理教学与综合素质培养、物理教学与科学研究、...

2004年硕士研究生数学最后30天冲刺命题预测试卷 新典型800题·数学四 经济类·经典版 【数理化】

暂缺《黑博士考研数学系列2005年硕士研究生入学考试数学新典型1000题精选（理工类）》简介

高等数学新讲 上 【数理化】

传统的微积分教材都是基于语言的极限概念开始的，有了极限概念再讲导数和积分。但语言的极限概念对初学者很难理解。本书主要的思想是，不用极限概念，用更初等的方法严谨地讲微积分。本书共15章，前六章致力于介绍...