工科离散数学

全书共8章，首先通过命题逻辑和谓词逻辑建立基本的逻辑思维体系，进而以严谨的符号逻辑理解集合的基本概念与运算，并作为其他知识的基础。关系、函数不仅扩充了集合的应用范围，也更体现了集合的重要应用。在此基础上，利用运算与代数系统、环、域、格和布尔代数介绍了近世代数的基本理论与结果。最后为图论。全书的内容可在70个学时左右讲完。