"本书在编者多年讲授线性代数课程的基础上编写而成，编者对如何在教材中贯彻应用型人才培养目标，加强学生数学应用能力的培养有丰富的经验。本书内容精简，突出应用，便于教学，符合应用型人才培养的教学实际。本书系统地介绍了线性代数的基本概念和理论。全书共7章，包括行列式、矩阵、向量、线性方程组、矩阵的相似对角化、二次型、用MATLAB做线性代数等内容。书末汇编了2014年以来全国硕士研究生招生考试中线性代数的部分题。本书可供普通高等学校非数学类专业本科生选用，也可供自学者和科技研究人员参考。"<

《矩阵特征值定位理论》较为全面、系统地介绍了矩阵特征值定位的基本理论、方法及其相关问题. 《矩阵特征值定位理论》共五章, 包括预备知识、Ger.gorin 圆盘定理与严格对角占优矩阵、Brauer 卵形定理与双严格对角占优矩阵、几类结构矩阵的特征值定位与估计(包括非负矩阵谱半径的估计、随机矩阵非 1 特征值的定位与估计、Toeplitz 矩阵特征值的定位等)以及与矩阵特征值定位相关的其他问题(如严格对角占优矩阵的 Schur 补、B-矩阵与实特征值的估计、线性互补问题解的误差估计、矩阵伪谱

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

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

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

本书系统深入地阐述了矩阵结构和矩阵函数的公理化体系，并给出基于此公理体系进行形式化分析与验证的应用。主要内容包括：矩阵结构的形式化；矩阵序列与矩阵级数理论的形式化；矩阵函数微分的形式化；矩阵理论的自动化定理证明；矩阵理论公理化系统在信息或物理系统形式化建模验证中的应用。

本书是基于作者多年来为本科生、硕士研究生讲授组合分析方法及应用课程的讲义与作者的研究成果编写而成。全书系统介绍组合数学的存在性和计数两大组合分析领域的主要理论、方法及其应用，共八章，内容包括鸽巢原理及其应用、排列与组合及二项式系数、容斥原理及其应用、生成函数与递归关系、二阶线性齐次递归序列、组合序列及其性质、组合反演公式及其应用、Calkin恒等式及其交错形式等。

本教材注重理论与应用密切结合，淡化抽象的理论推导，精选典型的应用实例，重点阐述模糊数学与粗糙集理论的思想方法及其应用价值. 本书适合于各专业大学生、研究生学习和参考，特别适宜于数学类专业（数学与应用数学、信息与计算科学）、计算机科学与技术专业、数据科学与大数据技术专业、自动化专业、智能科学与技术专业、经济管理类专业，以及与信息处理、决策科学相关的其他专业作为教材使用.

本书作者主要考虑了顶点加权有向图的加权持续道路同调，有向图的离散 Morse 理论及有向图的基本群和覆盖等问题。一方面，利用-语言实现了有向图的道路同调与超图的嵌入同调的统一。类比于单纯复形上的权重同调，考虑了顶点加权有向图的持续道路同调。同时，将道路同调的概念推广到一般有限集，给出了有限集的Kunneth公式。进一步地，从有向图同调群的简化计算角度入手，考虑了有向图上的离散Morse理论。另一方面，梳理了有向图及与其对应的无向图在不同同伦等价意义下基本群之间的关系，证明了万有覆盖转化

大多数软件开发人员在复杂的代码上浪费了大量的时间。《整洁代码的艺术》提出的九大原则将教会您如何编写清晰、可维护且功能完备的代码。本书的指导原则很简单：缩减和简化，将精力投入到重要的工作上，省下大量的时间，卸下代码维护的重担。
热销书作者克里斯蒂安.迈尔在本书中利用他的经验帮助许多程序员完善他们的编码技能。他给出专业建议和真实例子，展示如何：利用80/20原则，专注于重要任务——最要紧的那20%代码；避免孤立编码，创建最小可行产品，获得早期反馈；编写整洁、简单的代码，排除混乱；避免