离散数学

本书包括基础知识、数理逻辑（命题逻辑及一阶逻辑）、计数、关系和有向图、函数、环和域、匹配、Menger定理及网络和流、语言和有限状态机等。