离散数学,离散数学集合论部分形成性考核书面作业7