形式科学

ネイピア数

平均情報量

丸め

虚数部

正規化数

有限精度演算

ベクトル空間

抽象代数学

写像

ディリクレ級数

型理論

公理系

証明支援系

真理値

記号論理学

ブール代数

完備化

完備性

桁落ち

計算統計学

数値解析

完全有界性

一様連続性

編集距離

リテラル

真偽割当

SAT

充足可能性问题

近傍探索

疎性

結合子

古典論理

カルーシュ・クーン・タッカー条件

再帰

アルゴリズム

事前分布

波動関数

POVM

単位セル

ミラー指数

逆格子

キルヒホッフの法則

色空間

最大熵马尔可夫模型

正则表达式

符号主义

期待累積報酬

行動価値関数

再帰的

木構造