颜色块CS2501H: Discrete Mathematics (Honor) (Zhiyuan Honor Course)
Part I: Propositional Logic Notes 1
Part II: Predicate Logic Notes 2
Part III: Set Theory Notes 3
Part IV: Relations Notes 4
Part V: Functions Notes 5
Part VI: Graph Theory Notes 6