Syftet med detta dokument är att fastställa en teori om slumpmässiga variabler på domäner. Domänteori är en grundläggande komponent i teoretisk datavetenskap, som tillhandahåller matematiska modeller av beräkningsprocesser. Slumpmässiga variabler är huvudstommen i sannolikhetsteorin. Eftersom datormodeller i allt högre grad involverar probabilistiska aspekter är det bara naturligt att utforska förhållandet mellan dessa två områden. Våra huvudresultat visar hur man kastar resultat om slumpmässiga variabler med hjälp av en domän-teoretisk metod. Utbetalningen är en utvidgning av resultaten från sannolikhetsåtgärder till undersannolikhetsåtgärder. Vi använder också vårt tillvägagångssätt för att utöka den klass av domäner för vilka vi kan klassificera domänstrukturen i utrymmet för sub-sannolikhet åtgärder.
Dessutom har REF infört en domänteori för slumpmässiga variabler.
Ju l 2 01 6 Domain Theory and Random Variables