形式科学Formal sciences

真值表 101 逻辑运算符 102 Mean Average Precision 103 Precision@K 104 可满足性 105 三值逻辑 106 深度优先搜索 107 路径一致性 108 Ford-Fulkerson方法 109 并查集 110 贪婪算法 111 半有界算子 112 Floyd-Warshall算法 113 Gromov–Witten不变量 114 量子上同调 115 正则变换 116 多项式增长 117 数量级 118 对数表 119 评价函数 120 最小生成树 121 编辑距离 122 相关维数 123 正交化 124 拓扑学 125 语言变量 126 自相关函数 127 标准偏差 128 按名称传递 129 延迟求值 130 Gauss-Seidel方法 131 奇异值阈值化 132 稀疏度 133 汉明重量 134 对偶码 135 线性分组码 136 正则LDPC码 137 低密度奇偶校验码 138 最大和算法 139 信念传播 140 前向后向算法 141 命题 142 子集 143 代数逻辑 144 德摩根律 145 反证法 146 吸收律 147 欧拉公式 148 范数 149 次梯度 150