本书共分五个部分,十四个章节,是论述群、群表示论、李群、李 代数及其应用的一本入门读物. 第一部分详述了集合,集合之间的映射,以及群的一些基本理论,如等价与分类、拉格朗日定理,以及重新排列定理等. 第二部分具体讨论了一些群,如点群、对称群、群 GL ( n , K )及 其子群,着重论述了群 O ( 3)及其子群，为了运用，又用群论方法 证明了只有五种正多面体. 第三部分,阐明了由数系扩张形成的环、域、代数等代数系,并详细地讨论了向量空间中的一系列重要空间,如商空间、对偶空间、欧几里得空间和酉空间. 第四部分, 全面且系统地阐述了有限群的表示论,并研究了四元数与三维空间的转动.从时空的均匀性和对称性得出惯性系之间的洛伦兹变换,以及将对称性与守恒量联系起来的诺特定理. 第五部分,定义了李群,引出李代数,并讨论了它们在角动量理论 及基本粒子模型中
本书旨在引进与诠释俄罗斯著名语言学家、语言哲学家、符号学家IO.C.斯捷潘诺夫的符号学思想，为我国符号学研究注入新鲜血液。事实上，IO.C.斯捷潘诺夫的符号学思想在我国学界早有涉猎，只是鲜有系统梳理其思想脉络，凝练其理论精要者。然而，只言片语难以穷尽这座丰厚的符号学思想宝库，也无法为我国符号学学理体系建设供给有效养料。因此，本书尝试结合宏观与微观视角，分别着眼IO.C.斯捷潘诺夫的普通符号学和观念符号学思想，寻求普通和分支符号学双向学理建构的经验借鉴，为优秀理论本土化工作夯实基础。
自上世纪20～30年其出现开始，群的上同调就成为了代数与拓扑学的交叉领域，并且促成了重要的新数学研究领域的创建，诸如同调代数和代数K-理论。该书是本综合论述有限群的上同调的书。书中介绍了最重要也是最有用的代数和拓扑方法，研究了有限群的上同调与同伦论、表示论和群作用之间的关系。书中的各理论与实例的结合，连同各种重要的经典群（对称群、交错群、李型极限群以及各种散在单群）的上同调的计算方法
本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、Lowenheim-Skolem定理等，并介绍了Alloy语言和NuSMV工具等内容。 本书适宜作为高等院校计算机及相关专业的数理逻辑/形式化方法课程的教材，也可供相关研究人员和专业人士参考。
国际大学生数学竞赛是国际上较高层次的大学生参加的高级别数学竞赛。本书汇集了从第1届至17届国际大学生数学竞赛的试题及其解答． 本书适合于大学数学系师生及相关专业研究人员和数学爱好者使用。
本词典不仅是一本可供查阅的新颖工具书，而且读者亦可按需要选择有关的词条，把它作为一本科普物来阅读。词典中所列的词条，除包括数学名词、数学家、数学学科分支等以外，还涉及数学史等各个方面 。由于数学与计算机科学有紧密的联系，其中还包括了计算机科学的一些词条。本词典的词条按汉语拼音排序。每个词条均有英文译名，因此它还兼有简明汉英数学词典的作用。本词典的附录有“常用数学符号、公式和等式的（英语）读法”及“英语缩写词”，可供读者参考。本词典图文并茂，除供中等（以上）文化程度的广泛读者查部外，还能启迪读者的数学思维，并能为教师进行课堂教学、素质教育、教学改革与数学文化课程的教学提供丰富的材料。
本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、Lowenheim-Skolem定理等，并介绍了Alloy语言和NuSMV工具等内容。 本书适宜作为高等院校计算机及相关专业的数理逻辑/形式化方法课程的教材，也可供相关研究人员和专业人士参考。
自上世纪20～30年其出现开始，群的上同调就成为了代数与拓扑学的交叉领域，并且促成了重要的新数学研究领域的创建，诸如同调代数和代数K-理论。该书是本综合论述有限群的上同调的书。书中介绍了最重要也是最有用的代数和拓扑方法，研究了有限群的上同调与同伦论、表示论和群作用之间的关系。书中的各理论与实例的结合，连同各种重要的经典群（对称群、交错群、李型极限群以及各种散在单群）的上同调的计算方法
本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、Lowenheim-Skolem定理等，并介绍了Alloy语言和NuSMV工具等内容。 本书适宜作为高等院校计算机及相关专业的数理逻辑/形式化方法课程的教材，也可供相关研究人员和专业人士参考。
本书的宗旨是帮助读者全面、系统地复习高等数学的内容，深入理解基本概念和基本理论，学习和掌握解题方法及解题技巧；追求的目标是通过对解题方法和技巧的分析，使读者能举一反三、触类旁通。本书每章均有一些读者想掌握、易掌握但尚未掌握或根本上不知道的方法和技巧，例如，一些类型的极限的教求法；有关微积分中值定理命题的证明；定积分、重积分的有关命题的证明；不等式的证明；无穷级数求和的方法；常微分方程中积分因子的求法等，均介绍了读者见所未见的新方法和新技巧。按当前考试特点及命题的发展趋势修订的本书，将更适合广大读者，尤其是考研应试者的需要。本书可作为本科生、大专生、电大、夜大、职大生的参考书，也可作为青年教师和科技工作者的参考书。
