离散数学 函数大观 函数基本概念 函数性质 函数运算 函数集合论 集合等势 集合后继 集合基数 集合基数康托儿定理 特殊集合 归纳集 有穷集 可数集 函数应用 增长估计 大 O 估计 大 Omega 估计 等阶估计 NP 问题