上午离散数学，讲了关系闭包，覆盖，划分
之后算法与数据