Similar to 記述計算量

• 

  メタ論理学

  Metalogic
  
• 

  メレオロジー

  Mereology
  
• 

  モデル理論

  Model theory
  
• 

  有限演算

  Finitary
  
• 

  有限モデル理論

  Finite model theory
  
• 

  ラムダ計算

  Lambda calculus
  
• 

  レーブの定理

  Löb's theorem
  
• 

  連言標準形

  Conjunctive normal form
  
• 

  ロッサーのからくり

  Rosser's trick
  
• 

  論理式 (数学)

  Logical formula
  
• 

  論理プログラミング

  Logic programming
  
• 

  数学

  Mathematics
  ▲1 trends

  
• 

  0.999...

  0.999...
  ▲1 trends

  
• 

  0次元

  Zero-dimensional space
  
• 

  0の0乗

  Zero to the power of zero
  
• 

  1次元

  One-dimensional space
  
• 

  1+1

  
• 

  1+1+1+1+…

  1 + 1 + 1 + 1 + ⋯
  
• 

  1+2+3+4+…

  1 + 2 + 3 + 4 + ⋯
  
• 

  1+2+4+8+…

  1 + 2 + 4 + 8 + ⋯
  
• 

  1の冪根

  Root of unity
  
• 

  1の補数

  Ones' complement
  
• 

  1−1+2−6+24−120+…

  1 − 1 + 2 − 6 + 24 − 120 + ⋯
  
• 

  1−2+3−4+…

  1 − 2 + 3 − 4 + ⋯
  
• 

  1−2+4−8+…

  1 − 2 + 4 − 8 + ⋯
  
• 

  1/2 + 1/4 + 1/8 + 1/16 + ⋯

  1/2 + 1/4 + 1/8 + 1/16 + ⋯
  
• 

  1/2 − 1/4 + 1/8 − 1/16 + ⋯

  1/2 − 1/4 + 1/8 − 1/16 + ⋯
  
• 

  1/4 + 1/16 + 1/64 + 1/256 + ⋯

  1/4 + 1/16 + 1/64 + 1/256 + ⋯