概念導讀
由低到高係數 [2,-3,0,5,-2] 計算所有階導數。
高階導數
derivation-mko-higher-order-derivative-01
概念導讀
完整核三點離散空間的 Hausdorff 性,並對照一個失敗點對。
Hausdorff空間
derivation-mko-hausdorff-space-01
概念導讀
從knots完整構造CDF並核atomless性。
連續實值分布函數
derivation-mko-continuous-real-distribution-function-01
概念導讀
從C0完整生成C4並核兩個closed forms。
Catalan數
derivation-mko-catalan-numbers-01
概念導讀
模7非零平方剩餘為{1,2,4};−5≡2有根3、4,3無根。
二次剩餘
derivation-mko-quadratic-residue-01
概念導讀
指定NFA接受aab,即使另一分支dead;epsilon loop本身不接受。
非確定有限自動機
derivation-mko-nondeterministic-finite-automaton-01
概念導讀
此六元素群的prime divisors2、3分別有s與r的exact-order witnesses;無order6元素。
有限群的Cauchy定理
derivation-mko-cauchy-theorem-finite-groups-01
概念導讀
以中心 a=1、order 2 構造指定三次多項式的 T_2。
Taylor多項式
derivation-mko-taylor-polynomial-01
概念導讀
證 Hausdorff 空間中的緊緻子集 K 閉。
Hausdorff空間中的緊緻集為閉集
derivation-mko-compact-subset-closed-in-hausdorff-01
概念導讀
計算三種明示冪函數瑕積分,並區分 principal value。
瑕積分
derivation-mko-improper-integral-01
概念導讀
對幾何係數 2^n 求 R,並展示端點及 0/infinity 邊界。
冪級數收斂半徑
derivation-mko-power-series-radius-of-convergence-01
概念導讀
模7符號對0、1、2、3、4、5、6依序為0、1、1、−1、1、−1、−1。
Legendre符號
derivation-mko-legendre-symbol-01
概念導讀
完整列轉移並以prefix induction證語言等價。
NFA到DFA的子集合構造
derivation-mko-subset-construction-nfa-to-dfa-01
概念導讀
N={e,r,r²}為正規子群;H={e,s}雖為子群但不正規。
有限正規子群
derivation-mko-finite-normal-subgroup-01
概念導讀
從 E(x)=sum x^n/n! 證全實數絕對收斂、加法律、逆元與正性。
實指數函數
derivation-mko-real-exponential-function-01
概念導讀
在證明收斂的域內從遞迴推出OGF。
解析普通生成函數
derivation-mko-analytic-ordinary-generating-function-01
概念導讀
p=7,a=−4時Legendre值−1且a³≡6≡−1 mod7;2則給+1。
Euler二次剩餘判準
derivation-mko-euler-criterion-quadratic-residue-01
概念導讀
完整machine、trace、ranking與全input正確性。
Turing機判定模型
derivation-mko-turing-machine-decision-model-01
概念導讀
求指定二元多項式梯度並核兩個常見錯誤推論。
梯度向量
derivation-mko-gradient-vector-01
概念導讀
核一個含反平行、零容量邊與零流量點的完整網路流值。
有限流網路
derivation-mko-finite-flow-network-01
概念導讀
f:C₄→C₂,f(a)=a mod2的kernel為{0,2}且正規;fibers是其cosets,f非單射。
有限群同態的核
derivation-mko-finite-group-homomorphism-kernel-01
概念導讀
G/N的兩cosets A=N、B={s,rs,r²s}具良定乘法AA=A,AB=BA=B,BB=A。
有限商群
derivation-mko-finite-quotient-group-01
概念導讀
全部共軛類是{e}、{r,r²}、{s,rs,r²s};r與s不共軛。
有限群共軛類
derivation-mko-finite-group-conjugacy-class-01
概念導讀
清楚分開Gaussian前提與由它們推得的CDF對稱性。
標準常態分布
derivation-mko-standard-normal-distribution-01