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

OCME · 中英數學知識與推導

知識物件

從定義、條件與公式理解概念,再接續導讀、例題及證據。

知識物件

商拓撲

滿射q:X→Y使U⊆Y恰在q逆像開時為開,從而賦予Y商拓撲。

mko-quotient-topology · 拓撲

知識物件

道路連通空間

空間中任意兩點若可由單位區間的連續映射連接,則空間道路連通。

mko-path-connected-space · 拓撲

知識物件

拓撲連通分支

指定點的連通分支是包含該點的極大連通子集;所有分支分割空間且各自閉。

mko-topological-connected-component · 拓撲

知識物件

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

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

mko-central-limit-theorem-finite-variance-iid · 機率與統計

知識物件

有限值IID強大數律

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

mko-strong-law-large-numbers-finite-valued-iid · 機率與統計

知識物件

有限模型信賴區間覆蓋率

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

mko-finite-confidence-interval-coverage · 機率與統計

知識物件

Wilson定理

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

mko-wilson-theorem · 數論

知識物件

整數p進賦值

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

mko-p-adic-valuation-integers · 數論

知識物件

正規表示式

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

mko-regular-expression · 計算機科學數學

知識物件

正規語言Pumping引理

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

mko-pumping-lemma-regular-languages · 計算機科學數學

知識物件

Newton根求解方法

在導數非零的目前點,以切線零點更新x至x-f(x)/f'(x);收斂是另需局部假設的責任。

mko-newton-method · 數值與計算數學

知識物件

複合梯形數值積分

在嚴格遞增partition上逐段以端點平均乘各自寬度,得到定積分的複合梯形近似。

mko-trapezoidal-quadrature · 數值與計算數學

知識物件

梯度下降法

在固定Euclidean coordinates中以正步長沿負梯度更新;下降與收斂仍需目標及步長假設。

mko-gradient-descent · 最佳化與作業研究

知識物件

等式約束Lagrange乘數必要條件

正則等式約束局部極值點的目標梯度,必為constraint gradients的線性組合。

mko-lagrange-multiplier-condition · 最佳化與作業研究