Category:離散数学
レーベンシュタイン距離
Levenshtein distanceビンパッキング問題
Bin packing problem階乗冪
Falling and rising factorials計算理論
Theory of computation一般化された超幾何関数
Generalized hypergeometric function関係モデル
Relational modelクヌース・ベンディックス完備化アルゴリズム
Knuth–Bendix completion algorithmマッカーシーの91関数
McCarthy 91 function有限集合
Finite setQ超幾何級数
Basic hypergeometric series中村ナンバー
Nakamura numberハミング距離
Hamming distance組合せ数学
Combinatorics決定理論
Decision theory離散数学
Discrete mathematics情報理論
Information theoryアルゴリズム
Algorithm