Similar to 計算理論

• 

  Brilliant.org

  Brilliant (website)
  
• 

  ZFCから独立な命題の一覧

  List of statements independent of ZFC
  
• 

  Ω無矛盾

  Ω-consistent theory
  
• 

  0

  0
  
• 

  1

  1
  ▼-1 trends

  
• 

  2

  2
  
• 

  3

  3
  ▼-1 trends

  
• 

  4

  4
  
• 

  5

  5
  
• 

  6

  6
  
• 

  7

  7
  
• 

  8

  8
  
• 

  9

  9
  
• 

  12345679

  
• 

  離散数学

  Discrete mathematics
  
• 

  一般化された超幾何関数

  Generalized hypergeometric function
  
• 

  階乗冪

  Falling and rising factorials
  
• 

  関係モデル

  Relational model
  
• 

  組合せ数学

  Combinatorics
  
• 

  決定理論

  Decision theory
  
• 

  情報理論

  Information theory
  
• 

  中村ナンバー

  Nakamura number
  
• 

  ハミング距離

  Hamming distance
  
• 

  ビンパッキング問題

  Bin packing problem
  
• 

  マッカーシーの91関数

  McCarthy 91 function
  
• 

  有限集合

  Finite set
  
• 

  レーベンシュタイン距離

  Levenshtein distance
  ▲1 trends

  
• 

  EDVACに関する報告書の第一草稿

  First Draft of a Report on the EDVAC