REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji: http://hdl.handle.net/11320/3650
Pełny rekord metadanych
Pole DCWartośćJęzyk
dc.contributor.authorOkazaki, Hiroyuki-
dc.date.accessioned2015-12-06T19:06:08Z-
dc.date.available2015-12-06T19:06:08Z-
dc.date.issued2012-
dc.identifier.citationFormalized Mathematics, Volume 20, Issue 4, 2012, Pages 257-263-
dc.identifier.issn1426-2630-
dc.identifier.issn1898-9934-
dc.identifier.urihttp://hdl.handle.net/11320/3650-
dc.description.abstractIn [14] we formalized probability and probability distribution on a finite sample space. In this article first we propose a formalization of the class of finite sample spaces whose element’s probability distributions are equivalent with each other. Next, we formalize the probability measure of the class of sample spaces we have formalized above. Finally, we formalize the sampling and posterior probability.-
dc.description.sponsorshipThis work is supported by JSPS KAKENHI 21240001-
dc.language.isoen-
dc.publisherDe Gruyter Open-
dc.titlePosterior Probability on Finite Set-
dc.typeArticle-
dc.identifier.doi10.2478/v10037-012-0030-0-
dc.description.AffiliationShinshu University Nagano, Japan-
dc.description.referencesGrzegorz Bancerek. Cardinal numbers. Formalized Mathematics, 1(2):377-382, 1990.-
dc.description.referencesGrzegorz Bancerek. The ordinal numbers. Formalized Mathematics, 1(1):91-96, 1990.-
dc.description.referencesGrzegorz Bancerek and Krzysztof Hryniewiecki. Segments of natural numbers and finite sequences. Formalized Mathematics, 1(1):107-114, 1990.-
dc.description.referencesCzesław Bylinski. Basic functions and operations on functions. Formalized Mathematics, 1(1):245-254, 1990.-
dc.description.referencesCzesław Bylinski. Finite sequences and tuples of elements of a non-empty sets. Formalized Mathematics, 1(3):529-536, 1990.-
dc.description.referencesCzesław Bylinski. Functions and their basic properties. Formalized Mathematics, 1(1):55-65, 1990.-
dc.description.referencesCzesław Bylinski. Functions from a set to a set. Formalized Mathematics, 1(1):153-164, 1990.-
dc.description.referencesCzesław Bylinski. Partial functions. Formalized Mathematics, 1(2):357-367, 1990.-
dc.description.referencesCzesław Bylinski. Some basic properties of sets. Formalized Mathematics, 1(1):47-53, 1990.-
dc.description.referencesAgata Darmochwał. Finite sets. Formalized Mathematics, 1(1):165-167, 1990.-
dc.description.referencesShunichi Kobayashi and Kui Jia. A theory of Boolean valued functions and partitions. Formalized Mathematics, 7(2):249-254, 1998.-
dc.description.referencesAndrzej Kondracki. Basic properties of rational numbers. Formalized Mathematics, 1(5):841-845, 1990.-
dc.description.referencesAndrzej Nedzusiak. σ-fields and probability. Formalized Mathematics, 1(2):401-407, 1990.-
dc.description.referencesHiroyuki Okazaki. Probability on finite and discrete set and uniform distribution. Formalized Mathematics, 17(2):173-178, 2009, doi: 10.2478/v10037-009-0020-z.-
dc.description.referencesHiroyuki Okazaki and Yasunari Shidama. Probability on finite set and real-valued random variables. Formalized Mathematics, 17(2):129-136, 2009, doi: 10.2478/v10037-009-0014-x.-
dc.description.referencesBeata Padlewska. Families of sets. Formalized Mathematics, 1(1):147-152, 1990.-
dc.description.referencesAndrzej Trybulec. Domains and their Cartesian products. Formalized Mathematics, 1(1):115-122, 1990.-
dc.description.referencesAndrzej Trybulec. On the sets inhabited by numbers. Formalized Mathematics, 11(4):341-347, 2003.-
dc.description.referencesMichał J. Trybulec. Integers. Formalized Mathematics, 1(3):501-505, 1990.-
dc.description.referencesWojciech A. Trybulec. Pigeon hole principle. Formalized Mathematics, 1(3):575-579, 1990.-
dc.description.referencesZinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67-71, 1990.-
dc.description.referencesEdmund Woronowicz. Many argument relations. Formalized Mathematics, 1(4):733-737, 1990.-
dc.description.referencesEdmund Woronowicz. Relations and their basic properties. Formalized Mathematics, 1(1):73-83, 1990.-
dc.description.referencesEdmund Woronowicz. Relations defined on sets. Formalized Mathematics, 1(1):181-186, 1990.-
dc.description.referencesBo Zhang and Yatsuka Nakamura. The definition of finite sequences and matrices of probability, and addition of matrices of real elements. Formalized Mathematics, 14(3):101-108, 2006, doi:10.2478/v10037-006-0012-1.-
Występuje w kolekcji(ach):Formalized Mathematics, 2012, Volume 20, Issue 4

Pliki w tej pozycji:
Plik Opis RozmiarFormat 
v10037-012-0030-0.pdf286,76 kBAdobe PDFOtwórz
Pokaż uproszczony widok rekordu Zobacz statystyki


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