概念導讀
有限variance IID的CLT資格與格點audit
清楚區分finite-n moments與named CLT應用。
OCME · 中英數學知識與推導
概念推導導讀
299 份概念教學導讀；另有 36,000 題逐題詳解，兩者分開查找。
概念導讀
有限值IID的強律資格與固定n界線
對齊named SLLN前提，並明示prefix不是a.s.證明。
概念導讀
逐參數coverage、平均與selection
完整計算固定區間程序的pointwise及worst-case coverage。
概念導讀
完整逆元配對與Wilson雙向證明
n>1時(n−1)!≡−1 modn恰當n prime；模7完整逆元表核6!≡6。
概念導讀
帶符號整數的3進因子抽取
v₃(−108)=3、v₃(18)=2、v₃(−1944)=5、v₃(−90)=2；零用infinity。
概念導讀
含epsilon的star閉包與完整長度切片
typed AST遞迴語義、完整bounded枚舉與membership責任。
概念導讀
DFA迴圈量詞與a^n b^n反證
可見量詞次序、全pump count迴圈證明及全部合法splits。
概念導讀
合法 Newton 更新與有限 trace
對 x^2-2 從 1 做兩步精確 Newton，並核 root-first 與循環邊界。
概念導讀
非均勻梯形值與帶符號誤差
對 f(x)=x^2、nodes (0,1/2,2) 計算 T、I-T 與絕對誤差。
概念導讀
正對角二次函數的安全下降步
以 alpha=1/4 對指定二次函數做兩步並證每步下降條件。
概念導讀
正則乘數與完整平方距離解
minimize ‖x-(1,2)‖^2 subject to x_1+x_2=0，求點、乘數並獨立證最小。