析取範式檢視原始碼討論檢視歷史

來自 搜狐網 的圖片

析取範式是全國科學技術名詞審定委員會審定、公布的科技術語。

漢字，中國古人智慧的結晶。千百年間，它經歷了「甲金篆隸草楷行」的發展。從記錄的工具到藝術的載體，它的身上，傾注了無數先人的心血。

名詞解釋

在離散數學中，僅由有限個文字構成的合取式稱為簡單合取式，而由有限個簡單合取式構成的析取式稱為析取範式。範式存在定理說明了它的存在性：任一命題公式都存在着與之等值的析取範式與合取範式。但它並不是惟一的。主析取範式是惟一的。

全國科學技術名詞審定委員會

全國科學技術名詞審定委員會（原稱「全國自然科學名詞審定委員會」）是經國務院批准成立，由科學技術部和中國科學院共同領導、中國科學院代管的全國性機構。

全國名詞委的任務是負責制定中國科學技術名詞規範化工作的方針、政策、原則和規劃；負責組織科學技術各學科的名詞審定、公布及協調、推廣應用工作；開展海峽兩岸及華語地區科學技術名詞的交流、協調和統一工作；組織開展中國術語學學科建設和中國國內外術語學學術交流活動。

據2018年10月全國科學技術名詞審定委員會官網顯示，全國科學技術名詞審定委員會的辦事機構為全國科學技術名詞審定委員會事務中心，各名詞審定分委員會95個；聘請了中國各學科著名學者、專家、教授135人擔任全國委員；數千位科學家參加過名詞審定工作。