Da traduttori professionisti, imprese, pagine web e archivi di traduzione disponibili gratuitamente al pubblico.
il utilisa cette machine pour prouver que même dans ces systèmes plus puissants, l'indécidabilité est présente.
he used this device to prove that even in those more powerful systems, undecidability is still present.
dans le document de 1971 mentionné ci-dessus, robinson pose une question à propos de l'indécidabilité et nonperiodicity résultats pour pavages du plan hyperbolique.
in the 1971 paper mentioned above, robinson asks a question about undecidability and nonperiodicity results for tilings of the hyperbolic plane.
il a enquêté sur l'indécidabilité de l'élémentaire de la théorie classique et linéaire des groupes prouvé que la classe des algèbres localement libre a une théorie décidable.
he investigated the undecidability of the elementary theory of classical linear groups and proved that the class of locally free algebras had a decidable theory.
il a montré l'indécidabilité de la théorie élémentaire des groupes finis, des groupes nilpotent libre, libre de groupes soluble et bien d'autres.
he showed the undecidability of the elementary theory of finite groups, of free nilpotent groups , of free soluble groups and many others.
en cas d'égalité, comme c'est le cas dans notre exemple, xinetd se met dans une situation d'indécidabilité et refuse la connexion.
in case of equality, like in our example, xinetd is unable to choose and refuses the connexion.
haut de page d dc voir dépendance conceptuelle conceptual dependency débogage conceptuel conceptual debugging détection et correction des concepts mal assimilés. cf. bogue conceptuelle débogueur symbolique symbolic debugger programme utlisé pour la correction d'un autre programme, qui fournit les symboles de variables et les valeurs prises par ces variables à chaque étape du programme à corriger. cf. bogue conceptuelle décidabilité decidability propriété d'un problème "décidable", pour lequel on sait prouver qu'il existe des algorithmes résolvant toutes ses instances, ou permettant de distinguer les énoncés vrais des énoncés faux. ant. indécidabilité cf. catégoricité, complétude, problème p, semi-décidabilité décision decision choix du comportement optimal en fonction des informations disponibles, ou d'une inférence parmi plusieurs inférences légales. décisionnel intelligent decision-help system expert decision-aid system logiciel spécialisé visant à assister l'utilisateur dans la résolution de problèmes mal ou peu structurés (planification, gestion, prévision) en lui montrant les différentes décisions possibles avec leurs risques probables et en l'aidant à prendre une décision sur des risques calculés.
top of page d dc voir dépendance conceptuelle conceptual dependency débogage conceptuel conceptual debugging détection et correction des concepts mal assimilés. cf. bogue conceptuelle débogueur symbolique symbolic debugger programme utlisé pour la correction d'un autre programme, qui fournit les symboles de variables et les valeurs prises par ces variables à chaque étape du programme à corriger. cf. bogue conceptuelle décidabilité decidability propriété d'un problème "décidable", pour lequel on sait prouver qu'il existe des algorithmes résolvant toutes ses instances, ou permettant de distinguer les énoncés vrais des énoncés faux. ant. indécidabilité cf. catégoricité, complétude, problème p, semi-décidabilité décision decision choix du comportement optimal en fonction des informations disponibles, ou d'une inférence parmi plusieurs inférences légales. décisionnel intelligent decision-help system expert decision-aid system logiciel spécialisé visant à assister l'utilisateur dans la résolution de problèmes mal ou peu structurés (planification, gestion, prévision) en lui montrant les différentes décisions possibles avec leurs risques probables et en l'aidant à prendre une décision sur des risques calculés.