离散数学历年考试证明题