西安交通大学17年9月课程考试《离散数学》作业考核试题100