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

量子计算是一个多学科领域。 本书致力于利用一些 量子力学奇妙的方面扩大我们的计算视野。通过介绍面向计算机科学领域的量子计算， 本书将带领读者浏览这个引人入胜的尖端研究领域。本书以一种通俗易懂但又严谨的方式，采用了每个计算机科学的学者和学生都熟悉的方法和技术。读者无需具有任何高等数学或物理背景。前四章介绍的背景知识，包括复数，复向量空间，从经典计算到量子计算的飞跃， 和基础量子理论。在随后的七章，作者分别从计算机科学的特定角度来描述量子计算的不同方面，比如：计算机体系结构， 算法，编程语言，理论计算机科学，密码学，信息理论和硬件。本书为计算机科学专业的学生和研究人员提供循序渐进的示例，两百多个练习和相应的答案，以及应用量子计算思想的编程练习。

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

本书是一本趣味横生地讲述形式逻辑主题的故事书，融合了众多读者喜闻乐见的逻辑谜题，以一种独特的方式来普及数理逻从 章到第十六章有大量的趣味谜题供读者思考，包括说谎和讲真话的逻辑、沉默的骑士和无赖等，循着本书生动活泼的语言，读者可以由浅入深地了解命题的真假和自指、推理的有效性、集合论语义学、无穷和保有效性以及形式系统的性质等逻辑学基础知识。同时，本书还提供了丰富的练习及答案，这些练习并不拘泥于符号的正确运用，而是重在让读者理解证明的构造过程。本书既可以作为普通读者走入逻辑学大门的科普书，也可以作为大学本科和研究生的补充教材。

《超级通俗考研数学:攻坚站之高等数学》的一大特点是通俗易懂，深入浅出。主要内容包括高等院校高等数学课程的所有内容，针对考研数学的特殊性进行了强化，同时对于一些传统课本中的重点、难点、疑点以及被忽视的一些潜在要点做出了全新诠释。另外，由于作者常年从事考研培训，《超级通俗考研数学:攻坚站之高等数学》还包括相当多的不传之秘——考研数学的套路。

该书介绍了一些的数论问题，适合不同层次的读者阅读。一方面，作者不需要更宽泛的数学知识；事实上，只要在数学方面接受过正规的学校教育就足够了。另一方面，作者探讨了一些真正的数学兴趣问题，并以更易读懂的方式讲解，因此，数学知识丰富的作者在阅读此书时会感到非常愉悦和有益。该书中几个值得注意的点：数学归纳法的详细讲述和通过该法证明的独特的因子分解定理。

《铁路线路设计（第2版）》提出并贯彻了由面到带、由带到线、由线到段、由段到点的线路设计理念并依此组织教材编写。重点介绍铁路选线、铁路定线、铁路线形、铁路车站，简要介绍改建及扩建措施，包括磁浮铁路、直线电机地铁、直线电机独轨等新型轨道交通及其线路设计特点。

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、Lowenheim-Skolem定理等，并介绍了Alloy语言和NuSMV工具等内容。 本书适宜作为高等院校计算机及相关专业的数理逻辑/形式化方法课程的教材，也可供相关研究人员和专业人士参考。

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、Lowenheim-Skolem定理等，并介绍了Alloy语言和NuSMV工具等内容。 本书适宜作为高等院校计算机及相关专业的数理逻辑/形式化方法课程的教材，也可供相关研究人员和专业人士参考。

本书的宗旨是帮助读者全面、系统地复习高等数学的内容，深入理解基本概念和基本理论，学习和掌握解题方法及解题技巧；追求的目标是通过对解题方法和技巧的分析，使读者能举一反三、触类旁通。本书每章均有一些读者想掌握、易掌握但尚未掌握或根本上不知道的方法和技巧，例如，一些类型的极限的教求法；有关微积分中值定理命题的证明；定积分、重积分的有关命题的证明；不等式的证明；无穷级数求和的方法；常微分方程中积分因子的求法等，均介绍了读者见所未见的新方法和新技巧。按当前考试特点及命题的发展趋势修订的本书，将更适合广大读者，尤其是考研应试者的需要。本书可作为本科生、大专生、电大、夜大、职大生的参考书，也可作为青年教师和科技工作者的参考书。

本书是编者在多年概率论与数理统计教学实践基础上，根据高等学校工科各专业的“概率论与数理统计课程基本要求”编写的，共十一章，包括随机事件及其概率、一维随机变量及其分布、多维随机变量及其分布、随机变量的数

本书是与孙兵、毛京中主编的《工科数学分析上册》相配套的学习辅导书。全书按照《工科数学分析上册》的章节顺序编排，给出习题全解。内容以单变量函数为主要研究对象，包括函数、极限与连续，导数与微分，微分中值定