REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

  1. Repozytorium Uniwersytetu w Białymstoku
  2. Czasopisma naukowe / Journals
  3. Formalized Mathematics
  4. Formalized Mathematics, 2006, Volume 14, Issue 4

Szukanie zaawansowane
  • Zespoły i Kolekcje


  • Zaloguj się
  • Zarejestruj się
  • Mój RUB
  • FAQ
  • Polityka
  • Regulamin
  • DOI
  • Instrukcja
  • Aspekty prawne
  • Open Access
  • Archiwum


  • Kontakt
  • O Dspace
  • Strona Biblioteki
  • Strona Uczelni



    • Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji: http://hdl.handle.net/11320/21444
    Pełny rekord metadanych
    Pole DCWartośćJęzyk
    dc.contributor.authorZhang, Bo-
    dc.contributor.authorYamazaki, Hiroshi-
    dc.contributor.authorNakamura, Yatsuka-
    dc.date.accessioned2026-11-05T12:47:55Z-
    dc.date.available2026-11-05T12:47:55Z-
    dc.date.issued2006-
    dc.identifier.citationFormalized Mathematics, Volume 14, Issue 4, Pages 225-229pl
    dc.identifier.issn1426-2630-
    dc.identifier.urihttp://hdl.handle.net/11320/21444-
    dc.description.abstractIn this article, we first discuss the relation between measure defined using extended real numbers and probability defined using real numbers. Further, we define completeness of probability, and its completion method, and also show that they coincide with those of measure.pl
    dc.language.isoenpl
    dc.publisherUniversity of Białystokpl
    dc.rightsCC BY-SA 4.0-
    dc.rights.urihttps://creativecommons.org/licenses/by-sa/4.0/-
    dc.titleThe Relevance of Measure and Probability, and Definition of Completeness of Probabilitypl
    dc.typeArticlepl
    dc.rights.holder© 2008 Bo Zhang, Hiroshi Yamazaki, Yatsuka Nakamura, published by University of Białystokpl
    dc.rights.holderThis work is licensed under the Creative Commons License.pl
    dc.identifier.doi10.2478/v10037-006-0026-8-
    dc.description.AffiliationBo Zhang - Shinshu University Nagano, Japanpl
    dc.description.AffiliationHiroshi Yamazaki - Shinshu University Nagano, Japanpl
    dc.description.AffiliationYatsuka Nakamura - Shinshu University Nagano, Japanpl
    dc.description.referencesGrzegorz Bancerek. The fundamental properties of natural numbers. Formalized Mathematics, 1(1):41-46, 1990.pl
    dc.description.referencesGrzegorz Bancerek. Kőnig's theorem. Formalized Mathematics, 1(3):589-593, 1990.pl
    dc.description.referencesJózef Białas. Completeness of the σ-additive measure. Measure theory. Formalized Mathematics, 2(5):689-693, 1991.pl
    dc.description.referencesJózef Białas. Infimum and supremum of the set of real numbers. Measure theory. Formalized Mathematics, 2(1):163-171, 1991.pl
    dc.description.referencesJózef Białas. Series of positive real numbers. Measure theory. Formalized Mathematics, 2(1):173-183, 1991.pl
    dc.description.referencesJózef Białas. The σ-additive measure theory. Formalized Mathematics, 2(2):263-270, 1991.pl
    dc.description.referencesJózef Białas. Some properties of the intervals. Formalized Mathematics, 5(1):21-26, 1996.pl
    dc.description.referencesCzesław Byliński. Functions and their basic properties. Formalized Mathematics, 1(1):55-65, 1990.pl
    dc.description.referencesCzesław Byliński. Functions from a set to a set. Formalized Mathematics, 1(1):153-164, 1990.pl
    dc.description.referencesCzesław Byliński. Some basic properties of sets. Formalized Mathematics, 1(1):47-53, 1990.pl
    dc.description.referencesCzesław Byliński and Piotr Rudnicki. Bounding boxes for compact sets in E². Formalized Mathematics, 6(3):427-440, 1997.pl
    dc.description.referencesJarosław Kotowicz. Convergent sequences and the limit of sequences. Formalized Mathematics, 1(2):273-275, 1990.pl
    dc.description.referencesAndrzej Nędzusiak. Probability. Formalized Mathematics, 1(4):745-749, 1990.pl
    dc.description.referencesAndrzej Nędzusiak. σ- fields and probability. Formalized Mathematics, 1(2):401-407, 1990.pl
    dc.description.referencesBeata Padlewska. Families of sets. Formalized Mathematics, 1(1):147-152, 1990.pl
    dc.description.referencesKonrad Raczkowski and Andrzej Nędzusiak. Series. Formalized Mathematics, 2(4):449-452, 1991.pl
    dc.description.referencesAndrzej Trybulec. Subsets of complex numbers. To appear in Formalized Mathematics.pl
    dc.description.referencesAndrzej Trybulec. Tarski Grothendieck set theory. Formalized Mathematics, 1(1):9-11, 1990.pl
    dc.description.referencesZinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67-71, 1990.pl
    dc.description.referencesEdmund Woronowicz. Relations and their basic properties. Formalized Mathematics, 1(1):73-83, 1990.pl
    dc.description.referencesEdmund Woronowicz. Relations de fined on sets. Formalized Mathematics, 1(1):181-186, 1990.pl
    dc.description.referencesBo Zhang, Hiroshi Yamazaki, and Yatsuka Nakamura. Inferior limit and superior limit of sequences of real numbers. Formalized Mathematics, 13(3):375-381, 2005.pl
    dc.description.referencesBo Zhang, Hiroshi Yamazaki, and Yatsuka Nakamura. Set sequences and monotone class. Formalized Mathematics, 13(4):435-441, 2005.pl
    dc.identifier.eissn1898-9934-
    dc.description.volume14pl
    dc.description.issue4pl
    dc.description.firstpage225pl
    dc.description.lastpage229pl
    dc.identifier.citation2Formalized Mathematicspl
    Występuje w kolekcji(ach):Formalized Mathematics, 2006, Volume 14, Issue 4

    Pliki w tej pozycji:
    Plik Opis RozmiarFormat 
    The_Relevance_of_Measure_and_Probability,_and_Definition_of_Completeness_of_Probability.pdf121,79 kBAdobe PDFOtwórz
    Pokaż uproszczony widok rekordu Zobacz statystyki


    Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL Creative Commons