北大出版的有关ACM程序设计的数论内容,包含组合数学,离散数学,线性代数等知识