数学文化课程建设的探索与实践 【数理化】

本书收录的论文从数学文化的内涵、发展历程等多个角度，介绍了数学文化课程建设、数学文化融入大学数学教学的研究与实践历程，具有很高的理论价值和实践指导意义，对进一步促进高校数学文化课程教学资源的建设和...

现代有机合成反应技术与应用研究 【数理化】

本书主要研究有机化学重要的反应方式，如氧化反应、还原反应、重氮化与偶合反应、缩合反应、环化反应、不对称合成反应、逆合成反应和基团保护。另外，还简要讨论了有机合成的新技术及其相应的应用，这些反应包括...

半符号逻辑 传统逻辑与符号逻辑的桥梁 【数理化】

本书共分7章，探索构件的一种新的逻辑推理体系——半符号化推理演绎体系。该体系集形式逻辑和数理逻辑二者之所长，在保留形式逻辑推理、演绎直观性的前提下，借助数理逻辑的符号演算体系进行逻辑推理。...

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

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

古希腊名题与现代数学 【数理化】

立方倍积，三等分角，化圆为方，正多边形作图，方程的根式解，和费尔马大定理，这些是最著名的数学历史性难题，挑战人类数千百年，深刻影响现代数学的发展和面貌。本书由浅入深介绍其源头、沿革、最终解答与证明、和......

现代CAE技术与应用 【数理化】

以ANSYS和ABAQUS作为现代CAE技术应用与实践的典型软件，系统地介绍了CAE软件的基本分析过程，并重点放在有限元理论深层次问题的CAE软件应用与实践，即材料非线性问题，几何非线性与曲屈分析，高度非线性接触问题，断裂...

现代测量数据处理理论与方法 【数理化】

本书是作者多年来的优秀论文选编，对从事相关研究的人员具有参考价值。书中文章包括中文和英文两种语种。全书包括4个部分，第一部分包括11篇文章，主要讲述变形分析的几何分析和物理解译的两方面内容；第二部分包...

原子结构与化学键 以直观概念为基础的现代化学键理论的概论 【数理化】

现代基础化学教学与学习指南 【数理化】

本书是《现代基础化学》（第三版）的配套辅助教学参考书，分为五部分：教学大纲，介绍本章的教学内容，重点要求掌握的概念和知识点；教学框图，把本章的知识归纳整理一张框图，一目了然，以便于学生总结梳理教学内容......

现代时空论 第1册 高维空时流形、度规与虚实能宇宙观 【数理化】

现代物理学新书:内部发行:本书从时空结构上定义惯性系和非惯性系