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

本书以线性方程组理论为主线展开讨论，主要内容包括行列式、矩阵及其相关运算、矩阵的初等变换、初等矩阵的应用、向量、向量组及其相关运算、矩阵的特征值和特征向量、矩阵对角化、二次型等。

本书包括矩阵、行列式、矩阵的秩与线性方程组的解、向量及向量空间、方阵的特征值与特征向量、向量的内积及二次型等内容，各章除安排复习题外，还在各节设置了思考题和A，B两组难度递进的习题，书末附有习题参考答案，本书还给出了一些比较简单的线性代数应用问题。

“线性代数”是高等院校大多数专业学生必修的一门重要基础理论课.本书围绕教学大纲,在适宜教学以及易学易懂等方面做了探索,并在保持严谨性的同时适当地加入了一些线性代数的应用.本书叙述通俗易懂,语言简单明快,很好地把握了线性代数的深度和广度.全书共分七章:行列式及其应用、矩阵及其运算、n维向量空间、线性方程组、矩阵的特征值及

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

本书从数学家的角度清晰地提出了基本概念和思想,并在各种特殊类型的代码中加以说明。本书再版版本除了添加了编码增益等内容,还附上了关于编码理论的最新文献,让读者能够进一步拓展知识面。

概率方法是一种用随机数学研究图论和其他众多数学分支的方法和理论体系。它已经对数学基础理论和工业生产实际相关问题的建模和解决产生了深刻影响，而随机图的思想也对组合数学、理论计算机科学乃至整个数学的发展产生了重要作用。本书是著名数学家JoelSpencer（2021年Steele奖得主）关于概率方法的系列报告概率方法十讲。

本书全面介绍了经典的和现代的网络流技术，包括综合的理论、算法与应用。主要内容包括：路径、树与周期，算法设计与分析，最大流与最小流算法，分派与匹配，最小生成树，拉格朗日松弛与网络优化等。书中包含大量练习题，拓展了本书的内容，便于教学。

本书是著名数学家单墫教授为中学生写的一本简明的数论辅导书，高屋建瓴地总结出中学数论中的重要知识点（如数的整除性、同余、数论函数、不定方程、连分数等），对中学数论的定理、概念等结合例题和小故事进行了详细的讲解，并提炼、编创了一些特别能启发思维的练习题，通过这些练习可使读者对中学数论的知识和方法有所收获。本书适合中学生学习

本书主要介绍了简单的反定理、同余类的和、互异同余类的和、群的Kneser定理、Euclid空间中的向量和、数的几何、Freiman定理、Freiman定理的应用等相关知识.本书适合相关专业大学师生及数学爱好者阅读使用.