Nuprl Definition : rv-partial-sum
rv-partial-sum(n;i.X[i]) == λs.Σ0 ≤ i < n. X[i] s
Definitions occuring in Statement :
qsum: Σa ≤ j < b. E[j],
apply: f a,
lambda: λx.A[x],
natural_number: $n
FDL editor aliases :
rv-partial-sum
Latex:
rv-partial-sum(n;i.X[i]) == \mlambda{}s.\mSigma{}0 \mleq{} i < n. X[i] s
Date html generated:
2016_05_15-PM-11_51_54
Last ObjectModification:
2008_02_27-PM-05_50_06
Theory : randomness
Home
Index