天大2018年6月考试《数字逻辑》离线作业考核试题