软件工程系列规划教材 离散数学

本书包括数理逻辑（命题逻辑、谓词逻辑、数学归纳法）；集合论（关系、函数、算法）；代数系统（群论、格与布尔代数）；图论。