本书共分五个部分,十四个章节,是论述群、群表示论、李群、李 代数及其应用的一本入门读物. 第一部分详述了集合,集合之间的映射,以及群的一些基本理论,如等价与分类、拉格朗日定理,以及重新排列定理等. 第二部分具体讨论了一些群,如点群、对称群、群 GL ( n , K )及 其子群,着重论述了群 O ( 3)及其子群，为了运用，又用群论方法 证明了只有五种正多面体. 第三部分,阐明了由数系扩张形成的环、域、代数等代数系,并详细地讨论了向量空间中的一系列重要空间,如商空间、对偶空间、欧几里得空间和酉空间. 第四部分, 全面且系统地阐述了有限群的表示论,并研究了四元数与三维空间的转动.从时空的均匀性和对称性得出惯性系之间的洛伦兹变换,以及将对称性与守恒量联系起来的诺特定理. 第五部分,定义了李群,引出李代数,并讨论了它们在角动量理论 及基本粒子模型中

《高等数学习题精选精解》由山东大学张天德教授、蒋晓芸教授主编。山东大学刘建亚教授、吴螓教授对全书作了仔细的校审，并对部分习题提出了更为精炒的解题思路。该书可以作为在读大学生同步学习的优秀辅导书，也可以

《物理学的进化》是著名科学家、物理学奠基，主要介绍物理学观念从伽利加略牛顿时代的经典理论发展到现代的场论、相对论和量子论的演变情况。其中选择了几个主要的转折点来阐明经典物理学的命运和现代物理学中建立新观念的动机，从而指引读者怎样运河找寻观念世界和现象世界的联系。《物理学的进化》问世后，物理学有了空前的发展，不过这《物理学的进化》只是讨论物理学的重要观念，它们在本质上并没有变化，仍然适合读者阅读。

邱法玉、宋金丽主编的《高等数学学习辅导与同 步练习(国家骨干高职院校基础课系列教材)》根据教 育部制定的《高职高专教育高等数学课程教学基本要 求》，以国家骨干高职高专办学方向和培养目标为指 导，兼顾各专业对高等数学知识和技能的基本需求编 写而成。 本书既从宏观上对各章知识点、重难点、内在联 系进行系统的梳理，又从微观上对重点题型、解法、 注意事项进行分门别类的总结与例题示范，有利于学 生对知识的掌握以及应用能力的提高。 本书与国家骨干高职院校系列教材《高等数学》 配套使用，一方面能做到对教材知识点的呼应、总结 与强化，另一方面题目类型全、覆盖面广，题目从基 本到综合，由易到难、循序渐进，充分注重基础知识 的巩固、基本方法和自学能力、解题能力、应用能力 以及分析问题、解决问题能力的训练

数理逻辑是计算机科学的基础之一，在模型与系统的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂，数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程，涵盖了命题逻辑，谓词逻辑、模态逻辑与 Agent、二元决策图、模型检查和程序验证等内容。与传统数理逻辑教科书相比，它的主要特色就是紧紧围绕软硬件规约和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法，紧致性理论和Lowenhenm-Skolem定理，并介绍了Alloy语言和Nusmv工具。

该教材内容主要涵盖材料的基础知识介绍、原子的结构与键合、金属和陶瓷的结构、高分子结构、固体缺陷、扩散、力学性能、变形和强化机制、失效、相图、相变、电性能、材料类型及其应用、材料的合成制备与加工、复合材料、材料的腐蚀与降解、热性能、磁性能、光学性能、材料科学与工程所涉及的经济，环境和社会问题 。 本书内容全面、先进。不仅是材料学科的必修课教材，也是应用物理、化学工业、信息工程、生物工程、电子电工、车辆工程、航空航天等专业的必要补充教材。也可为专业人员提供参考价值。

无