正規概念是GB系統中的一個基本概念.正規概念B指存在本原命題函詞滬。
正規概念(normal concept) GB系統中的一個基本概念.正規概念B指存在本原命題函詞滬，使
例如，因為:
所以，任，=,m等概念都是正規概念，注意上述三個表達式的右邊，或是本原命題函詞，或是僅含正規概念的合式公式，因而得以化歸為本原命題函詞.
正規概念
相關詞條
- 正規概念
正規概念是GB系統中的一個基本概念.正規概念B指存在本原命題函詞滬。...... 正規概念是GB系統中的一個基本概念.正規概念B指存在本原命題函詞滬。...
- 正規
遵循立法的正規程式正規引證解釋 編輯 符合正式規定的或符合一般公認的標準的。茅盾《過年》:“他那缺少表情的臉上這時忽然浮起了一個真正可說是正規的笑容來了。...
- 正規概念分析法
正規概念分析是個非監督式機器學習技巧和資料分析方法。透過正規概念分析建立一個概念點陣,可以將所有的正規概念組織起來。這個點陣是由一群"自然"物件和"自然"屬性...
- 正規式
正規式是一種表示正規集的工具,正規式是描述程式語言單詞的表達式,對於字母表∑。...... 需要注意的是,編譯原理裡面的正規式叫做範式,和正則表達式不是一個概念,但...
- 正規數
正規數(Normal Number)是數字顯示出隨機分布,且每個數字出現機會均等的實數。“數字”指的是小數點前有限個數字(整數部份),以及小數點後無窮數字序列(分數部份)。...
- 正規性定則
正規性定則是判斷一個全純函式族或亞純函式族在一區域為正規的充分條件。一個全純函式族F在一個區域D內為正規的一個充分條件都稱為正規性定則。...
- 正規狀況
正規狀況是物體在瞬態傳熱程分析中常用的概念。...... 正規狀況是物體在瞬態傳熱程分析中常用的概念。正規狀況階段是指初始溫度影響消失,不同時刻的溫度場分布僅受邊...
- 正規概形
正規概形概念 編輯 正規概形(normal scheme)是整閉整環的推廣。若一個概形X的所有局部環OX,x都是整閉整環,則稱X是正規概形。正規概形是局部不可約的,因此...
- 正規位
正規位(canonical place)一種特殊的位.與賦值環可互相轉化的另一個概念.由(F,B)(參見“賦值域”)做一個由B確定的位二*,使二*的賦值環B}H為B.這樣的二...
- 正規矩陣
正規矩陣在數學中是指與自己的共軛轉置矩陣對易的復係數方塊矩陣。任意正規矩陣都可在經過一個酉變換後變為對角矩陣,反過來所有可在經過一個酉變換後變為對角矩陣...
- 正規金融機構
正規金融機構指受一般法律約束並接受專門的銀行監管機構監管的金融機構。這些機構可以是開發銀行、商業銀行、郵政銀行以及經過合法註冊的提供金融服務的非銀行金融機構。...
- 正規論
正規論相關人物 編輯 相傳在鳩摩羅什譯此論時,印度即有70多家注。除青目外,尚有清辨著、唐波羅頗蜜多羅譯《般若燈論釋》15卷,安慧著、宋惟淨、法護譯《...
- 正規世界
正規世界(normal world)模態邏輯用語。在模態邏輯的可能世界語義模型中,如果一個世界w,滿足白返性的要求,即有wiRw1成立,那么稱wi為一個正規世界。在正規模態命題...
- 正規語言
正規語言又稱正則語言,是形式語言與自動機理論中討論的最基本的語言系。通過它可以架起有窮自動機和正則表達式之間的一座橋樑。...
- 正規方程
正規方程編輯 鎖定 本詞條由“科普中國”百科科學詞條編寫與套用工作項目 審核。最小二乘法可以將誤差方程轉化為有確定解的代數方程組(其方程式數目正好等於未知數...
- 正規醫院
正規醫院一般指國立醫院,也叫做事業單位。...... 規模、人口配備、結構比例、技術力量、設備條件、規章制度等方面經過衛生行政主管部門組織的驗由合格的都應該稱為正規...
- 正規金融
正規金融是指通過國有商業銀行、政策性銀行、股份制商業銀行等正式金融中介機構和金融市場進行的資金融通。...
- 正規連鎖
正規連鎖,即Chain,而Regular Chain是非英語國家對正規連鎖的英文稱呼,又稱在營連鎖、公司連鎖、聯號連鎖、多店鋪連鎖、多支店連鎖。美國商務部將其定義為:“由總...
- 正規文法
正規文法是左線性文法和右線性文法的統稱。它們都是Chomsky分類下的3型文法。由正規文法產生的語言稱為正規集。下面我們將會看到,這裡之所以用“正規”二字為一種...
- 正規表達式
正規表達式由一個或多個字元型文字和/或元字元組成。在最簡單的格式下,正規表達式僅由字元文字組成,如正規表達式 cat。它被讀作字母 c,接著是字母 a 和 t,...
- 正規階
正規階(normal order)指的是數論函式估計的一個概念。...... 正規階(normal order)指的是數論函式估計的一個概念。比方設f (n)為數論函式,若當n~二時,對幾...
- 正規化
正規化是指符合正式規範與特定標準的模式或狀態,也可指為了達到規定標準、實現正規目的而採取一定的措施,進行相關活動。...
- 正規擴張
正規擴張是抽象代數中的概念,屬於域擴張中的一類。一個域擴張L/K是正規擴張若且唯若擴域L是多項式環K[X]中的某個多項式的分裂域。布爾巴基學派將這類擴張稱...
