Nuprl Definition : rv-partial-sum
rv-partial-sum(n;i.X[i]) == λs.Σ0 ≤ i < n. X[i] s
Definitions occuring in Statement :
apply: f a,
lambda: λx.A[x],
natural_number: $n
Definitions :
lambda: λx.A[x],
qsum: Error :qsum,
natural_number: $n,
apply: f a
FDL editor aliases :
rv-partial-sum
rv-partial-sum(n;i.X[i]) == \mlambda{}s.\mSigma{}0 \mleq{} i < n. X[i] s
Date html generated:
2015_07_17-AM-08_02_21
Last ObjectModification:
2008_02_27-PM-05_50_06
Home
Index