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

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

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

《21世纪职业院校规划教材·数学系列·高等数学(上册)》介绍了函数、极限与连续、导数与微分、导数的应用、不定积分、定积分及其应用等知识。共分6章。每节有练习题，每章有复习题，书末附有习题参考答案及初等数学中的常用公式、曲线图形等。《21世纪职业院校规划教材·数学系列·高等数学(上册)》强调应用，坚持实用性与前瞻性的统一

近年来，高职高专教育迅速发展，为了适应高等工科学校培养高等技术应用型人才的需要，根据国家教育部高职高专规划教材的要求，在广泛吸取同行意见的基础上，编写了本教材。本教材分上、下两册，上册介绍了一元函数微积分，下册介绍了空间解析几何，多元函数微积分，无穷级数和常微分方程，主要适用于工科类高职高专各专业，还可以作为专升本考试

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

全书分上、下两册.上册包括函数、函数的极限、函数的导数、微分与不定积分、定积分、空间解析几何6章内容和一个附录，附录包括初等代数中的几个问题、平面解析几何、集合与逻辑符号等内容.书中每节都配有适量的习题，每章配有部分具有一定难度的复习题，书末对大部分题目都给出了答案或提示.本书结构严谨、例题与插图丰富、叙述直观清晰、通

全书分上、下两册．下册包括二元函数、二元函数的偏导数和全微分、重积分、向量值函数的积分、无穷级数、常微分方程6章内容．书中每节都配有适量的习题，每章配有部分具有一定难度的复习题，书末对大部分题目都给出了答案或提示．本书结构严谨，例题与插图丰富，叙述直观清晰、通俗易懂，可供普通高等院校非数学专业的学生使用．

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

本书第一版是在吴光磊编《空间解析几何》和吴光磊、田畴编《平面解析几何补充教程》的基础上编写而成，简明而适于教学。本次修订仍然保持了这一风格。主要体现在以下两个方面：一方面是附录Ⅱ射影几何部分，增加了描述性语言的内容，部分内容进行改写，特别是射影平面及空间与普通平面及空间的比较和联系，克服了从公理系统出发讲授几何，内容抽