形式科学

真值表

逻辑运算符

Mean Average Precision

Precision@K

可满足性

三值逻辑

深度优先搜索

路径一致性

Ford-Fulkerson方法

并查集

贪婪算法

半有界算子

Floyd-Warshall算法

Gromov–Witten不变量

量子上同调

正则变换

多项式增长

数量级

对数表

评价函数

最小生成树

编辑距离

相关维数

正交化

拓扑学

语言变量

自相关函数

标准偏差

按名称传递

延迟求值

Gauss-Seidel方法

奇异值阈值化

稀疏度

汉明重量

对偶码

线性分组码

正则LDPC码

低密度奇偶校验码

最大和算法

信念传播

前向后向算法

命题

子集

代数逻辑

德摩根律

反证法

吸收律

欧拉公式

范数

次梯度