(陈建明曾明刘国荣著)课后离散数学西安交通大学