形式科学Formal sciences

时态逻辑 201 格 202 类型系统 203 项符号 204 共识机制 205 序列演算 206 Gentzen式表示 207 消去规则 208 程序验证 209 命题逻辑 210 归结法 211 非经典逻辑 212 形式逻辑 213 点群 214 倒易晶格 215 NDCG 216 MCMC 217 贝叶斯因子 218 克拉美-罗下界 219 克拉美-劳下界 220 Cramér–Rao下界 221 BIC 222 最小多项式 223 交叉熵 224 Jordan标准形 225 广义线性模型 226 谱投影 227 resolvent 228 Green函数 229 度量空间 230 度量熵 231 傅里叶变换 232 EVM 233 逻辑时钟 234 感知机原理 235 麦卡洛克-皮茨模型 236 组合爆炸 237 阈值逻辑单元 238 通用问题求解器（GPS） 239 逻辑理论家 240 符号主义 241 符号主义人工智能 242 自动定理证明 243 事件演算 244 雷蒙德·赖特 245 情景演算 246 算法信息论 247 密码学 248 计算复杂性理论 249 元胞自动机 250