Similar to パースの法則

• 

  DPLLアルゴリズム

  DPLL algorithm
  
• 

  Smn定理

  Smn theorem
  
• 

  アルゴリズム

  Algorithm
  ▲1 trends

  
• 

  関係代数 (数学)

  Relation algebra
  
• 

  吸収法則

  Absorption law
  
• 

  述語論理

  Predicate logic
  
• 

  導出原理

  Resolution (logic)
  
• 

  Μ再帰関数

  General recursive function
  
• 

  0

  0
  ▼-1 trends

  
• 

  1

  1
  
• 

  2

  2
  
• 

  3

  3
  
• 

  4

  4
  
• 

  5

  5
  
• 

  6

  6
  
• 

  7

  7
  
• 

  8

  8
  
• 

  9

  9
  
• 

  12345679

  
• 

  直観主義 (数学の哲学)

  Intuitionism
  
• 

  直観論理

  
• 

  スティーヴン・コール・クリーネ

  Stephen Cole Kleene
  
• 

  マイケル・ダメット

  Michael Dummett
  
• 

  直観主義型理論

  Intuitionistic type theory
  
• 

  直観主義論理

  Intuitionistic logic
  
• 

  二重否定翻訳

  Double-negation translation
  
• 

  アレン・ハイティング

  Arend Heyting
  
• 

  ライツェン・エヒベルトゥス・ヤン・ブラウワー

  L. E. J. Brouwer