《离散数学》(集合论部分)自测试题