湘潭大学计算机科学与技术刘任任版离散数学