Nuprl Definition : uniform-fps

uniform-fps(n) ==  map(λx.(1/n);upto(n))


Definitions occuring in Statement :  qdiv: (r/s),  upto: upto(n),  map: map(f;as),  lambda: λx.A[x],  natural_number: $n
FDL editor aliases :  uniform-fps
Latex:
uniform-fps(n)  ==    map(\mlambda{}x.(1/n);upto(n))


Date html generated: 2016_05_15-PM-11_44_53
Last ObjectModification: 2011_06_07-PM-05_56_09

Theory : randomness


Home Index