文章基本信息

标题：Computability of Probability Distributions and Characteristic Functions
本地全文：下载
作者：Takakazu Mori ; Yoshiki Tsujii ; Mariko Yasugi 等
期刊名称：Logical Methods in Computer Science
印刷版ISSN：1860-5974
电子版ISSN：1860-5974
出版年度：2013
卷号：9
期号：3
页码：1
DOI：10.2168/LMCS-9(3:9)2013
出版社：Technical University of Braunschweig
摘要：As a part of our works on effective properties of probability distributions, we deal with the corresponding characteristic functions. A sequence of probability distributions is computable if and only if the corresponding sequence of characteristic functions is computable. As for the onvergence problem, the effectivized Glivenko's theorem holds. Effectivizations of Bochner's theorem and de Moivre-Laplace central limit theorem are also proved.
其他关键词：computable probability distribution, effective convergence of probability distributions, characteristic function, computable function, effective convergence of functions.