Similar to 計算可能関数

• 

  Μ再帰関数

  General recursive function
  
• 

  アッカーマン関数

  Ackermann function
  
• 

  一階述語論理

  First-order logic
  
• 

  帰納言語

  Recursive language
  
• 

  帰納的可算言語

  Recursively enumerable language
  
• 

  帰納的可算集合

  Computably enumerable set
  
• 

  ゲーデル数

  Gödel numbering
  
• 

  原始再帰関数

  Primitive recursive function
  
• 

  項書き換え

  Rewriting
  
• 

  合流性

  Confluence (abstract rewriting)
  
• 

  再帰

  Recursion
  ▲1 trends

  
• 

  述語論理

  Predicate logic
  
• 

  数学基礎論

  Foundations of mathematics
  
• 

  不動点コンビネータ

  Fixed-point combinator
  
• 

  DPLLアルゴリズム

  DPLL algorithm
  
• 

  Smn定理

  Smn theorem
  
• 

  アルゴリズム

  Algorithm
  
• 

  2の12乗根

  Twelfth root of two
  
• 

  Ba空間

  Ba space
  
• 

  Calculus on Manifolds (書籍)

  Calculus on Manifolds (book)
  
• 

  D-加群

  D-module
  
• 

  ESPACE

  ESPACE
  
• 

  Grundzüge der Mengenlehre

  Grundzüge der Mengenlehre
  
• 

  Gδ集合

  Gδ set
  
• 

  0

  0
  
• 

  1

  1
  ▲1 trends

  
• 

  2

  2
  
• 

  3

  3