经典的离散期末复习材料,包括四个部分,数理逻辑,关系函数,代数系统,图论