合取正規式
中 文 合取正規式
出 處 數學名詞-兩岸數學名詞
相關詞匯
中文詞彙 | 英文翻譯 | 出處/學術領域 |
---|---|---|
合取正規式 | conjunctive normal form | 【數學名詞-兩岸數學名詞 】 |
合取正規式 | conjunctive normal form | 【數學名詞】 |
傑異合取正規式 | distinguished conjunctive normal form | 【數學名詞】 |
前束合取正規形式 | prenex-disjunctive normal form | 【電子計算機名詞】 |
合取正規形式 | prenex-conjunctive normal form | 【電子計算機名詞】 |
合取正常形式 | conjunctive normal form{=CNF} | 【電子計算機名詞】 |
準前束合取核範式函數 | quasi-prenex conjunctive kernel normal form function ; quasiprenex conjunctive kernel normal form function | 【數學名詞】 |
析取正規形式 | disjunctive normal form | 【電子計算機名詞】 |
交錯析取正規形式 | alternating disjunctive normal form | 【通訊工程】 |
巴克斯正規式 | Backus normal form | 【電機工程】 |
正規式子賽局;正子賽局 | proper subgame | 【經濟學】 |
異形組合;不正規組合(授粉);短雄蕊使長雌蕊受精 | heteromorphous combination | 【生物學名詞-植物】 |
合取式 | conjunct | 【資訊與通信術語辭典】 |
自由量詞合取範式 | quantifier-free conjunctive normal form | 【電子計算機名詞】 |
合取式 | conjunct | 【電子計算機名詞】 |
正合微分形式 | exact differential form | 【數學名詞-兩岸數學名詞 】 |
準合取式 | quasi-conjunction ; quasiconjunction | 【數學名詞】 |
正合微分形式 | exact differential form | 【數學名詞】 |
綜合教育模式 | Synthetic Educational Model | 【教育大辭書】 |
猜測校正公式 | Correction-for-Guessing Formula | 【教育大辭書】 |