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 fu
nctions is computable. As for the onvergence problem, the effectivized Glivenkos theorem holds. Effectivizations of Bochners theorem and de Moivre-Laplace central limit theorem are also proved.
