本批已通過 Schema、去重、來源快照與獨立答案重算；仍未標記為人工審定。
本題庫已有對應的中英逐步詳解。原題的 candidate 與英文 ai_candidate 狀態保留；AI 覆核、有限計算與 Lean 形式證明分開標示。
batch-20261014-advance-20261030-r06-cumulative-distribution-function-foundations · 2026-10-14 · 100 題
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-evaluate；資料={"support":[-12,-5,1],"masses":[[1,4],[1,4],[1,2]],"t":-12}。請依 [t,F_t,boundary] 欄序回答。
(-12, 1/4, uses_X_less_than_or_equal_t)
Wave4第四層核對=(-12, 1/4, uses_X_less_than_or_equal_t)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-evaluate · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-evaluate；資料={"support":[-11,-4,2],"masses":[[1,4],[1,4],[1,2]],"t":-4}。請依 [t,F_t,boundary] 欄序回答。
(-4, 1/2, uses_X_less_than_or_equal_t)
Wave4第四層核對=(-4, 1/2, uses_X_less_than_or_equal_t)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-evaluate · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-evaluate；資料={"support":[-10,-3,3],"masses":[[1,4],[1,4],[1,2]],"t":3}。請依 [t,F_t,boundary] 欄序回答。
(3, 1, uses_X_less_than_or_equal_t)
Wave4第四層核對=(3, 1, uses_X_less_than_or_equal_t)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-evaluate · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-evaluate；資料={"support":[-9,-2,4],"masses":[[1,4],[1,4],[1,2]],"t":-9}。請依 [t,F_t,boundary] 欄序回答。
(-9, 1/4, uses_X_less_than_or_equal_t)
Wave4第四層核對=(-9, 1/4, uses_X_less_than_or_equal_t)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-evaluate · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-evaluate；資料={"support":[-8,-1,5],"masses":[[1,4],[1,4],[1,2]],"t":-1}。請依 [t,F_t,boundary] 欄序回答。
(-1, 1/2, uses_X_less_than_or_equal_t)
Wave4第四層核對=(-1, 1/2, uses_X_less_than_or_equal_t)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-evaluate · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-evaluate；資料={"support":[-7,0,6],"masses":[[1,4],[1,4],[1,2]],"t":6}。請依 [t,F_t,boundary] 欄序回答。
(6, 1, uses_X_less_than_or_equal_t)
Wave4第四層核對=(6, 1, uses_X_less_than_or_equal_t)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-evaluate · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-evaluate；資料={"support":[-6,1,7],"masses":[[1,4],[1,4],[1,2]],"t":-6}。請依 [t,F_t,boundary] 欄序回答。
(-6, 1/4, uses_X_less_than_or_equal_t)
Wave4第四層核對=(-6, 1/4, uses_X_less_than_or_equal_t)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-evaluate · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-evaluate；資料={"support":[-5,2,8],"masses":[[1,4],[1,4],[1,2]],"t":2}。請依 [t,F_t,boundary] 欄序回答。
(2, 1/2, uses_X_less_than_or_equal_t)
Wave4第四層核對=(2, 1/2, uses_X_less_than_or_equal_t)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-evaluate · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-evaluate；資料={"support":[-4,3,9],"masses":[[1,4],[1,4],[1,2]],"t":9}。請依 [t,F_t,boundary] 欄序回答。
(9, 1, uses_X_less_than_or_equal_t)
Wave4第四層核對=(9, 1, uses_X_less_than_or_equal_t)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-evaluate · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-evaluate；資料={"support":[-3,4,10],"masses":[[1,4],[1,4],[1,2]],"t":-3}。請依 [t,F_t,boundary] 欄序回答。
(-3, 1/4, uses_X_less_than_or_equal_t)
Wave4第四層核對=(-3, 1/4, uses_X_less_than_or_equal_t)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-evaluate · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-evaluate；資料={"support":[-2,5,11],"masses":[[1,4],[1,4],[1,2]],"t":5}。請依 [t,F_t,boundary] 欄序回答。
(5, 1/2, uses_X_less_than_or_equal_t)
Wave4第四層核對=(5, 1/2, uses_X_less_than_or_equal_t)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-evaluate · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-evaluate；資料={"support":[-1,6,12],"masses":[[1,4],[1,4],[1,2]],"t":12}。請依 [t,F_t,boundary] 欄序回答。
(12, 1, uses_X_less_than_or_equal_t)
Wave4第四層核對=(12, 1, uses_X_less_than_or_equal_t)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-evaluate · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-evaluate；資料={"support":[0,7,13],"masses":[[1,4],[1,4],[1,2]],"t":0}。請依 [t,F_t,boundary] 欄序回答。
(0, 1/4, uses_X_less_than_or_equal_t)
Wave4第四層核對=(0, 1/4, uses_X_less_than_or_equal_t)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-evaluate · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-evaluate；資料={"support":[1,8,14],"masses":[[1,4],[1,4],[1,2]],"t":8}。請依 [t,F_t,boundary] 欄序回答。
(8, 1/2, uses_X_less_than_or_equal_t)
Wave4第四層核對=(8, 1/2, uses_X_less_than_or_equal_t)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-evaluate · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-evaluate；資料={"support":[2,9,15],"masses":[[1,4],[1,4],[1,2]],"t":15}。請依 [t,F_t,boundary] 欄序回答。
(15, 1, uses_X_less_than_or_equal_t)
Wave4第四層核對=(15, 1, uses_X_less_than_or_equal_t)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-evaluate · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-evaluate；資料={"support":[3,10,16],"masses":[[1,4],[1,4],[1,2]],"t":3}。請依 [t,F_t,boundary] 欄序回答。
(3, 1/4, uses_X_less_than_or_equal_t)
Wave4第四層核對=(3, 1/4, uses_X_less_than_or_equal_t)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-evaluate · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-evaluate；資料={"support":[4,11,17],"masses":[[1,4],[1,4],[1,2]],"t":11}。請依 [t,F_t,boundary] 欄序回答。
(11, 1/2, uses_X_less_than_or_equal_t)
Wave4第四層核對=(11, 1/2, uses_X_less_than_or_equal_t)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-evaluate · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-evaluate；資料={"support":[5,12,18],"masses":[[1,4],[1,4],[1,2]],"t":18}。請依 [t,F_t,boundary] 欄序回答。
(18, 1, uses_X_less_than_or_equal_t)
Wave4第四層核對=(18, 1, uses_X_less_than_or_equal_t)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-evaluate · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-evaluate；資料={"support":[6,13,19],"masses":[[1,4],[1,4],[1,2]],"t":6}。請依 [t,F_t,boundary] 欄序回答。
(6, 1/4, uses_X_less_than_or_equal_t)
Wave4第四層核對=(6, 1/4, uses_X_less_than_or_equal_t)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-evaluate · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-evaluate；資料={"support":[7,14,20],"masses":[[1,4],[1,4],[1,2]],"t":14}。請依 [t,F_t,boundary] 欄序回答。
(14, 1/2, uses_X_less_than_or_equal_t)
Wave4第四層核對=(14, 1/2, uses_X_less_than_or_equal_t)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-evaluate · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-evaluate；資料={"support":[8,15,21],"masses":[[1,4],[1,4],[1,2]],"t":21}。請依 [t,F_t,boundary] 欄序回答。
(21, 1, uses_X_less_than_or_equal_t)
Wave4第四層核對=(21, 1, uses_X_less_than_or_equal_t)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-evaluate · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-evaluate；資料={"support":[9,16,22],"masses":[[1,4],[1,4],[1,2]],"t":9}。請依 [t,F_t,boundary] 欄序回答。
(9, 1/4, uses_X_less_than_or_equal_t)
Wave4第四層核對=(9, 1/4, uses_X_less_than_or_equal_t)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-evaluate · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-evaluate；資料={"support":[10,17,23],"masses":[[1,4],[1,4],[1,2]],"t":17}。請依 [t,F_t,boundary] 欄序回答。
(17, 1/2, uses_X_less_than_or_equal_t)
Wave4第四層核對=(17, 1/2, uses_X_less_than_or_equal_t)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-evaluate · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-evaluate；資料={"support":[11,18,24],"masses":[[1,4],[1,4],[1,2]],"t":24}。請依 [t,F_t,boundary] 欄序回答。
(24, 1, uses_X_less_than_or_equal_t)
Wave4第四層核對=(24, 1, uses_X_less_than_or_equal_t)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-evaluate · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-evaluate；資料={"support":[12,19,25],"masses":[[1,4],[1,4],[1,2]],"t":12}。請依 [t,F_t,boundary] 欄序回答。
(12, 1/4, uses_X_less_than_or_equal_t)
Wave4第四層核對=(12, 1/4, uses_X_less_than_or_equal_t)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-evaluate · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-jump；資料={"support":[-12,-5,1],"masses":[[1,4],[1,4],[1,2]],"t":-12}。請依 [t,left_limit,F_t,point_mass,jump_identity] 欄序回答。
(-12, 0, 1/4, 1/4, 是)
Wave4第四層核對=(-12, 0, 1/4, 1/4, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-jump · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-jump；資料={"support":[-11,-4,2],"masses":[[1,4],[1,4],[1,2]],"t":-4}。請依 [t,left_limit,F_t,point_mass,jump_identity] 欄序回答。
(-4, 1/4, 1/2, 1/4, 是)
Wave4第四層核對=(-4, 1/4, 1/2, 1/4, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-jump · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-jump；資料={"support":[-10,-3,3],"masses":[[1,4],[1,4],[1,2]],"t":3}。請依 [t,left_limit,F_t,point_mass,jump_identity] 欄序回答。
(3, 1/2, 1, 1/2, 是)
Wave4第四層核對=(3, 1/2, 1, 1/2, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-jump · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-jump；資料={"support":[-9,-2,4],"masses":[[1,4],[1,4],[1,2]],"t":-9}。請依 [t,left_limit,F_t,point_mass,jump_identity] 欄序回答。
(-9, 0, 1/4, 1/4, 是)
Wave4第四層核對=(-9, 0, 1/4, 1/4, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-jump · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-jump；資料={"support":[-8,-1,5],"masses":[[1,4],[1,4],[1,2]],"t":-1}。請依 [t,left_limit,F_t,point_mass,jump_identity] 欄序回答。
(-1, 1/4, 1/2, 1/4, 是)
Wave4第四層核對=(-1, 1/4, 1/2, 1/4, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-jump · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-jump；資料={"support":[-7,0,6],"masses":[[1,4],[1,4],[1,2]],"t":6}。請依 [t,left_limit,F_t,point_mass,jump_identity] 欄序回答。
(6, 1/2, 1, 1/2, 是)
Wave4第四層核對=(6, 1/2, 1, 1/2, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-jump · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-jump；資料={"support":[-6,1,7],"masses":[[1,4],[1,4],[1,2]],"t":-6}。請依 [t,left_limit,F_t,point_mass,jump_identity] 欄序回答。
(-6, 0, 1/4, 1/4, 是)
Wave4第四層核對=(-6, 0, 1/4, 1/4, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-jump · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-jump；資料={"support":[-5,2,8],"masses":[[1,4],[1,4],[1,2]],"t":2}。請依 [t,left_limit,F_t,point_mass,jump_identity] 欄序回答。
(2, 1/4, 1/2, 1/4, 是)
Wave4第四層核對=(2, 1/4, 1/2, 1/4, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-jump · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-jump；資料={"support":[-4,3,9],"masses":[[1,4],[1,4],[1,2]],"t":9}。請依 [t,left_limit,F_t,point_mass,jump_identity] 欄序回答。
(9, 1/2, 1, 1/2, 是)
Wave4第四層核對=(9, 1/2, 1, 1/2, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-jump · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-jump；資料={"support":[-3,4,10],"masses":[[1,4],[1,4],[1,2]],"t":-3}。請依 [t,left_limit,F_t,point_mass,jump_identity] 欄序回答。
(-3, 0, 1/4, 1/4, 是)
Wave4第四層核對=(-3, 0, 1/4, 1/4, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-jump · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-jump；資料={"support":[-2,5,11],"masses":[[1,4],[1,4],[1,2]],"t":5}。請依 [t,left_limit,F_t,point_mass,jump_identity] 欄序回答。
(5, 1/4, 1/2, 1/4, 是)
Wave4第四層核對=(5, 1/4, 1/2, 1/4, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-jump · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-jump；資料={"support":[-1,6,12],"masses":[[1,4],[1,4],[1,2]],"t":12}。請依 [t,left_limit,F_t,point_mass,jump_identity] 欄序回答。
(12, 1/2, 1, 1/2, 是)
Wave4第四層核對=(12, 1/2, 1, 1/2, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-jump · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-jump；資料={"support":[0,7,13],"masses":[[1,4],[1,4],[1,2]],"t":0}。請依 [t,left_limit,F_t,point_mass,jump_identity] 欄序回答。
(0, 0, 1/4, 1/4, 是)
Wave4第四層核對=(0, 0, 1/4, 1/4, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-jump · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-jump；資料={"support":[1,8,14],"masses":[[1,4],[1,4],[1,2]],"t":8}。請依 [t,left_limit,F_t,point_mass,jump_identity] 欄序回答。
(8, 1/4, 1/2, 1/4, 是)
Wave4第四層核對=(8, 1/4, 1/2, 1/4, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-jump · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-jump；資料={"support":[2,9,15],"masses":[[1,4],[1,4],[1,2]],"t":15}。請依 [t,left_limit,F_t,point_mass,jump_identity] 欄序回答。
(15, 1/2, 1, 1/2, 是)
Wave4第四層核對=(15, 1/2, 1, 1/2, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-jump · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-jump；資料={"support":[3,10,16],"masses":[[1,4],[1,4],[1,2]],"t":3}。請依 [t,left_limit,F_t,point_mass,jump_identity] 欄序回答。
(3, 0, 1/4, 1/4, 是)
Wave4第四層核對=(3, 0, 1/4, 1/4, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-jump · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-jump；資料={"support":[4,11,17],"masses":[[1,4],[1,4],[1,2]],"t":11}。請依 [t,left_limit,F_t,point_mass,jump_identity] 欄序回答。
(11, 1/4, 1/2, 1/4, 是)
Wave4第四層核對=(11, 1/4, 1/2, 1/4, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-jump · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-jump；資料={"support":[5,12,18],"masses":[[1,4],[1,4],[1,2]],"t":18}。請依 [t,left_limit,F_t,point_mass,jump_identity] 欄序回答。
(18, 1/2, 1, 1/2, 是)
Wave4第四層核對=(18, 1/2, 1, 1/2, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-jump · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-jump；資料={"support":[6,13,19],"masses":[[1,4],[1,4],[1,2]],"t":6}。請依 [t,left_limit,F_t,point_mass,jump_identity] 欄序回答。
(6, 0, 1/4, 1/4, 是)
Wave4第四層核對=(6, 0, 1/4, 1/4, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-jump · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-jump；資料={"support":[7,14,20],"masses":[[1,4],[1,4],[1,2]],"t":14}。請依 [t,left_limit,F_t,point_mass,jump_identity] 欄序回答。
(14, 1/4, 1/2, 1/4, 是)
Wave4第四層核對=(14, 1/4, 1/2, 1/4, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-jump · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-jump；資料={"support":[8,15,21],"masses":[[1,4],[1,4],[1,2]],"t":21}。請依 [t,left_limit,F_t,point_mass,jump_identity] 欄序回答。
(21, 1/2, 1, 1/2, 是)
Wave4第四層核對=(21, 1/2, 1, 1/2, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-jump · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-jump；資料={"support":[9,16,22],"masses":[[1,4],[1,4],[1,2]],"t":9}。請依 [t,left_limit,F_t,point_mass,jump_identity] 欄序回答。
(9, 0, 1/4, 1/4, 是)
Wave4第四層核對=(9, 0, 1/4, 1/4, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-jump · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-jump；資料={"support":[10,17,23],"masses":[[1,4],[1,4],[1,2]],"t":17}。請依 [t,left_limit,F_t,point_mass,jump_identity] 欄序回答。
(17, 1/4, 1/2, 1/4, 是)
Wave4第四層核對=(17, 1/4, 1/2, 1/4, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-jump · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-jump；資料={"support":[11,18,24],"masses":[[1,4],[1,4],[1,2]],"t":24}。請依 [t,left_limit,F_t,point_mass,jump_identity] 欄序回答。
(24, 1/2, 1, 1/2, 是)
Wave4第四層核對=(24, 1/2, 1, 1/2, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-jump · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-jump；資料={"support":[12,19,25],"masses":[[1,4],[1,4],[1,2]],"t":12}。請依 [t,left_limit,F_t,point_mass,jump_identity] 欄序回答。
(12, 0, 1/4, 1/4, 是)
Wave4第四層核對=(12, 0, 1/4, 1/4, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-jump · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-monotonicity；資料={"support":[-12,-5,1],"masses":[[1,4],[1,4],[1,2]],"left":-12,"right":1}。請依 [left,right,F_left,F_right,monotone] 欄序回答。
(-12, 1, 1/4, 1, 是)
Wave4第四層核對=(-12, 1, 1/4, 1, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-monotonicity · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-monotonicity；資料={"support":[-11,-4,2],"masses":[[1,4],[1,4],[1,2]],"left":-11,"right":2}。請依 [left,right,F_left,F_right,monotone] 欄序回答。
(-11, 2, 1/4, 1, 是)
Wave4第四層核對=(-11, 2, 1/4, 1, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-monotonicity · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-monotonicity；資料={"support":[-10,-3,3],"masses":[[1,4],[1,4],[1,2]],"left":-10,"right":3}。請依 [left,right,F_left,F_right,monotone] 欄序回答。
(-10, 3, 1/4, 1, 是)
Wave4第四層核對=(-10, 3, 1/4, 1, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-monotonicity · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-monotonicity；資料={"support":[-9,-2,4],"masses":[[1,4],[1,4],[1,2]],"left":-9,"right":4}。請依 [left,right,F_left,F_right,monotone] 欄序回答。
(-9, 4, 1/4, 1, 是)
Wave4第四層核對=(-9, 4, 1/4, 1, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-monotonicity · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-monotonicity；資料={"support":[-8,-1,5],"masses":[[1,4],[1,4],[1,2]],"left":-8,"right":5}。請依 [left,right,F_left,F_right,monotone] 欄序回答。
(-8, 5, 1/4, 1, 是)
Wave4第四層核對=(-8, 5, 1/4, 1, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-monotonicity · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-monotonicity；資料={"support":[-7,0,6],"masses":[[1,4],[1,4],[1,2]],"left":-7,"right":6}。請依 [left,right,F_left,F_right,monotone] 欄序回答。
(-7, 6, 1/4, 1, 是)
Wave4第四層核對=(-7, 6, 1/4, 1, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-monotonicity · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-monotonicity；資料={"support":[-6,1,7],"masses":[[1,4],[1,4],[1,2]],"left":-6,"right":7}。請依 [left,right,F_left,F_right,monotone] 欄序回答。
(-6, 7, 1/4, 1, 是)
Wave4第四層核對=(-6, 7, 1/4, 1, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-monotonicity · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-monotonicity；資料={"support":[-5,2,8],"masses":[[1,4],[1,4],[1,2]],"left":-5,"right":8}。請依 [left,right,F_left,F_right,monotone] 欄序回答。
(-5, 8, 1/4, 1, 是)
Wave4第四層核對=(-5, 8, 1/4, 1, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-monotonicity · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-monotonicity；資料={"support":[-4,3,9],"masses":[[1,4],[1,4],[1,2]],"left":-4,"right":9}。請依 [left,right,F_left,F_right,monotone] 欄序回答。
(-4, 9, 1/4, 1, 是)
Wave4第四層核對=(-4, 9, 1/4, 1, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-monotonicity · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-monotonicity；資料={"support":[-3,4,10],"masses":[[1,4],[1,4],[1,2]],"left":-3,"right":10}。請依 [left,right,F_left,F_right,monotone] 欄序回答。
(-3, 10, 1/4, 1, 是)
Wave4第四層核對=(-3, 10, 1/4, 1, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-monotonicity · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-monotonicity；資料={"support":[-2,5,11],"masses":[[1,4],[1,4],[1,2]],"left":-2,"right":11}。請依 [left,right,F_left,F_right,monotone] 欄序回答。
(-2, 11, 1/4, 1, 是)
Wave4第四層核對=(-2, 11, 1/4, 1, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-monotonicity · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-monotonicity；資料={"support":[-1,6,12],"masses":[[1,4],[1,4],[1,2]],"left":-1,"right":12}。請依 [left,right,F_left,F_right,monotone] 欄序回答。
(-1, 12, 1/4, 1, 是)
Wave4第四層核對=(-1, 12, 1/4, 1, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-monotonicity · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-monotonicity；資料={"support":[0,7,13],"masses":[[1,4],[1,4],[1,2]],"left":0,"right":13}。請依 [left,right,F_left,F_right,monotone] 欄序回答。
(0, 13, 1/4, 1, 是)
Wave4第四層核對=(0, 13, 1/4, 1, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-monotonicity · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-monotonicity；資料={"support":[1,8,14],"masses":[[1,4],[1,4],[1,2]],"left":1,"right":14}。請依 [left,right,F_left,F_right,monotone] 欄序回答。
(1, 14, 1/4, 1, 是)
Wave4第四層核對=(1, 14, 1/4, 1, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-monotonicity · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-monotonicity；資料={"support":[2,9,15],"masses":[[1,4],[1,4],[1,2]],"left":2,"right":15}。請依 [left,right,F_left,F_right,monotone] 欄序回答。
(2, 15, 1/4, 1, 是)
Wave4第四層核對=(2, 15, 1/4, 1, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-monotonicity · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-monotonicity；資料={"support":[3,10,16],"masses":[[1,4],[1,4],[1,2]],"left":3,"right":16}。請依 [left,right,F_left,F_right,monotone] 欄序回答。
(3, 16, 1/4, 1, 是)
Wave4第四層核對=(3, 16, 1/4, 1, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-monotonicity · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-monotonicity；資料={"support":[4,11,17],"masses":[[1,4],[1,4],[1,2]],"left":4,"right":17}。請依 [left,right,F_left,F_right,monotone] 欄序回答。
(4, 17, 1/4, 1, 是)
Wave4第四層核對=(4, 17, 1/4, 1, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-monotonicity · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-monotonicity；資料={"support":[5,12,18],"masses":[[1,4],[1,4],[1,2]],"left":5,"right":18}。請依 [left,right,F_left,F_right,monotone] 欄序回答。
(5, 18, 1/4, 1, 是)
Wave4第四層核對=(5, 18, 1/4, 1, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-monotonicity · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-monotonicity；資料={"support":[6,13,19],"masses":[[1,4],[1,4],[1,2]],"left":6,"right":19}。請依 [left,right,F_left,F_right,monotone] 欄序回答。
(6, 19, 1/4, 1, 是)
Wave4第四層核對=(6, 19, 1/4, 1, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-monotonicity · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-monotonicity；資料={"support":[7,14,20],"masses":[[1,4],[1,4],[1,2]],"left":7,"right":20}。請依 [left,right,F_left,F_right,monotone] 欄序回答。
(7, 20, 1/4, 1, 是)
Wave4第四層核對=(7, 20, 1/4, 1, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-monotonicity · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-monotonicity；資料={"support":[8,15,21],"masses":[[1,4],[1,4],[1,2]],"left":8,"right":21}。請依 [left,right,F_left,F_right,monotone] 欄序回答。
(8, 21, 1/4, 1, 是)
Wave4第四層核對=(8, 21, 1/4, 1, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-monotonicity · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-monotonicity；資料={"support":[9,16,22],"masses":[[1,4],[1,4],[1,2]],"left":9,"right":22}。請依 [left,right,F_left,F_right,monotone] 欄序回答。
(9, 22, 1/4, 1, 是)
Wave4第四層核對=(9, 22, 1/4, 1, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-monotonicity · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-monotonicity；資料={"support":[10,17,23],"masses":[[1,4],[1,4],[1,2]],"left":10,"right":23}。請依 [left,right,F_left,F_right,monotone] 欄序回答。
(10, 23, 1/4, 1, 是)
Wave4第四層核對=(10, 23, 1/4, 1, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-monotonicity · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-monotonicity；資料={"support":[11,18,24],"masses":[[1,4],[1,4],[1,2]],"left":11,"right":24}。請依 [left,right,F_left,F_right,monotone] 欄序回答。
(11, 24, 1/4, 1, 是)
Wave4第四層核對=(11, 24, 1/4, 1, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-monotonicity · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-monotonicity；資料={"support":[12,19,25],"masses":[[1,4],[1,4],[1,2]],"left":12,"right":25}。請依 [left,right,F_left,F_right,monotone] 欄序回答。
(12, 25, 1/4, 1, 是)
Wave4第四層核對=(12, 25, 1/4, 1, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-monotonicity · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-right-continuity；資料={"support":[-12,-5,1],"masses":[[1,4],[1,4],[1,2]],"t":-12}。請依 [t,F_t,next_support,certificate,right_continuous] 欄序回答。
(-12, 1/4, -5, constant_on_right_neighborhood_before_next_support, 是)
Wave4第四層核對=(-12, 1/4, -5, constant_on_right_neighborhood_before_next_support, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-right-continuity · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-right-continuity；資料={"support":[-11,-4,2],"masses":[[1,4],[1,4],[1,2]],"t":-4}。請依 [t,F_t,next_support,certificate,right_continuous] 欄序回答。
(-4, 1/2, 2, constant_on_right_neighborhood_before_next_support, 是)
Wave4第四層核對=(-4, 1/2, 2, constant_on_right_neighborhood_before_next_support, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-right-continuity · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-right-continuity；資料={"support":[-10,-3,3],"masses":[[1,4],[1,4],[1,2]],"t":3}。請依 [t,F_t,next_support,certificate,right_continuous] 欄序回答。
(3, 1, null, constant_on_right_neighborhood_before_next_support, 是)
Wave4第四層核對=(3, 1, null, constant_on_right_neighborhood_before_next_support, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-right-continuity · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-right-continuity；資料={"support":[-9,-2,4],"masses":[[1,4],[1,4],[1,2]],"t":-9}。請依 [t,F_t,next_support,certificate,right_continuous] 欄序回答。
(-9, 1/4, -2, constant_on_right_neighborhood_before_next_support, 是)
Wave4第四層核對=(-9, 1/4, -2, constant_on_right_neighborhood_before_next_support, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-right-continuity · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-right-continuity；資料={"support":[-8,-1,5],"masses":[[1,4],[1,4],[1,2]],"t":-1}。請依 [t,F_t,next_support,certificate,right_continuous] 欄序回答。
(-1, 1/2, 5, constant_on_right_neighborhood_before_next_support, 是)
Wave4第四層核對=(-1, 1/2, 5, constant_on_right_neighborhood_before_next_support, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-right-continuity · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-right-continuity；資料={"support":[-7,0,6],"masses":[[1,4],[1,4],[1,2]],"t":6}。請依 [t,F_t,next_support,certificate,right_continuous] 欄序回答。
(6, 1, null, constant_on_right_neighborhood_before_next_support, 是)
Wave4第四層核對=(6, 1, null, constant_on_right_neighborhood_before_next_support, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-right-continuity · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-right-continuity；資料={"support":[-6,1,7],"masses":[[1,4],[1,4],[1,2]],"t":-6}。請依 [t,F_t,next_support,certificate,right_continuous] 欄序回答。
(-6, 1/4, 1, constant_on_right_neighborhood_before_next_support, 是)
Wave4第四層核對=(-6, 1/4, 1, constant_on_right_neighborhood_before_next_support, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-right-continuity · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-right-continuity；資料={"support":[-5,2,8],"masses":[[1,4],[1,4],[1,2]],"t":2}。請依 [t,F_t,next_support,certificate,right_continuous] 欄序回答。
(2, 1/2, 8, constant_on_right_neighborhood_before_next_support, 是)
Wave4第四層核對=(2, 1/2, 8, constant_on_right_neighborhood_before_next_support, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-right-continuity · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-right-continuity；資料={"support":[-4,3,9],"masses":[[1,4],[1,4],[1,2]],"t":9}。請依 [t,F_t,next_support,certificate,right_continuous] 欄序回答。
(9, 1, null, constant_on_right_neighborhood_before_next_support, 是)
Wave4第四層核對=(9, 1, null, constant_on_right_neighborhood_before_next_support, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-right-continuity · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-right-continuity；資料={"support":[-3,4,10],"masses":[[1,4],[1,4],[1,2]],"t":-3}。請依 [t,F_t,next_support,certificate,right_continuous] 欄序回答。
(-3, 1/4, 4, constant_on_right_neighborhood_before_next_support, 是)
Wave4第四層核對=(-3, 1/4, 4, constant_on_right_neighborhood_before_next_support, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-right-continuity · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-right-continuity；資料={"support":[-2,5,11],"masses":[[1,4],[1,4],[1,2]],"t":5}。請依 [t,F_t,next_support,certificate,right_continuous] 欄序回答。
(5, 1/2, 11, constant_on_right_neighborhood_before_next_support, 是)
Wave4第四層核對=(5, 1/2, 11, constant_on_right_neighborhood_before_next_support, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-right-continuity · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-right-continuity；資料={"support":[-1,6,12],"masses":[[1,4],[1,4],[1,2]],"t":12}。請依 [t,F_t,next_support,certificate,right_continuous] 欄序回答。
(12, 1, null, constant_on_right_neighborhood_before_next_support, 是)
Wave4第四層核對=(12, 1, null, constant_on_right_neighborhood_before_next_support, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-right-continuity · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-right-continuity；資料={"support":[0,7,13],"masses":[[1,4],[1,4],[1,2]],"t":0}。請依 [t,F_t,next_support,certificate,right_continuous] 欄序回答。
(0, 1/4, 7, constant_on_right_neighborhood_before_next_support, 是)
Wave4第四層核對=(0, 1/4, 7, constant_on_right_neighborhood_before_next_support, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-right-continuity · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-right-continuity；資料={"support":[1,8,14],"masses":[[1,4],[1,4],[1,2]],"t":8}。請依 [t,F_t,next_support,certificate,right_continuous] 欄序回答。
(8, 1/2, 14, constant_on_right_neighborhood_before_next_support, 是)
Wave4第四層核對=(8, 1/2, 14, constant_on_right_neighborhood_before_next_support, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-right-continuity · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-right-continuity；資料={"support":[2,9,15],"masses":[[1,4],[1,4],[1,2]],"t":15}。請依 [t,F_t,next_support,certificate,right_continuous] 欄序回答。
(15, 1, null, constant_on_right_neighborhood_before_next_support, 是)
Wave4第四層核對=(15, 1, null, constant_on_right_neighborhood_before_next_support, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-right-continuity · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-right-continuity；資料={"support":[3,10,16],"masses":[[1,4],[1,4],[1,2]],"t":3}。請依 [t,F_t,next_support,certificate,right_continuous] 欄序回答。
(3, 1/4, 10, constant_on_right_neighborhood_before_next_support, 是)
Wave4第四層核對=(3, 1/4, 10, constant_on_right_neighborhood_before_next_support, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-right-continuity · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-right-continuity；資料={"support":[4,11,17],"masses":[[1,4],[1,4],[1,2]],"t":11}。請依 [t,F_t,next_support,certificate,right_continuous] 欄序回答。
(11, 1/2, 17, constant_on_right_neighborhood_before_next_support, 是)
Wave4第四層核對=(11, 1/2, 17, constant_on_right_neighborhood_before_next_support, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-right-continuity · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-right-continuity；資料={"support":[5,12,18],"masses":[[1,4],[1,4],[1,2]],"t":18}。請依 [t,F_t,next_support,certificate,right_continuous] 欄序回答。
(18, 1, null, constant_on_right_neighborhood_before_next_support, 是)
Wave4第四層核對=(18, 1, null, constant_on_right_neighborhood_before_next_support, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-right-continuity · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-right-continuity；資料={"support":[6,13,19],"masses":[[1,4],[1,4],[1,2]],"t":6}。請依 [t,F_t,next_support,certificate,right_continuous] 欄序回答。
(6, 1/4, 13, constant_on_right_neighborhood_before_next_support, 是)
Wave4第四層核對=(6, 1/4, 13, constant_on_right_neighborhood_before_next_support, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-right-continuity · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-right-continuity；資料={"support":[7,14,20],"masses":[[1,4],[1,4],[1,2]],"t":14}。請依 [t,F_t,next_support,certificate,right_continuous] 欄序回答。
(14, 1/2, 20, constant_on_right_neighborhood_before_next_support, 是)
Wave4第四層核對=(14, 1/2, 20, constant_on_right_neighborhood_before_next_support, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-right-continuity · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-right-continuity；資料={"support":[8,15,21],"masses":[[1,4],[1,4],[1,2]],"t":21}。請依 [t,F_t,next_support,certificate,right_continuous] 欄序回答。
(21, 1, null, constant_on_right_neighborhood_before_next_support, 是)
Wave4第四層核對=(21, 1, null, constant_on_right_neighborhood_before_next_support, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-right-continuity · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-right-continuity；資料={"support":[9,16,22],"masses":[[1,4],[1,4],[1,2]],"t":9}。請依 [t,F_t,next_support,certificate,right_continuous] 欄序回答。
(9, 1/4, 16, constant_on_right_neighborhood_before_next_support, 是)
Wave4第四層核對=(9, 1/4, 16, constant_on_right_neighborhood_before_next_support, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-right-continuity · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-right-continuity；資料={"support":[10,17,23],"masses":[[1,4],[1,4],[1,2]],"t":17}。請依 [t,F_t,next_support,certificate,right_continuous] 欄序回答。
(17, 1/2, 23, constant_on_right_neighborhood_before_next_support, 是)
Wave4第四層核對=(17, 1/2, 23, constant_on_right_neighborhood_before_next_support, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-right-continuity · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-right-continuity；資料={"support":[11,18,24],"masses":[[1,4],[1,4],[1,2]],"t":24}。請依 [t,F_t,next_support,certificate,right_continuous] 欄序回答。
(24, 1, null, constant_on_right_neighborhood_before_next_support, 是)
Wave4第四層核對=(24, 1, null, constant_on_right_neighborhood_before_next_support, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-right-continuity · candidate
完整有限離散law與F(t)=P(X小於等於t)。操作=cdf-right-continuity；資料={"support":[12,19,25],"masses":[[1,4],[1,4],[1,2]],"t":12}。請依 [t,F_t,next_support,certificate,right_continuous] 欄序回答。
(12, 1/4, 19, constant_on_right_neighborhood_before_next_support, 是)
Wave4第四層核對=(12, 1/4, 19, constant_on_right_neighborhood_before_next_support, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；保留小於等於單調右連續與端點；CDF不混同PMF或density且jump為點質量。
累積分布函數 · qf-mod30-cdf-right-continuity · candidate