complétude是什么意思_complétude的常见用法_近义词

词典释义

n. f.
[逻]假设演绎体系中的完备性, 完全性

近义、反义、派生词

近义词：

intégralité

反义词：

incomplétude

联想词

exhaustivité 完整性; cohérence 结构紧密，严密，一致，协调; exactitude 真

，真

性; unicité 独特性，唯一性; pertinence 恰当，贴切，中肯; universalité 普遍性，广泛性，普及性; plénitude 完全; transcendance 卓越，超群，出众，拔萃，拔尖; véracité 诚

，老

; homogénéité 同质性，均质性，同种性; perfection 完美，完善，尽善尽美;

当代法汉科技词典

n. f. 【逻】（假设演绎体系的）完备性，完全性

例句库

Toutefois, la quête de chiffres récents ne devrait pas se faire au détriment de considérations tout aussi importantes relatives à la complétude et à la comparabilité des données.

但是，采用最新数据不应当对同样重要的综合性和可比性方面的考虑产生负面影响。

L'expert-comptable ne répond pas de la complétude des pièces réunies à l'appui du crédit d'impôt sur le chiffre d'affaires du client correspondant à l'impôt sur le chiffre d'affaires de ses fournisseurs.

不能认为证明削减投入税税额抵免是否正确的证据和记录是完整无缺的。

Nous pouvons voir, de par son volume et sa complétude, que les travaux de cet organe ont considérablement augmenté ces dernières années tant au niveaux de la quantité que de la portée des sujets.

由于报告充实和全面，我们能够看到该机构的工作近年来在数量和范围方面都有相当大的增加。

Il recommande également que l'UNOPS étudie, dans le cadre des ressources limitées dont il dispose, la possibilité de mettre en place un dispositif en matière de responsabilisation pour assurer l'application des procédures de contrôle établies afin de garantir la validité, l'exactitude et la complétude des données.

委员会还建议，项目厅在其资源限制的范围内，考虑建立一个责任制的框架，以便能实行管制程序，确保资料是有效、准确和完备的。

L'UNOPS reconnaît que le texte actuel de l'accord avec le PNUD concernant la prestation de services ne traite pas de façon adéquate de l'ensemble des contrôles auxquels procède le PNUD, qui devraient assurer la validité, la complétude et l'exactitude des données qu'il fournit au Bureau.

项目厅认识到，与开发计划署签署的现行服务级协议草案难以满足开发计划署的所有管制要求，因为它能确保向项目厅提供的数据有效、完整和准确。

Le suivi et le contrôle des procès-verbaux affichés, qui visent à en vérifier la validité, l'exactitude et la complétude, sont assurés par le biais des autorisations exigées pour l'affichage des procès-verbaux, de l'apurement des comptes lors de l'établissement des bilans et du fait que les soldes sont passés en revue aux fins d'analyse.

核准刊载的刊物、核对资产负债表账户和对账户余额进行分析审议能够保证核实刊物记录的效力、准确性和完整性的监测和控制工作。

Le Comité estime que si le PNUD s'acquitte de fonctions d'ordre financier pour le compte de l'UNOPS, celui-ci doit en dernier ressort s'assurer que les apurements des comptes bancaires sont bien effectués et que des procédures de suivi et de contrôle appropriées sont en place afin de garantir la validité, l'exactitude et la complétude des opérations effectuées pour son compte.

委员会认为，尽管开发计划署负责项目厅的财务职能，但后者对确保银行往来调节负有最终的责任，而且应当实行适当的监测和管制程序，保证它所进行的交易具有有效性，准确性和完整性。

L'efficacité de l'assistance que pourrait fournir la Conférence des Parties dépend dans une large mesure de la disponibilité, de la complétude et de l'exactitude des informations disponibles au sujet des pratiques, des plans et des programmes nationaux ainsi que des mesures législatives et administratives internes adoptées pour appliquer le Protocole.

缔约方会议提供的协助的功效如何很大程度上有赖于能否获得有关各国的方案、计划和做法以及各国为执行议定书所采取的立法和行政措施的有关资料以及此种资料是否全面和准确。

Le succès du Comité est tributaire de la coopération qu'il recevra des États ainsi que de la complétude et de la clarté de notre réaction à la menace terroriste.

