Nuprl Definition : expectation
E(n;F) == Y (λexpectation,n,F. if (n =z 0) then F null else weighted-sum(p;λx.(expectation (n - 1) rv-shift(x;F))) fi )\000C n F
Definitions occuring in Statement :
rv-shift: rv-shift(x;X),
null-seq: null,
weighted-sum: weighted-sum(p;F),
ifthenelse: if b then t else f fi ,
eq_int: (i =z j),
ycomb: Y,
apply: f a,
lambda: λx.A[x],
subtract: n - m,
natural_number: $n
Definitions :
ycomb: Y,
ifthenelse: if b then t else f fi ,
eq_int: (i =z j),
null-seq: null,
weighted-sum: weighted-sum(p;F),
lambda: λx.A[x],
apply: f a,
subtract: n - m,
natural_number: $n,
rv-shift: rv-shift(x;X)
FDL editor aliases :
expectation
E(n;F) ==
Y
(\mlambda{}expectation,n,F. if (n =\msubz{} 0)
then F null
else weighted-sum(p;\mlambda{}x.(expectation (n - 1) rv-shift(x;F)))
fi )
n
F
Date html generated:
2015_07_17-AM-07_58_51
Last ObjectModification:
2008_02_27-PM-05_48_32
Home
Index