Q1. 你上面说到：λ演算和图灵机是两种不同的计算模型。λ演算是一种函数定义、函数应用和函数等价性的理论，而图灵机是一种抽象的计算设备，用于模拟任何可能的计算过程。那么，请问，在全知系统的程序详细设计中 总结了三种程序语言模型：函数式、声明式和命令式。如果非要将 这两种计算模型（λ演算和图灵机） 对应到三种程序语言模型中，应该λ演算 可以视为 函数式，那推图灵机呢？以及还有一个计算模型应该是什么？

0、前言： 机器学习中的贝叶斯的理论基础是数学当中的贝叶斯公式（用来描述两个条件概率之间的关系）。 这篇博客强调使用方法，至于理论未作深究。 机器学习中三种类型的贝叶斯公式：高斯分布（多分类）、多项式分布（文本分类）、伯努利分布（二分类任务） 贝叶斯算法优点：对小规模数据表现好，能处理多分类任务，常用于文本分类。缺点：只能用于分类问题。 1、高斯分布的贝叶斯算法： 应用：鸢尾