计算机科学的数学基础 【计】 mathematics foundations for computer science