Nuprl Definition : weighted-sum
weighted-sum(p;F) == Σ0 ≤ i < ||p||. (F i) * p[i]
Definitions occuring in Statement :
select: L[n],
length: ||as||,
apply: f a,
natural_number: $n,
qmul: r * s
Definitions :
qsum: Error :qsum,
natural_number: $n,
length: ||as||,
qmul: r * s,
apply: f a,
select: Error :select
FDL editor aliases :
weighted-sum
weighted-sum(p;F) == \mSigma{}0 \mleq{} i < ||p||. (F i) * p[i]
Date html generated:
2015_07_17-AM-07_58_09
Last ObjectModification:
2008_02_27-PM-05_47_18
Home
Index