本书是作者参照国内外多种同类教材,结合多年的教学实践,在自编讲义的基础上整理而成的。全书覆盖了计算机专业和电子信息专业最需要的基本内容,它包括四大部分共14章。介绍了数理逻辑、集合论、代数系统和图论的基础知识以及这四个部分之间的内在联系,叙述详细、推演严密,注重基础,深入浅出,便于理解。