概率、离散型随机变量及其分布列