委员会的成功取决于它从各国那里得到的合作，取决于我们回应恐怖主义威胁的全面性和明确性。

En dernière analyse, la complétude de cette opération devra donc être jugée à la lumière des réalités locales.

因此，最终只能根据地方一级的实际情况判断登记工作是否全面。

Elle a rappelé certains principes et lié à la proposition d'autres principes, en particulier la robustesse, la complétude, l'exhaustivité, la transparence et la vérifiabilité des données.

她重申了先前的一些原则，并将该提议与一些补充原则相联系，其中包括严格性、完整性、全面性、透明度和可核查性。

Certains participants ont insisté sur la nécessité de prendre en considération la dégradation des forêts dans un éventuel accord sur la réduction des émissions résultant du déboisement dans les pays en développement, car cela contribuerait à la complétude de cet instrument et faciliterait la participation des Parties, y compris de celles qui ont de faibles taux de déboisement.

有些与会者强调了在减少发展中国家毁林所致排放量的任何安排中考虑森林退化问题的重要性，因为这将有助于有关安排的完整性和全面性，有利于缔约各方、包括毁林率低的缔约方更广泛地参与。

En outre, le Bureau du Directeur exécutif dispose maintenant d'un outil de suivi qui lui permet de vérifier la complétude des données.

还启动了一项监测工具，使执行主任办公室能够核查数据的全面性。

Pour que cet outil reste efficace, le Centre doit disposer en permanence d'un mécanisme efficient assurant la complétude des informations figurant sur le site et les actualisant.

信息技术工具若要有效，就必须通过有效率的机制持续不断地更新补充，确保网址上的信息不过时，没有疏漏。

La Division des achats a distribué à tous les bureaux intéressés des directives spécifiques et un modèle détaillé de plan d'achats, en soulignant l'importance et les avantages de la planification des achats et les responsabilités des bureaux demandeurs quant à la complétude et à la fiabilité des données présentées.

采购司为所有相关办公室提供了具体准则和一份综合采购计划格式，并强调了采购规划的重要性和益处以及它们应对所提交资料的完整性和可靠性负责。

L'Administration a accepté la recommandation du Comité selon laquelle a) elle devrait s'assurer que les départements, divisions et bureaux présentent en temps voulu leurs plans d'achats, conformément au modèle révisé et, le cas échéant, leur rappeler qu'ils doivent le faire; et b) insister sur l'importance de la planification des achats et sur les avantages qui en résultent, ainsi que sur les responsabilités des services concernés quant à la complétude et à la fiabilité des données présentées.

行政部门同意委员会的建议，即：（a）敦促并提醒各部、司和办公室按照订正格式及时提交采购计划；和（b）强调采购规划的重要性和益处以及应对所提交资料的完整性和可靠性负责。

En outre, le prestataire de services de certification est censé faire preuve d'une diligence raisonnable pour assurer l'exactitude et la complétude de toutes les déclarations essentielles faites par lui dans le contexte d'un certificat.

此外，认证服务提供人还应当采取合理的谨慎措施，确保其作出的关于证书的所有实质性表述均准确无误和完整无缺。

L'obligation du prestataire de services de certification de vérifier l'exactitude des informations communiquées est complétée par celle qu'a le signataire "de prendre des mesures raisonnables pour garantir l'exactitude et la complétude de toutes les informations communiquées par lui aux fins du certificat pendant tout son cycle de vie ou des informations figurant dans ledit certificat".

认证服务提供人核实所提供信息的准确性的义务是以签名人的下述义务为补充的：“采取合理的谨慎措施，确保签名人作出的关于证书整个有效期的或需要列入证书内的所有实质性表述均准确无误和完整无缺。”

Pour mieux comprendre les répercussions que peut avoir l'application de cet ensemble d'indicateurs sur les systèmes nationaux de statistique, des experts de la Division de statistique se sont rendus au Cameroun, au Turkménistan, au Viet Nam et au Liban afin d'y évaluer la qualité et la complétude de cet ensemble.

为了更好地了解共同国家评估指标框架的要求对国家统计体系的影响，联合国统计司专家访问了喀麦隆、土库曼斯坦、越南和黎巴嫩，评估在这些国家实行共同国家评估指标框架的质量和完整性。

