为什么要用线程池？ 降低资源消耗：通过重复利用现有的线程来执行任务，避免多次创建和销毁线程。 提高相应速度：因…

回顾   到目前为止，我们讨论的都是只有一个实数输入的模型。但实际情况要复杂的多，因此，如何处理多维…

回顾   前面我们讨论的神经网络的层数都不会很大，但是对于一些深层的神经网络来说，训练它将会变得非常…

回顾   之前我们讨论过一个线性模型：   上述模型预测出的 $\hat{y} \in R…

回顾   上一篇训练神经网络是用的是批梯度下降，容易陷入鞍点中。Pytorch 提供了一个数据集加载…

回顾   上偏文章我们尝试用枚举法找到权重的最优取值，并限定区间为 0 到 4.1，步长为 0.1,…

  作为本系列的第一篇文章，本文仅对卷积神经网络的工作过程做一个简单的介绍，并不涉及数学原理与推导。…

线性模型 一般流程 准备数据集（训练集，开发集，测试集） 选择模型（泛化能力，防止过拟合） 训练模型 测试模型…

回顾   上偏文章我们了解到，权重迭代过程中可能遇到 鞍点 而阻断迭代过程，这是因为每一次迭代都以 …

上帝也掷骰子 大千世界，并非一切事物都可以进行精确的计算，都可以用是非来衡量那么简单。19 实际爱因斯坦与波尔…

应用归结原理证明定理 步骤： 将一直前提表示为谓词公式 $F$。 将待证明的结论表示为谓词公式 $Q$，并否定…

归结法基本原理 归结法的基本原理是采用反证法（也称反演推理法）将待证明的表达式（定理）转换成为逻辑公式（谓词公…

求解问题的步骤 (1) 已知前提 $F$ 用谓词公式表示并化为子句集 $S$ (2) 把待求解的问题 $Q$ …

命题 命题：能判断真假的陈述句 命题常量：$p$：小明是个男生(已指定了命题) 命题变量：$p$：（未指定命题…

$UI$(全称量词消去规则)：$\forall xA(x)\Rightarrow A(x)$ $EI$(存在量…

谓词 $def:$ 个体词：可独立存在的客体 谓词：用来说明个体的性质或个体间的关系 如： 小明是个小学生 其…

推理 $def:$ 设 $A$ 和 $B$ 是两个命题公式，当且仅当 $A\rightarrow B$ 是 重…

一道 C 语言题： #include <stdio.h> int main() { int num…