<abstract xml:lang="en" xmlns="http://www.w3.org/1999/xhtml"><p>In the various branches of science, probability and randomness provide us with useful theoretical frameworks. The <italic>Formalized Mathematics</italic> has already published some articles concerning the probability: [23], [24], [25], and [30]. In order to apply those articles, we shall give some theorems concerning the probability and the real-valued random variables to prepare for further studies.</p></abstract>

In the various branches of science, probability and randomness provide us with useful theoretical frameworks. The Formalized Mathematics has already published some articles concerning the probability: [23], [24], [25], and [30]. In order to apply those articles, we shall give some theorems concerning the probability and the real-valued random variables to prepare for further studies.

Probability on Finite Set and Real-Valued Random Variables

Formalized Mathematics

{"article-title":"Probability on Finite Set and Real-Valued Random Variables"}

In the various branches of science, probability and randomness provide us with useful theoretical frameworks. The Formalized Mathematics has already published...

Probability on Finite Set and Real-Valued Random Variables

Publié en ligne: 14 juil. 2009

Pages: 129 - 136

DOI: https://doi.org/10.2478/v10037-009-0014-x

This content is open access.