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

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

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

控制理论及其应用 第2版 【数理化】

本书是机械工程学科研究生教学用书，是在第一版的基础上修订而成的。本书所反映的内容是理论与实践密切结合的跨学科的综合技术，主要是应用古典控制理论和现代控制理论分析和解决工程技术问题。主要内容包括：机...

统计物理学 凝聚态理论 第4版 【数理化】

本书是一部享誉世界的理论物理学巨著，是反映经典物理学向现代物理学转变的里程碑式的重要著作，于1962年获得列宁奖。本书是讲述物质凝聚态的量子理论，详细论述（玻色型和费米型）量子液体理论，并着重于超流动性和.....

理论力学 第3版 【数理化】

本书第1版于2000年作为教育部工科力学“九五”规划教材出版，是面向21世纪课程教材。第3版在保持前两版特色的基础上，根据作者多年来的教学实践与学生的认知规律，重组课程体系与教学内容，篇幅有较大幅度减少，删除...

Y群理论 【数理化】

本书旨在介绍一种全新的数学方法，它定义了一个比群还要原始的对象：Y-群。还展示了有限群的非常精致而完美的组合结构，而且让我们发现了群谱这个不变量。全书共分13节，内容包括:Y矩阵及其扩张，包括Y群的基本概念...

理论力学 【数理化】

本书为普通高等教育“十一五”国家级规划教材，第1版于2003年8月出版，为教育科学“十五”国家规划课题研究成果。本书保持了第1版的特点，全书以土木、水利等工程实际为背景，注重物理概念的阐述和力学建模能力的...

传播，以思想的速度 爱因斯坦与引力波 【数理化】

自爱因斯坦提出引力波概念近一个世纪以来，引力波已成为物理学中最具争议的问题。爱因斯坦通过广义相对论，第一次预测了时空形状中未被揭露的涨落；但时至今日，我们仍处于最终观察它们的边缘。本书将带领读者穿越...

大学物理 理论核心部分 波动、波和粒子、狭义相对论 【数理化】

本书是在1995年出版的《大学物理(理论核心部分)》的基础上设计、修改而成的。作者在编写本书的过程中注意保持原书在精选和更新经典物理学传统内容方面的独特风格，同时，为了更好地适应开放性、远距离教育的需...

分块算子矩阵谱理论及其应用 【数理化】

本书以2×2分块算子矩阵的谱分析为主线，对分块算子矩阵的一些最基本的结构和性质进行阐述。本书第一章，简单介绍了Hilbert空间和Hilbert空间中线性算子（包括有界和无界）谱分析相关的基本概念和一些理论；第二章讨...