本书共分四大部分，数理逻辑部分包括命题逻辑的基本概念、等值演算、范式与推理论，一阶逻辑的基本概念、前束范式以及推理理论。集合论部分包括集合的基本概念与运算，二元关系的性质与运算、等价关系与偏序关系，函数及其性质，复合函数与反函数等。代数结构部分包括二元运算及代数系统，半群、独异点、群、环与域、格与布尔代数等。图论部分包

《高等学校教材：组合数学》介绍组合数学的基本内容。《高等学校教材：组合数学》共10章，如组合计数方面的递归关系、母函数、容斥原理、Polya定理等基本计数方法，存在性方面的抽屉原理、有限几何以及组合设计方面的正交拉丁方等。此外，书中还包含了许多有趣的例子和作者的一些研究成果。《高等学校教材：组合数学》可作为高等学校数学

李群的离散群在现代数学中是非常基础的概念，广泛地应用于不同的学科。本文集包含15篇关于离散群的论文，涉及代数、分析、几何、数论及拓扑等众多主题。

本书作为计算机科学与技术及信息专业的基础理论教材，主要内容包括命题逻辑、谓词逻辑、集合与关系、映射、代数结构、格与布尔代数、图论等知识，对相关知识的专业应用内容也作了介绍。离散数学与计算机学中的数据结构、操作系统、编译理论、算法与分析、逻辑设计、系统结构、容错诊断、机器定理证明等理论课程联系紧密。本教材在内容的组织上，

《初等数论》共分八章，内容包括整除理论、同余、不定方程、同余方程、二次同余方程、原根和指数、实数的表示以及初等数论应用举例。书中配有大量习题，书末附有答案与提示以及一些与数论相关的阅读材料。《初等数论》积累了作者多年的教学经验，结合国内现有相关文献资料精心组织，编写时力求做到深入浅出、循序渐进、突出重点、结构严谨、例题

《研究生系列教材·矩阵分析及应用》介绍了矩阵分析的丰富理论和方法，包括矩阵基础知识、向量和矩阵范数、矩阵函数、矩阵微积分、矩阵分解、特征值分析、广义逆矩阵以及矩阵不等式，特别强调矩阵分析的实际应用，提供了大量具有明确应用背景的例子，有助于读者学会灵活使用矩阵这一重要数学工具解决科学和技术领域中的相关问题。

本书内容包括：向量代数，行列式，线性方程组与线性子空间、几何空间中的平面与直线、矩阵的秩与矩阵的运算，线性空间与欧几里德空间等。

本书是1993年版《组合数学基础》的更名、修订并扩容新版，旨在介绍组合学（Combinatorics）的基本风貌。新版除了修订原有的组合计数方法、（0，1）矩阵、集系的极值问题和Ramsey理论外，新增一章“例说图论”；又编译了当今组合学名家对组合学的内容、方法和精神的论述作为附录。本书可作为高校数学类专业师生的教学教

本书是为了有效地提高学生求解线性代数和概率统计证明题的效率，培养训练数学思想方法与掌握数学算理，引导学生探索证明题的基本求解思路。怎样寻找有效途径可以达到证明目的？如果题目的已知条件不变化，而证明的结论发生变化，证明的思路将发生什么变化？如果已知条件变化，而证明的结论不变，证明的思路将发生什么变化？外观形式相仿的题目，

《数学类专业数学基础教程·普通高等教育十一五国家级规划教材：高等代数》是普通高等教育“十一五”国家级规划教材“数学类专业数学基础教程”的分册之一。作者根据新世纪数学类专业的要求，针对当前高等院校（特别是一般本科院校）的教学实际，选择合理的教学内容与体系结构，教学定位恰当。内容安排由浅入深，理论体系简捷、直观；强调矩阵初