Колмогоров аксиоматики
Колмогоров аксиоматики — пулаяслахсен теорине математика мелĕсемпе çырса кăтартакан тата А. Н. Колмогоров сĕннĕ аксиоматика. Вăл унашкал пĕртен-пĕр аксиоматика мар, анчах шăпах унпа чи анлăн усă кураççĕ.
Каçăсем
[тӳрлет | кодне тӳрлет]- Morris H. DeGroot [1]. — Reading: Addison-Wesley, 1975. — С. 12–16. — ISBN 0-201-01503-X
- James R. McCord . — New York: Macmillan, 1964. — С. 13–28.
- Formal definition of probability in the Mizar system, and the list of theorems(ĕçлемен каçă) formally proved about it.