Nuprl Definition : urand

urand(n;a) ==  random(uniform-fps(n);a;a)


Definitions occuring in Statement :  random: random(p;a;b),  uniform-fps: uniform-fps(n)
FDL editor aliases :  urand
Latex:
urand(n;a)  ==    random(uniform-fps(n);a;a)


Date html generated: 2016_05_16-AM-11_02_28
Last ObjectModification: 2012_02_25-AM-10_54_09

Theory : event-ordering


Home Index