Вычислительный вероятностный анализ. Модели и методы