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
FDL editor aliases :  expectation
Latex:
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: 2016_05_15-PM-11_46_33
Last ObjectModification: 2008_02_27-PM-05_48_32

Theory : randomness


Home Index