数学与逻辑-阶乘运算