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

OCME · 中英數學知識與推導

Wave6第四層:Orbit-Stabilizer、MVT、緊緻像、全變異數、遞迴、Möbius反演與PDA

本頁導覽
  1. 有限群作用的軌道
  2. 有限群作用的穩定子群
  3. 集合基數比較
  4. 實函數在一點的導數與差商
  5. 實函數的點值與連續
  6. 兩點間的平均變化率
  7. 實數大小與順序
  8. 緊緻子集
  9. 拓撲連續映射
  10. 函數映射
  11. 全期望公式
  12. 有限機率模型的變異數
  13. 有限條件期望
  14. 數列
  15. 方程式
  16. Möbius函數
  17. 自然數整除
  18. 基本計數原理
  19. 抽象計算模型
  20. 確定有限自動機
  21. 上下文無關文法
  22. 軌道-穩定子定理
  23. 微分中值定理
  24. 緊緻集的連續像
  25. 全變異數公式
  26. 遞迴關係
  27. 有限因數格上的Möbius反演
  28. 下推自動機

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

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

  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

    Möbius函數

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

  17. 階段 1 · required

    自然數整除

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

  18. 階段 1 · required

    基本計數原理

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

  19. 階段 1 · required

    抽象計算模型

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

  20. 階段 1 · required

    確定有限自動機

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

  21. 階段 1 · required

    上下文無關文法

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

  22. 階段 2 · optional

    軌道-穩定子定理

    完整有限群作用中,同一點的orbit大小乘以stabilizer大小等於群階。

  23. 階段 3 · optional

    微分中值定理

    若a<b,f在[a,b]連續且在(a,b)可微,則某個內點c的導數等於端點割線斜率。

  24. 階段 4 · optional

    緊緻集的連續像

    若K在X中compact且f:X→Y連續,則image f(K)在Y中compact。

  25. 階段 5 · optional

    全變異數公式

    同一有限law與完整partition生成的G下,總變異數等於cell內變異數期望加cell均值變異數。

  26. 階段 6 · optional

    遞迴關係

    order-r recurrence以明示initial values與total single-valued update rule逐項決定sequence。

  27. 階段 7 · optional

    有限因數格上的Möbius反演

    若F(n)是所有正因數d上的f(d)總和,則以Möbius權重可精確反演f(n)。

  28. 階段 8 · optional

    下推自動機

    nondeterministic PDA以有限控制、input與stack transitions運算,本輪固定讀完input且到final state接受。

路徑來源與狀態

path-pulse-foundations-20261110 · candidate

原始路徑 JSON