离散数学笔记

离散数学复习笔记，包含数理逻辑、集合论、图论、代数系统四大模块