本书共分五个部分,十四个章节,是论述群、群表示论、李群、李 代数及其应用的一本入门读物. 第一部分详述了集合,集合之间的映射,以及群的一些基本理论,如等价与分类、拉格朗日定理,以及重新排列定理等. 第二部分具体讨论了一些群,如点群、对称群、群 GL ( n , K )及 其子群,着重论述了群 O ( 3)及其子群，为了运用，又用群论方法 证明了只有五种正多面体. 第三部分,阐明了由数系扩张形成的环、域、代数等代数系,并详细地讨论了向量空间中的一系列重要空间,如商空间、对偶空间、欧几里得空间和酉空间. 第四部分, 全面且系统地阐述了有限群的表示论,并研究了四元数与三维空间的转动.从时空的均匀性和对称性得出惯性系之间的洛伦兹变换,以及将对称性与守恒量联系起来的诺特定理. 第五部分,定义了李群,引出李代数,并讨论了它们在角动量理论 及基本粒子模型中
《高等数学习题精选精解》由山东大学张天德教授、蒋晓芸教授主编。山东大学刘建亚教授、吴螓教授对全书作了仔细的校审，并对部分习题提出了更为精炒的解题思路。该书可以作为在读大学生同步学习的优秀辅导书，也可以
《物理学的进化》是著名科学家、物理学奠基，主要介绍物理学观念从伽利加略牛顿时代的经典理论发展到现代的场论、相对论和量子论的演变情况。其中选择了几个主要的转折点来阐明经典物理学的命运和现代物理学中建立新观念的动机，从而指引读者怎样运河找寻观念世界和现象世界的联系。《物理学的进化》问世后，物理学有了空前的发展，不过这《物理学的进化》只是讨论物理学的重要观念，它们在本质上并没有变化，仍然适合读者阅读。
邱法玉、宋金丽主编的《高等数学学习辅导与同 步练习(国家骨干高职院校基础课系列教材)》根据教 育部制定的《高职高专教育高等数学课程教学基本要 求》，以国家骨干高职高专办学方向和培养目标为指 导，兼顾各专业对高等数学知识和技能的基本需求编 写而成。 本书既从宏观上对各章知识点、重难点、内在联 系进行系统的梳理，又从微观上对重点题型、解法、 注意事项进行分门别类的总结与例题示范，有利于学 生对知识的掌握以及应用能力的提高。 本书与国家骨干高职院校系列教材《高等数学》 配套使用，一方面能做到对教材知识点的呼应、总结 与强化，另一方面题目类型全、覆盖面广，题目从基 本到综合，由易到难、循序渐进，充分注重基础知识 的巩固、基本方法和自学能力、解题能力、应用能力 以及分析问题、解决问题能力的训练
本书是作者多年来在大学生数学竞赛辅导和考研辅导经验的基础上编写而成的．全书共分为13 章，每章包括4 个模块，即知识要点、典型例题分析、深化训练以及深化训练详解．本书编写的目的主要有两个：一是帮助工科类、经管类本科生备考全国大学生数学竞赛，使学生能够在短时间内迅速掌握各种解题方法和技巧，提升学生综合分析问题、解决问题的能力；二是为了满足工科类、经管类本科生考研的需要. 在例题和习题选编方面，精选了部分有代表性的数学竞赛真题和考研真题，同时注重例题、习题的创新，按题型分类进行合理编排，使学生能够尽快地适应考研题型，从容应对考试.本书既可以作为普通高等院校工科类、经管类本科生参加全国大学生数学竞赛的辅导用书，也可以作为工科类、经管类本科生考研深化训练用书．
《青少年信息学奥林匹克竞赛实战辅导丛书:信息学奥赛之数学一本通》的适用对象包括：中学信息学奥林匹克竞赛选手及辅导老师、大学ACM程序设计比赛选手及教练、高等院校计算机相关专业的师生、程序设计爱好者等。数学是计算机程序设计的灵魂。利用数学方面的知识、数学分析的方法以及数学题解的技巧，可以使得程序设计变得轻松、美观、高效，而且往往能反映出问题的本质。在外各项程序设计比赛（比如，ACM、NOI）活动中，越来越多地用到各种复杂的数学知识，对选手的数学修养要求越来越高。编写《青少年信息学奥林匹克竞赛实战辅导丛书:信息学奥赛之数学一本通》的目的就在于给广大ACM队员、NOI选手以及编程爱好者，系统分析一些程序设计中常用的数学知识和数学方法。
全书基本涵盖了《高等数学》中所需的初等数学内容。本书按初等数学的学习顺序分八章进行编写，章代数式、第二章方程与不等式、第三章函数概念与二次函数、第四章指数函数与对数函数、第五章数列、第六章三角函数、第七章平面解析几何、第八章复数简介。每章后附有精选的习题，全书的给出了习题的答案和证明题的提示。本书的编写精简、扼要，能在较短的时间内补足学习《高等数学》所需的预备知识。 本书适合于各大专院校的学生复习；各类国家高等教育自学考试的学生、网络学院的学生、广播电大的学生自学补习或集体补习初等数学之用。
针对当前高等数学教学的现状分析，《高等数学的教学改革策略研究》一书应需而生。本书主要围绕高等数学的教学思想改革策略研究、高等数学的教学内容改革策略研究、高等数学的教学主体改革策略研究、高等数学的教学目标改革策略研究、高等数学的教学方法改革策略研究、高等数学的教学模式改革策略研究、高等数学的教学评价改革策略研究、高等数学的教学实践改革策略研究等内容进行了阐述，以期通过本书的分析研究，能够对高等数学的教学改革有所助益。
高等数学的重要性不言而喻。由于高等数学理论上的高度抽象性、逻辑上的高度严密性以及内容上的博大系统性，使得初学者在有限的学时内难以理解接受。正因于此，对初学高等数学的同学来说，往往听讲时抓不住重点，课后不知如何去解题，所以希望能有一本令他们满意的参考书，帮助他们尽快地突破难点、抓住重点，牢固地掌握基本知识，且在此基础上，学会并掌握较为系统的解题方法。为了满足同学们的上述愿望，我们总结了三十多年从事高等数学教学的经验，编写了这本《高等数学重点难点100讲》。 本书的特点是：一、突出重点难点。全书将高等数学从函数、极限、连续、一元微积分、向量代数、空间解析几何到多元微积分、级数及微分方程各个章节中的重要的、难以理解掌握的知识点一一抽取出来，从多角度进行详细的讲解与讨论，起到化难为易
数理逻辑是计算机科学的基础之一，在模型与系统的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂，数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材，涵盖了命题逻辑，谓词逻辑、模态逻辑与 Agent、二元决策图、模型检查和程序验证等内容。与传统数理逻辑教科书相比，它的主要特色就是紧紧围绕软硬件规约和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法，紧致性理论和Lowenhenm-Skolem定理，并介绍了Alloy语言和Nusmv工具。 本书自出版以来受到广泛好评，已经被包括美国普林斯顿大学、卡内基-梅隆大学、英国大学、德国汉堡大学、加拿大多伦多大学、荷兰 Vrije大学，印度理工学院在内的多个国家几十所高校采纳为教
高等数学是高等职业院校学生的一门必修课，其思想和方法广泛应用于科学技术、社会经济等领域，对学生的专业学习、能力提高和职业发展有着极其重要的作用。 本书的编写遵循高等职业教育“以服务为宗旨，以就业为导向，走产学结合发展道路”的办学指导思想，本着“以应用为目的，以能力培养为目标”的教学原则，强调数学概念与实际问题的联系，提高学生的实践能力和创新精神。 教材内容共十章，包括函数、极限与连续、一元函数微分学、一元函数积分学、常微分方程、二元函数微分学、二元函数积分学、无穷级数、拉普拉斯变换、行列式与矩阵。全书建议讲授120—140学时(其中全书的应用与实践部分建议有选择地讲授20～30学时)。本书适用于高等职业院校机械工程专业、汽车 工程专业、电子电气工程专业、建筑工程专业、计算机专业等专业基础公共课
