Conceptintro
Random variable
Also called discrete random variable.
A function from the sample space to the reals, used to model quantities such as running time or cost.
A function from the sample space to the reals, used to model quantities such as running time or cost.
About this page
The build computes these levels from the evidence in the repository. Each row says what the next level needs. Read what the levels mean.
| Ladder | Level | What the next level needs |
|---|---|---|
| Human proof | H0 no proof |
|
| Lean | L0 no Lean part |
|
| Visual | V0 none |
|
| Writing | W0 stub |
|
Tag 101AXP Edit this page History Report an error