涵盖离散数学集合论、图论、代数理论等知识内容