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