Probability on Finite Set and Real-Valued Random Variables

被引:7
|
作者
Okazaki, Hiroyuki [1 ]
Shidama, Yasunari [1 ]
机构
[1] Shinshu Univ, Nagano, Japan
来源
FORMALIZED MATHEMATICS | 2009年 / 17卷 / 02期
关键词
D O I
10.2478/v10037-009-0014-x
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
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.
引用
收藏
页码:129 / 136
页数:8
相关论文
共 50 条