数理逻辑(证明论、递归论、模型论和公理集合论) 联系客服

发布时间 : 星期五 文章数理逻辑(证明论、递归论、模型论和公理集合论)更新完毕开始阅读

泊松过程,分支过程,随机积分,随机微分方程,随机过程的极限定理,随机过程统计,滤波,无穷粒子随机系统等。

* 概率,随机变量 * 概率论中的收敛 * 大数律 * 中心极限定理 * 条件期望 ◆ 数理统计学

* 参数估计:点估计,区间估计等。 * 假设检验:列联表等。

* 线性统计模型:回归分析,方差分析等。 * 多元统计分析:相关分析等。

* 统计质量管理:控制图,抽样检验,寿命数据统计分析,概率纸等。

* 总体 * 样本 * 统计量 * 实验设计法 * 抽样调查 * 统计推断 * 大样本统计 * 统计决策理论 * 序贯分析

* 非参数统计 * 稳健统计 * 贝叶斯统计 * 时间序列分析 * 随机逼近 * 数据分析

◆ 运筹学

* 数学规则:线性规划,非线性规划,无约束优化方法,约束优化方法,几何规划,整数规划,多目标规划,动态规划-策略迭代法,不动点算法,组合最优化-网络流,投入产出分析等。

* 军事运筹学:彻斯特方程,对抗模拟,对策论,最优化等。

* 马尔可夫决策过程 * 搜索论 * 排队论 * 库存论 * 决策分析 * 可靠性数学理论 * 计算机模拟 * 统筹学 * 优选学 ◆ 数学物理 ◆ 控制理论 ◆ 信息论

◆ 理论计算机科学 ◆ 模糊性数学