completeness,英語單詞,主要用作名詞,作名詞時譯為“完整;完全;完成;圓滿;結束”。
基本介紹
- 外文名:completeness
- 詞性:名詞
- 英式發音:[kəmˈpliːtnəs]
- 美式發音:[kəmˈpliːtnəs]
completeness,英語單詞,主要用作名詞,作名詞時譯為“完整;完全;完成;圓滿;結束”。
在序理論(order theory)和相關的領域中,如格(lattice)和疇(domain theory)中,全序性(completeness)一般是指對於偏序集(partially ordered set)存在某個特定的上確界(suprema)或下確界(infima)。值得特別注意的是,這個概念在特定...
完全性定理(completeness theorem),也稱哥德爾完全性定理,是數理邏輯中重要的定理,是建立之間的對應語義真理和句法可證明在一階邏輯,在1929年由庫爾特·哥德爾首先證明。完備性定理說,如果一個公式在邏輯上是有效的,那么這個公式就有一...
完美完全性 完美完全性(perfect completeness)是2018年公布的計算機科學技術名詞。定義 一個隨機算法接受一個肯定輸入的機率為1。出處 《計算機科學技術名詞 》第三版。
完整基金(completeness fund )是2016年公布的管理科學技術名詞,出自《管理科學技術名詞》第一版。定義 用於構建消極組合基準的特定指數,不通過客戶的積極組合管理,能使客戶的投資組合實現完全分散化。出處 《管理科學技術名詞》第一版。
哥德爾完全性定理(Godel' completeness theo-rem)關於一階邏輯和一階理論的一個元定理。可表述為“若了是一階理論,則在的任一個模型中都有效的公式必是了的定理”。當不含非邏輯公理時,就得一階邏輯的完備性:“普遍有效的公式必...
主觀期望效用理論模式是建立在Von Neumann和Morgenstern所設計的公理體系基礎上的。包含效用關係的完備性(Completeness)、傳遞性(transitivity)與替換性(Substitution)、決策者偏好的一致性(preference)等,但後來的研究發現該理論的優勢原則和無...
曼希爾完備性定理(Myhill completeness theo-rem)揭示創造集與完備集之間關係的定理.該定理斷言:任何創造集一定是m完備的(因此也是1-完備的),由此可推知,A為創造集,若且唯若A為1一完備的,亦若且唯若A為m完備的.該定理是曼希爾(...
哥德爾第二不完全性定理(Godel second in-completeness theorem)數理邏輯的重要定理之一,也是證明論的主要定理.即美籍奧地利數學家哥德爾(Godel , K.)證明的不完全性定理 :設T是一個包含佩亞諾算術的理論,如果T是協調的,那么T}f ConT...
(5) maintain all records which are used by the agency in making any determination about any individual with such accuracy, relevance, timeliness, and completeness as is reasonably necessary to assure fairness to the ...