Category:量化

• 

  ゴットロープ・フレーゲ

  Gottlob Frege
  
• 

  概念記法

  Begriffsschrift
  
• 

  モンタギュー文法

  Montague grammar
  
• 

  Reteアルゴリズム

  Rete algorithm
  
• 

  一意性 (数学)

  Uniqueness quantification
  
• 

  ゲーム意味論

  Game semantics
  
• 

  数量詞

  Quantifier (linguistics)
  
• 

  限量子

  
• 

  量化

  
• 

  任意

  Arbitrariness
  
• 

  存在記号

  Existential quantification
  
• 

  イプシロン-デルタ論法

  (ε, δ)-definition of limit
  ▼-1 trends

  
• 

  全称記号

  Universal quantification
  ▼-1 trends