本书从计算机科学家和工程师等应用科学家的角度介绍了线性代数的主要概念和一些重要应用，同时不失数学严谨性。计算科学家和工程师在研究和工作实践中都需要理解数学的理论概念，以便能够提出研究进展和创新解决方案，基于这一理念，本书对每一个概念都做了全面介绍，并通过一些例子补充解释。此外，书中大多数定理都是先给出严格证明，然后通过数值例子在实践中加以证明。在适当的情况下，主题也通过伪代码的方式呈现，从而突出代数理论的计算机实现。

本书是全国高等学校计算机教育研究会十四五规划教材，较全面地介绍了离散数学的基本理论及基本方法。本书以离散数学课程的重要知识点为纽带，夯实程序设计思路，拓展数据和关系的表示方法，强化从实例计算到模型计算和问题形式化自动化（计算机化）等方法，为后续的科学研究打下良好的基础。全书由命题演算基础、命题演算的推理理论、谓词演算基础、谓词演算的推理理论、递归函数论、集合、关系、函数与集合的势、图论、树和有序树、群和环、格与布尔代数共12章组成。本书知识结构完整，内容丰富，不仅配备了符合教学目标的课后习

《近可积系统的轨道稳定性》研究近可积系统的轨道稳定性问题, 包括KAM环面的存在性、有效稳定性和拟有效稳定性等问题. 《近可积系统的轨道稳定性》涉猎了Hamilton系统、扭转映射、辛映射等通常形式和参数形式的多种近可积系统. 从应用角度, 《近可积系统的轨道稳定性》探讨了扰动氢原子的Hamilton系统和近可积小扭转映射的轨道运行机制. 《近可积系统的轨道稳定性》主要使用Cauchy积分估计技术和快速Newton迭代方法等分析工具. Newton迭代程序主要应用有限等步长迭代和无限迭代两种方案

本书是陈难先院士对于其科研生涯中主要的贡献——默比乌斯反演的应用的总结。但本书并没有局限于纯粹学术专著的风格，而是尽量写得通俗易懂，以激发读者对于这一美妙方法的兴趣。 20世纪80 年代，人类进入信息时代，科学技术中的各种逆问题蓬勃兴起。作者运用默比乌斯反演方法使问题的解出现了新的面貌。在Nature 杂志引发了整版评论。物理界大都熟悉傅里叶变换和拉普拉斯变换之类的积分变换，但对默比乌斯变换与默比乌斯反演之类的级数变换了解甚少。本书就是要从物理的角度去感受默比乌斯反演方法特有的趣味和生命力。本书

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

本书内容如下：1. 集合与关系，2.拓扑与范畴，3.偏序集与格，4.分配格与完备格，5.Galois伴随，6.Frame与连续格，7.完全分配格，8.逻辑代数. 前四章是整个格论的基础，讲述预备知识和格论的基础知识；第五章讲述两种形式：保序的Galois伴随和逆序的Galois伴随，第六章和第七章讲述格的连续性和分配性，第八章，逻辑代数讲述逻辑学中基本的逻辑系统所对应的逻辑代数

本书内容主要包括张量谱理论和一致超图相关的基本概念和基础知识、张量行列式和高阶迹、非负张量及其剖分、偶数阶一致超图的LaplaceBeltrami 张量、一致超图的正则 Laplacian 张量、一致超图的特征向量、一致超图的特征值、特殊超图及一致超图的谱对称性等，并附有相关的参考文献.
本书可供高等学校相关专业高年级本科生、研究生和教师以及相关科研工作者、工程技术人员参考.

本册教材分 4个单元，用 14个活动分别介绍了图像处理、图文编排、 Flash动画制作以及通过班级网络进行交流学习等知识。内容丰富，由浅入深，操作步骤清晰。

本书是作者团队结合多年教学实践经验与科学研究成果，在力求通俗易懂、简明扼要的指导思想下编写而成的。本书共11章，内容包含数理逻辑、集合与关系、函数、代数结构、图和树等。本书体系严谨、文字精练、内容充实、例题丰富，配套丰富的教学资源，适合高校教学使用。除此之外，本书综合国内外离散数学的相关新资料，采用双语的形式，从而培养读者的外文科技文献阅读能力。
本书适合高等院校计算机及相关专业作为“离散数学”课程的教材使用，也可以作为对离散数学感兴趣的读者的入门参考用书。本书封面贴有清华大学出版社防伪标

线性代数在现代科学的各个领域都具有广泛的应用，是高等院校理工、经管等各专业的一门重要的基础课。本书是我们在清华大学出版社出版的《线性代数》(第2版)的配套辅导书，也可以独立使用