现代统计学系列丛书 时间序列分析及应用 【数理化】

本书是为统计学专业本科生编写的时间序列分析课程教材，全书共九章，内容包括绪论，预备知识，时间序列的平稳化，自回归模型，移动平均模型，自回归移动平均模型，求和自回归移动平均模型，非线性时间序列，多维时间......

最佳可能的世界 数学与命运 【数理化】

从伽利略、惠更斯、笛卡儿、牛顿、莱布尼兹、费马到莫培督到欧拉、拉格朗日、哈密顿、雅可比、庞加莱……从钟摆保持同样的拍子到光线的传播再到台球问题……围绕这些伟大科学家的故事以及生活中熟悉的例子...

基于半导体量子点的量子计算与量子信息 【数理化】

本书以清晰的物理图像和丰富的实验结果，比较全面地介绍了基于半导体量子点的量子计算和量子信息方面的最新研究进展。内容有：半导体量子点形貌结构和基本特性介绍；激子量子比特旋转和量子逻辑运算等量子计算方...

交互式定理证明与程序开发 Coq归纳构造演算的艺术 【数理化】

Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...

量子理论 爱因斯坦与玻尔关于世界本质的伟大论战 【数理化】

量子的发现和量子理论的创立与发展，是20世纪科学的最伟大冒险之一。本书终于可以让读者充分了解和掌握量子与量子物理学的关键概念，还可洞悉在其更广泛的情境设置下的科学发展，其结果是具有挑战性和令人着迷的...

教育神经科学与国民素质提升系列丛书 教育神经科学视野中的数学教育创新 【数理化】

电磁场与波分析中半解析法的理论与应用 【数理化】

本书以电磁场和波为背景，全面介绍半解析法的理论基础、使用方法和实际应用，是2003年获教育部提名国家科学技术自然科学一等奖的项目“电磁场与波分析中半解析法的理论研究”的成果。内容包括：绪论、半解析法的...

现代数值计算方法 Matlab版 【数理化】

本书阐述了现在数值计算的基本理论和方法，包括数值计算的基本概念、解线性方程组的迭代法和直接法、插值法与最小二乘拟合、数值积分和数值微分、常微分方程的数值解法、非线性方程的迭代解法以及矩阵特征值...

现代统计力学导论 【数理化】

统计力学的近期进展已经使该领域发生了革命性的变化，使其成为自然科学所有领域中必不可少的基础。这些重要的发现先前仅涵盖在高等教材中，本书为已经学习了三个学期微积分并具有热力学和量子理论基础知识的学...

微积分原理与严格的理论基础 【数理化】

本书由两部分组成，第一部分以函数的非均匀性两种分类为视角，从研究对象、处理问题的方法、运算之间的联系和定义的数学结构等不同侧面，对导数与积分的内涵和二者之间的互逆关系作了全面分析，并由此提炼出微积分...