共五篇,分别是:数理逻辑,集合论,代数系统,图论,计算机课雪中的应用。归纳完整,附加练习,还有配套练习