OCME · 中英數學知識與推導
Wave6第十二層:CLT、SLLN、confidence coverage、Wilson、p-adic valuation與regular languages
本頁導覽
在既有數系與函數基礎上依相依順序完成七個可追溯知識物件。
這是教學建議順序,不是一般性的邏輯依賴或已形式化證明。
獨立同分布序列
本脈衝新物件的既有 Canonical 前置。
依分布收斂
本脈衝新物件的既有 Canonical 前置。
有限模型的期望值
本脈衝新物件的既有 Canonical 前置。
有限機率模型的變異數
本脈衝新物件的既有 Canonical 前置。
標準常態分布
本脈衝新物件的既有 Canonical 前置。
σ-代數與測度空間
本脈衝新物件的既有 Canonical 前置。
二項式定理
本脈衝新物件的既有 Canonical 前置。
幾乎必然收斂
本脈衝新物件的既有 Canonical 前置。
抽樣分布
本脈衝新物件的既有 Canonical 前置。
統計估計量
本脈衝新物件的既有 Canonical 前置。
參數統計模型
本脈衝新物件的既有 Canonical 前置。
有限樣本空間上的機率
本脈衝新物件的既有 Canonical 前置。
實數大小與順序
本脈衝新物件的既有 Canonical 前置。
自然數質數
本脈衝新物件的既有 Canonical 前置。
自然數模同餘
本脈衝新物件的既有 Canonical 前置。
階乘
本脈衝新物件的既有 Canonical 前置。
模反元素
本脈衝新物件的既有 Canonical 前置。
自然數整除
本脈衝新物件的既有 Canonical 前置。
整數唯一質因數分解
本脈衝新物件的既有 Canonical 前置。
整數
本脈衝新物件的既有 Canonical 前置。
絕對值
本脈衝新物件的既有 Canonical 前置。
正規語言
本脈衝新物件的既有 Canonical 前置。
集合
本脈衝新物件的既有 Canonical 前置。
數列
本脈衝新物件的既有 Canonical 前置。
數學歸納法
本脈衝新物件的既有 Canonical 前置。
確定有限自動機
本脈衝新物件的既有 Canonical 前置。
數學證明
本脈衝新物件的既有 Canonical 前置。
鴿籠原理
本脈衝新物件的既有 Canonical 前置。
量詞與明示論域
本脈衝新物件的既有 Canonical 前置。
有限變異數IID中央極限定理
共同law且0<σ²<∞的無限IID序列,其正確中心化與sqrt(n)標準化和依分布收斂至標準常態。
有限值IID強大數律
有限值無限IID序列的樣本平均幾乎必然收斂至共同期望。
有限模型信賴區間覆蓋率
有限模型中預先固定的interval-valued procedure逐參數覆蓋真值的機率,定義其frequentist coverage。
Wilson定理
整數n>1為質數,恰當(n-1)!模n同餘於-1。
整數p進賦值
對質數p與非零整數a,v_p(a)是p整除|a|的最高次數;本節固定v_p(0)=infinity。
正規表示式
正規表示式由empty language、epsilon、alphabet symbols、union、concatenation與Kleene star遞迴建構語言。
正規語言Pumping引理
每個正規語言都有p,使每個長度至少p的成員word存在可反覆pumping且仍留在語言的分解。
路徑來源與狀態
path-pulse-foundations-20261118 · candidate