离散数学集合论部分测试题