跳至主要內容
OCME中英數學知識與推導English

OCME · 中英數學知識與推導

Wave6第十二層:CLT、SLLN、confidence coverage、Wilson、p-adic valuation與regular languages

本頁導覽
  1. 獨立同分布序列
  2. 依分布收斂
  3. 有限模型的期望值
  4. 有限機率模型的變異數
  5. 標準常態分布
  6. σ-代數與測度空間
  7. 二項式定理
  8. 幾乎必然收斂
  9. 抽樣分布
  10. 統計估計量
  11. 參數統計模型
  12. 有限樣本空間上的機率
  13. 實數大小與順序
  14. 自然數質數
  15. 自然數模同餘
  16. 階乘
  17. 模反元素
  18. 自然數整除
  19. 整數唯一質因數分解
  20. 整數
  21. 絕對值
  22. 正規語言
  23. 集合
  24. 數列
  25. 數學歸納法
  26. 確定有限自動機
  27. 數學證明
  28. 鴿籠原理
  29. 量詞與明示論域
  30. 有限變異數IID中央極限定理
  31. 有限值IID強大數律
  32. 有限模型信賴區間覆蓋率
  33. Wilson定理
  34. 整數p進賦值
  35. 正規表示式
  36. 正規語言Pumping引理

在既有數系與函數基礎上依相依順序完成七個可追溯知識物件。

這是教學建議順序,不是一般性的邏輯依賴或已形式化證明。

  1. 階段 1 · required

    獨立同分布序列

    本脈衝新物件的既有 Canonical 前置。

  2. 階段 1 · required

    依分布收斂

    本脈衝新物件的既有 Canonical 前置。

  3. 階段 1 · required

    有限模型的期望值

    本脈衝新物件的既有 Canonical 前置。

  4. 階段 1 · required

    有限機率模型的變異數

    本脈衝新物件的既有 Canonical 前置。

  5. 階段 1 · required

    標準常態分布

    本脈衝新物件的既有 Canonical 前置。

  6. 階段 1 · required

    σ-代數與測度空間

    本脈衝新物件的既有 Canonical 前置。

  7. 階段 1 · required

    二項式定理

    本脈衝新物件的既有 Canonical 前置。

  8. 階段 1 · required

    幾乎必然收斂

    本脈衝新物件的既有 Canonical 前置。

  9. 階段 1 · required

    抽樣分布

    本脈衝新物件的既有 Canonical 前置。

  10. 階段 1 · required

    統計估計量

    本脈衝新物件的既有 Canonical 前置。

  11. 階段 1 · required

    參數統計模型

    本脈衝新物件的既有 Canonical 前置。

  12. 階段 1 · required

    有限樣本空間上的機率

    本脈衝新物件的既有 Canonical 前置。

  13. 階段 1 · required

    實數大小與順序

    本脈衝新物件的既有 Canonical 前置。

  14. 階段 1 · required

    自然數質數

    本脈衝新物件的既有 Canonical 前置。

  15. 階段 1 · required

    自然數模同餘

    本脈衝新物件的既有 Canonical 前置。

  16. 階段 1 · required

    階乘

    本脈衝新物件的既有 Canonical 前置。

  17. 階段 1 · required

    模反元素

    本脈衝新物件的既有 Canonical 前置。

  18. 階段 1 · required

    自然數整除

    本脈衝新物件的既有 Canonical 前置。

  19. 階段 1 · required

    整數唯一質因數分解

    本脈衝新物件的既有 Canonical 前置。

  20. 階段 1 · required

    整數

    本脈衝新物件的既有 Canonical 前置。

  21. 階段 1 · required

    絕對值

    本脈衝新物件的既有 Canonical 前置。

  22. 階段 1 · required

    正規語言

    本脈衝新物件的既有 Canonical 前置。

  23. 階段 1 · required

    集合

    本脈衝新物件的既有 Canonical 前置。

  24. 階段 1 · required

    數列

    本脈衝新物件的既有 Canonical 前置。

  25. 階段 1 · required

    數學歸納法

    本脈衝新物件的既有 Canonical 前置。

  26. 階段 1 · required

    確定有限自動機

    本脈衝新物件的既有 Canonical 前置。

  27. 階段 1 · required

    數學證明

    本脈衝新物件的既有 Canonical 前置。

  28. 階段 1 · required

    鴿籠原理

    本脈衝新物件的既有 Canonical 前置。

  29. 階段 1 · required

    量詞與明示論域

    本脈衝新物件的既有 Canonical 前置。

  30. 階段 2 · optional

    有限變異數IID中央極限定理

    共同law且0<σ²<∞的無限IID序列,其正確中心化與sqrt(n)標準化和依分布收斂至標準常態。

  31. 階段 3 · optional

    有限值IID強大數律

    有限值無限IID序列的樣本平均幾乎必然收斂至共同期望。

  32. 階段 4 · optional

    有限模型信賴區間覆蓋率

    有限模型中預先固定的interval-valued procedure逐參數覆蓋真值的機率,定義其frequentist coverage。

  33. 階段 5 · optional

    Wilson定理

    整數n>1為質數,恰當(n-1)!模n同餘於-1。

  34. 階段 6 · optional

    整數p進賦值

    對質數p與非零整數a,v_p(a)是p整除|a|的最高次數;本節固定v_p(0)=infinity。

  35. 階段 7 · optional

    正規表示式

    正規表示式由empty language、epsilon、alphabet symbols、union、concatenation與Kleene star遞迴建構語言。

  36. 階段 8 · optional

    正規語言Pumping引理

    每個正規語言都有p,使每個長度至少p的成員word存在可反覆pumping且仍留在語言的分解。

路徑來源與狀態

path-pulse-foundations-20261118 · candidate

原始路徑 JSON