todennäköisyyslaskennassa
Todennäköisyyslaskenta on matematiikan ala, joka tutkii ilmiöiden todennäköisyyksiä, satunnaisuutta ja niiden mallintamista. Perusmallintamiseen kuuluu näytetila Ω, tapahtumien joukko F sekä todennäköisyysmitta P: F → [0,1], joka noudattaa Kolmogorovin aksioomia: P(Ω) = 1, P(A) ≥ 0 ja additiivisuus disjunktien tapahtumien suhteen. Näin muodostuu systemaattinen kuva epävarmuudesta.
Satunnaismuuttuja X kuvaa tilan arvoa, ja sen jakauma määritellään joko jakaumafunktiolla P(X ≤ x) tai tiheysfunktiolla f_X.
Keskeisiä käsitteitä ovat riippumattomuus ja ehdollinen todennäköisyys P(A|B). Bayesin lause kuvaa, miten ennakkotietoja päivitetään uusien havaintojen
Tärkeät teoreetit ovat lain suuret luvut ja keskeinen rintama (central limit theorem), jotka kuvaavat satunnaisprosessin pitkän
Todennäköisyyslaskenta kattaa stokastiset prosessit kuten Markov-ketjut, Poisson- ja Brownin liikkeet sekä ajallisesti kehittyvät mallit. Sovelluksia ovat
Historian juuret ulottuvat 1600-luvulle, ja sisälsivät kehittäjiä kuten Pascal ja Fermat; nykyinen axiomaatinen muoto muodostui 20.