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