偏微分方程 原理及题解 【数理化】

随机模型检测理论与应用 【数理化】

本书致力于缓解随机模型检测中的状态空间爆炸问题。首先介绍了离散时间马尔科夫链、马尔科夫决策过程、连续时间马尔科夫链和概率实时解释系统上的限界检测技术。然后讨论了模型检测概率、实时认知时态逻辑...

应用随机过程 【数理化】

本书是现代应用随机过程教材，内容从初等入门到现代前沿，包括预备知识、随机过程的基本类型、Poisson过程、更新过程、Markov链、鞅、Brown运动、随机积分、随机微分方程及应用、Levy过程等。本书配有大量与社...

应用常微分方程 【数理化】

三角、随机行走及图灵机 【数理化】

马丁·加德纳是美国科普界叱咤风云数十年的大师级人物，也是《科学美国人》杂志的一位长期专栏作家，在数学传播领域发挥了无可替代的作用。本书是马丁·加德纳在《科学美国人》杂志上发表的“数学游戏”专栏文...

微分方程及其应用 【数理化】

微分方程及其应用 下 【数理化】

随机数学及其应用 【数理化】

随机数学是数学的重要分支之一。本书涉及随机事件、概率公理、全概率公式、贝叶斯公式、随机变量及其分布、二维变量的联合分布、数学期望、条件期望、大数定律、数理统计等内容。本书提供了处理截尾变量均...

随机过程及其应用 【数理化】

本书系统地介绍了随机过程相关理论的基础知识。共分七章：概率理论简介、随机过程的基本概念、Poisson过程、Markov链、随机分析、Brown运动以及连续时间Markov链。本书的主要特点是不依赖测度理论，更强调实际...

常微分方程及其应用 【数理化】