Similar to クヌース・ベンディックス完備化アルゴリズム
離散数学
Discrete mathematics
一般化された超幾何関数
Generalized hypergeometric function
階乗冪
Falling and rising factorials
関係モデル
Relational model
組合せ数学
Combinatorics
決定理論
Decision theory
情報理論
Information theory
中村ナンバー
Nakamura number
ハミング距離
Hamming distance
ビンパッキング問題
Bin packing problem
マッカーシーの91関数
McCarthy 91 function
有限集合
Finite set
理論計算機科学
Theoretical computer science
アルファベット (計算機科学)
Alphabet (formal languages)
グスタフソンの法則
Gustafson's law
計算木論理
Computation tree logic
計算複雑性理論
Computational complexity theory
計算論的哲学
Computational philosophy
形式言語
Formal language
形式手法
Formal methods
形式的検証
Formal verification
公理的意味論
Axiomatic semantics
コンビネータ論理
Combinatory logic
失敗による否定
Negation as failure
弱文脈依存言語
Mildly context-sensitive grammar formalism
ロジャー・シャンク
Roger Schank
述語変換意味論
Predicate transformer semantics
双模倣性
Bisimulation