第9讲 函数 北京大学计算机系离散数学讲义(ppt版)