Dans ce contexte, nous soulignons une fois de plus qu'il est extrêmement important d'assurer la transparence et la complétude du mandat du mécanisme chargé d'enquêter sur les événements, convenu à Charm al-Cheikh sous les auspices du Secrétaire général.

根据在秘书长主持下在沙姆沙伊赫达成的协议，将对最近的事件进行调查，在这方面，我们谨再次强调指出，必须确保调查机制的透明度和全面性。

法语百科

On parle de complétude en mathématiques dans des sens très différents. On dit d'un objet mathématique qu'il est complet pour exprimer que rien ne peut lui être ajouté, en un sens qu'il faut préciser dans chaque contexte. Dans le cas contraire, on parle d'incomplétude, surtout dans le contexte de la logique mathématique.

Un espace métrique est complet quand toute suite de Cauchy d'éléments de cet espace converge, voir espace complet. Plus généralement, un espace uniforme est complet quand tout filtre de Cauchy converge. Un espace mesuré est complet quand tout sous-ensemble d'un ensemble de mesure nulle est mesurable, voir mesure complète. En logique mathématique, un jeu de règles ou d'axiomes est complet quand il formalise entièrement la sémantique attendue. Cela peut se préciser de façons très différentes. On a les deux notions de complétude suivantes pour la sémantique de Tarski. Un système de déduction pour une logique donnée (calcul propositionnel, ou calcul des prédicats en logique classique mais aussi en logique intuitionniste ...), est complet quand il démontre les formules valides dans tous les modèles de cette logique. Plus précisément, on dit qu'une formule se déduit sémantiquement d'une théorie quand dans tout modèle de la théorie, pour toute interprétation de ses variables libres, la formule est valide. Un système de déduction est correct, fidèle ou adéquat quand toute déduction est valide sémantiquement. Il est complet quand toutes les déductions sémantiques peuvent se dériver dans le système. On parle de théorème de complétude quand il existe un système de déduction fidèle qui est complet (le système de déduction doit être raisonnable, c’est-à-dire que l'ensemble des preuves dans le système doit être récursif). Une théorie axiomatique est complète quand tout énoncé du langage de la théorie est déterminé par déduction dans la théorie : il est soit démontrable, soit de négation démontrable. Cette notion est étroitement liée à celle de théorie décidable mais ne se confond pas avec elle. Le premier théorème d'incomplétude de Gödel énonce que, sous des hypothèses raisonnables, aucune théorie arithmétique cohérente n'est complète. Il a pour conséquence qu'il n'y a pas système de déduction raisonnable qui capture entièrement la sémantique attendue, à savoir la vérité dans un modèle, celui des entiers naturels (le modèle standard de l'arithmétique). En calcul propositionnel, un système de connecteurs (de la théorie des modèles) est complet quand il permet de décrire toutes les fonctions de la sémantique. C’est-à-dire dans le cas de la logique classique (celle du calcul des prédicats qui en est une expression formelle), quand ces connecteurs (le plus souvent un jeu d’opérateurs unaires ou binaires) permettent de décrire toutes les fonctions booléennes. Dans le cas de la logique probabiliste (et de certaines de ses applications comme la logique floue), un système de connecteurs peut être aussi complet si on y adjoint des quantificateurs et des variables formelles, pour exprimer toutes les fonctions de probabilité. Toutefois la démonstration de la complétude de tels systèmes est un problème beaucoup plus difficile que celle portant sur l’ensemble des théorèmes de l’analyse mathématique portant sur les fonctions continues ou discontinues (sauf pour certaines sous-classes très limitées de fonctions de probabilités, par exemple celles pouvant s’écrire sous forme d’un développement limité ou d’une transformée dans un autre coespace dual le plus souvent lui-même non probabiliste, donc quand le système de connecteurs inclut une telle transformée). En théorie de la calculabilité ou en théorie de la complexité des algorithmes, un ensemble ou un problème de décision est complet dans une classe, si cet ensemble ou problème appartient à la classe, et si, pour une notion de réduction adéquate, tout ensemble ou problème de la classe se réduit à celui-ci. Ainsi le problème de l'arrêt, plus exactement l'ensemble des entiers n tels que la machine de code n s'arrête pour l'entrée n, est complet dans la classe des ensembles récursivement énumérables (pour la réduction récursive). La satisfaisabilité d'un ensemble de clauses du calcul propositionnel est un problème NP-complet, c’est-à-dire complet dans la classe des problèmes solubles en temps non déterministe polynomial (pour la réduction polynomiale). En théorie des ordres, un treillis est complet quand toute partie possède une borne supérieure et une borne inférieure, voir comme cas particulier les algèbres de Boole complètes. Dans le contexte de l'informatique théorique, en théorie des domaines, un ordre partiel complet (parfois abrégé cpo, de l'anglais) est un ensemble partiellement ordonné qui a un plus petit élément et dont toutes les chaînes ont une borne supérieure. En théorie des graphes, un graphe (ou un sous-graphe) non orienté est complet quand toute paire de sommets est reliée par une arête.

