Similar to クヌース・ベンディックス完備化アルゴリズム

• 

  アルゴリズム

  Algorithm
  ▼-1 trends

  
• 

  ゲーデルの不完全性定理

  Gödel's incompleteness theorems
  
• 

  数理論理学

  Mathematical logic
  
• 

  DPLLアルゴリズム

  DPLL algorithm
  
• 

  ギルモアのアルゴリズム

  
• 

  Q超幾何級数

  Basic hypergeometric series
  
• 

  計算理論

  Theory of computation
  
• 

  レーベンシュタイン距離

  Levenshtein distance
  
• 

  M系列

  Maximum length sequence
  
• 

  カリー＝ハワード同型対応

  Curry–Howard correspondence
  
• 

  クヌース賞

  Knuth Prize
  
• 

  ゲーム意味論

  Game semantics
  
• 

  再帰的定義

  Recursive definition
  
• 

  数学基礎論

  Foundations of mathematics
  
• 

  制約論理プログラミング

  Constraint logic programming
  
• 

  不動点コンビネータ

  Fixed-point combinator
  
• 

  並行制約プログラミング

  Concurrent constraint logic programming
  
• 

  並行論理プログラミング

  Concurrent logic programming
  
• 

  Mizar

  Mizar system
  
• 

  ラムダ計算

  Lambda calculus
  
• 

  論理プログラミング

  Logic programming
  
• 

  Smn定理

  Smn theorem
  
• 

  エルブランの定理

  Herbrand's theorem
  
• 

  グッドスタインの定理

  Goodstein's theorem
  
• 

  ゲーデルの完全性定理

  Gödel's completeness theorem
  
• 

  タルスキの定義不可能性定理

  Tarski's undefinability theorem
  
• 

  デービス・パトナムのアルゴリズム

  Davis–Putnam algorithm
  
• 

  Μ再帰関数

  General recursive function