Nuprl Definition : weighted-sum
weighted-sum(p;F) == Σ0 ≤ i < ||p||. (F i) * p[i]
Definitions occuring in Statement :
qsum: Σa ≤ j < b. E[j],
qmul: r * s,
select: L[n],
length: ||as||,
apply: f a,
natural_number: $n
FDL editor aliases :
weighted-sum
Latex:
weighted-sum(p;F) == \mSigma{}0 \mleq{} i < ||p||. (F i) * p[i]
Date html generated:
2016_05_15-PM-11_45_06
Last ObjectModification:
2008_02_27-PM-05_47_18
Theory : randomness
Home
Index