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

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

本书旨在引进与诠释俄罗斯著名语言学家、语言哲学家、符号学家IO.C.斯捷潘诺夫的符号学思想，为我国符号学研究注入新鲜血液。事实上，IO.C.斯捷潘诺夫的符号学思想在我国学界早有涉猎，只是鲜有系统梳理其思想脉络，凝练其理论精要者。然而，只言片语难以穷尽这座丰厚的符号学思想宝库，也无法为我国符号学学理体系建设供给有效养料。因此，本书尝试结合宏观与微观视角，分别着眼IO.C.斯捷潘诺夫的普通符号学和观念符号学思想，寻求普通和分支符号学双向学理建构的经验借鉴，为优秀理论本土化工作夯实基础。

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

有限群理论是研究对称性的重要数学基础，在理论物理、量子化学、晶体学、计算机编码、量子通信、信息加密等领域有重要应用。《有限群构造新论》介绍了作者在有限群构造领域的主要研究成果。为了便于读者阅读，《有限群构造新论》详细介绍了有限群论的基本概念、基本定理及其证明，内容是自封的。主要内容为：群的基本知识，群的作用，有限幂零群与超可解群，阶为p2q2，pq3，p2q3，p3q3 的有限群的完全分类(这里p，q 是不同的素数)。《有限群构造新论》可以作为理工科专业高年级本科生、研究生参考用书，也可以作为自然科学工作者的参考读物。

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

高等数学是大学学习过程中最重要的公共课。在研究生入学考试中也占据举足轻重的地位。本书可配合高等数学同济8版教材使用，也可独立使用，本书由全国知名教授张天德编写，帮助大学生们顺利完成高等数学课程和复习！

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

国际大学生数学竞赛是国际上较高层次的大学生参加的高级别数学竞赛。本书汇集了从第1届至17届国际大学生数学竞赛的试题及其解答． 本书适合于大学数学系师生及相关专业研究人员和数学爱好者使用。

自上世纪20～30年其出现开始，群的上同调就成为了代数与拓扑学的交叉领域，并且促成了重要的新数学研究领域的创建，诸如同调代数和代数K-理论。该书是本综合论述有限群的上同调的书。书中介绍了最重要也是最有用的代数和拓扑方法，研究了有限群的上同调与同伦论、表示论和群作用之间的关系。书中的各理论与实例的结合，连同各种重要的经典群（对称群、交错群、李型极限群以及各种散在单群）的上同调的计算方法

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

本书内容主要包括代数、几何、三角、初等数论、一元微积分及级数等，书中通过一些在其他书上不容易找到的例题、问题来演示数学解题的技巧。 本书适合于参加大学生数学竞赛及中学生奥大匹克数学竞赛的学生，对于数学爱好者、数学研究者，它也是一本极好的参考书。

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

本词典不仅是一本可供查阅的新颖工具书，而且读者亦可按需要选择有关的词条，把它作为一本科普物来阅读。词典中所列的词条，除包括数学名词、数学家、数学学科分支等以外，还涉及数学史等各个方面 。由于数学与计算机科学有紧密的联系，其中还包括了计算机科学的一些词条。本词典的词条按汉语拼音排序。每个词条均有英文译名，因此它还兼有简明汉英数学词典的作用。本词典的附录有“常用数学符号、公式和等式的（英语）读法”及“英语缩写词”，可供读者参考。本词典图文并茂，除供中等（以上）文化程度的广泛读者查部外，还能启迪读者的数学思维，并能为教师进行课堂教学、素质教育、教学改革与数学文化课程的教学提供丰富的材料。