相關詞條
-
等價文法
等價文法 - 概述：設有兩文法G1和G2，如果L（G1）=L（G2），則稱G1和G2為等價文法。
概述 文法等價變換(定理) -
等價
設有兩個命題p和q，如果由p作為條件能使得結論q成立，則稱p是q的充分條件；若由q能使p成立則稱p是q的必要條件；如果p與q能互推（即無論是由q推出p還...
常用定義 集合中的等價關係 其他等價的定義 -
等價模型
ER 隨機網路和BA 網路對網路科學的發展起著十分重要的作用, 在網路研究 中 ER 網 絡與其等價模 型可以替代使用。提出了BA 網路的一個等價的演化...
等價模型 正文 配圖 相關連線 -
拓撲等價
拓撲等價(topological equivalence)有多個解釋，一個是刻畫微分方程的解之間的關係的重要概念 ；另一個是指對連續流進行分類的一種方法...
定義 標準圖形舉例 拓撲等價關係的證明 -
等價類
在離散數學中，等價關係是指定義在集合A上的關係，滿足自反的、對稱的和傳遞的等性質。設R是定義在集合A上的等價關係，與A中一個元素a有關係的所有元素的集合...
定義 分類 舉例 -
等價命題
一般的，在數學中把用語言、符號或式子表達的，可以判斷真假的陳述句叫做命題。其中判斷為真的語句叫做真命題，判斷為假的語句叫做假命題。 如果A，B是兩個命題...
基本概念 等價命題的引入 等價命題的簡介 利用等價命題解題 -
等價類劃分
等價類劃分，指的是一種典型的、重要的黑盒測試方法。其就是解決如何選擇適當的數據子集來代表整個數據集的問題，通過降低測試的數目去實現“合理的”覆蓋，以此來...
概述 有效等價類劃分 無效等價類劃分 等價類劃分的方法 等價類劃分的原則 -
無效等價類
無效等價類和有效等價類相反，無效等價類是指對於軟體規格說明而言，沒有意義的、不合理的輸入數據集合。利用無效等價類，可以找出程式異常說明情況，檢查程式的功...
等價類劃分法 劃分等價類的標準 劃分等價類的原則 套用 -
等價語句
等價語句(equivalence語句)是說明語句，它必須出現在程式單元的可執行語句之前。它的作用是讓同一個程式單元中的兩個或更多的變數共用同一個存儲單元...
語句形式 注意 -
森田等價
在抽象代數中，森田等價（Morita equivalence）是定義在環之間的一個等價關係，這個等價保持許多環論性質。以日本數學家森田紀一（Kiiti ...
動機 正式定義 性質 例子 等價的判據
