数理逻辑与集合论是离散数学的主要组成部分，是计算机科学的数学基础。《清华大学计算机系列教材：数理逻辑与集合论（第2版）》共12章，前8章介绍数理逻辑，包括命题和谓词逻辑的基本概念、等值和推理演算、公理系统、模型论和证明论，后4章介绍集合论，包括集合、关系、函数、实数集与基数。《清华大学计算机系列教材：数理逻辑与集合论（

本套书——《高等代数教程》（上、下册）和《高等代数教程习题集》，是北京大学王萼芳教授在其深受读者欢迎的教材的基础上改编而成的。已被北京市高等教育自学考试委员会选用。《高等代数教程（下）》包括6～10章：多项式、λ-矩阵、线性空间、线性变换、欧氏空间。《高等代数教程（下）》每节和每章都配有类型和深浅不同的例题和习题，并给

本套书——《高等代数教程》(上、下册)和《高等代数教程习题集》，是北京大学王萼芳教授在其深受读者欢迎的“高等代数”教材的基础上改编而成的，已被北京市高等教育考试委员会选用。《高等代数教程》(上册)共分5章。内容为行列式、线性方程组、矩阵、矩阵的对角化问题和二次型。由于覆盖了完整的线性代数基础部分，本书可以单独作为一些专