离散数学及其应用

本教材包括命题逻辑、谓词逻辑、集合与关系、函数、代数系统、格与布尔代数、图等7章。将数理逻辑、集会与关系、代数结构及图论这4大体系中最基本、最重要的内容选入，并努力做到简明扼要、深入浅出，既保持各体系的独立性，又展现出它们的密切联系。