中文百科

在数学及其相关领域中，一个对象具有完备性，即它不需要添加任何其他元素，这个对象也可称为完备的或完全的。更精确地，可以从多个不同的角度来描述这个定义，同时可以引入完备化这个概念。但是在不同的领域中，“完备”也有不同的含义，特别是在某些领域中，“完备化”的过程并不称为“完备化”，另有其他的表述，请参考代数闭域、紧化（compactification）或哥德尔不完备定理。

一个度量空间或一致空间被称为“完备的”，如果其中的任何柯西列都收敛，请参看完备空间。

在泛函分析中，一个拓扑矢量空间的子集被称为是完全的，如果的扩张在中是稠密的。如果是可分拓扑空间（separable topology space），那幺也可以导出中的任何矢量都可以被写成中元素的（有限或无限的）线性组合。更特殊地，在希尔伯特空间中（或者略一般地，在线性内积空间（inner product space）中），一组标准正交基就是一个完全而且正交的集合。

一个测度空间是完全的，如果它的任何零测集（null set）的任何子集都是可测的。请查看完全测度空间（complete measure）。

在统计学中，一个统计量（statistic）被称为完全的，如果它不允许存在0的无偏估计量（estimator）。请查看完备统计量（complete statistic）。

在图论中，一个图被称为完全的（complete graph），如果这个图是无向图，并且任何两个顶点之间都恰有一条边连接。

在范畴论，一个范畴被称为完备的，如果任何一个从小范畴到的函子都有极限。而它被称为上完备的，如果任何函子都有一个上极限。请查看范畴论中的极限定义。

在序理论和相关的领域中，如格和畴（domain theory）中，全序性（completeness）一般是指对于偏序集存在某个特定的上确界或下确界。值得特别注意的是，这个概念在特定的情况下也应用于完全布尔代数，完全格和完全偏序。并且一个有序域被称为完全的，如果它的任何在这个域中有上界的非空子集，都有一个在这个域中的最小上界；注意这个定义与序理论中的完全有界性（bounded complete）有细小的差别。在同构的意义下，有且仅有一个完全有序域，即实数。

在数理逻辑，一个理论被称为完备的，如果对于其语言中的任何一个句子，这个理论包括且仅包括或。一个系统是兼容的，如果不存在同时和非的证明。哥德尔不完备定理证明了，包含皮亚诺公理的所有公理系统都是不可能既完备又兼容的。下面还有一些逻辑中关于完备性的定义。

在证明论和相关的数理逻辑的领域中，一个形式的演算相对于一个特定的逻辑（即相对于它的语义）是完备的，如果任何由一组前提根据语义导出的陈述，都可以从这组前提出发利用这个演算语法地（syntactically）导出。形式地说，导出。一阶逻辑在这个意义下是完备的。特别地，所有逻辑的重言式都可以被证明。即使在经典逻辑中，这与前述的完备性是不同的（即一个陈述和否定陈述对于这个逻辑而言不可能是重言式）。相反的概念被称为可靠性（soundness）。

在计算复杂度理论中，一个问题对于一个复杂度类，在某个给定类型的归约下是完全的（complete），如果在中，并且中的任何问题利用该归约都可以化归到。例如，NP完全问题在NP类和多项式时间和多对一归约的意义下是完全的。