The formulations here use implication and negation {->,} {\displaystyle \{\to, eg \}} as functionally complete set of basic connectives.
Les formulations ici utilisent l'implication et la négation {->,} {\displaystyle \{\to, eg \}} comme un ensemble fonctionnel complet de connections de base.
Instead of implication, classical logic can also be formulated using the functionally complete set {, v} {\displaystyle \{ eg,\lor \}} of connectives.
Au lieu de l'implication, la logique classique peut également être formulée en utilisant un ensemble fonctionnel complet {, v} {\displaystyle \{ eg,\lor \}} de connecteurs.
A set of logical connectives associated with a formal system is functionally complete if it can express all propositional functions.
Un ensemble de connecteurs logiques associés à un système formel est fonctionnellement complet si elle peut exprimer toutes les fonctions propositionnelles.
The introduction of two additional output operations makes it possible to extend the functional capabilities of information processing and to represent a functionally complete set of logic operations, including additional operations.
L'introduction de deux opérations finies supplémentaires de sortie permet d'élargir les capacités fonctionnelles du traitement d'informations et de réaliser un ensemble fonctionnellement complet d'opérations logiques, y compris des opérations d'addition.
It is not functionally complete (because it lacks the ability to express falsity and negation) but it is however syntactically complete.
Il n'est pas fonctionnellement complet (car il n'a pas la capacité d'exprimer la fausseté et la négation), mais il est cependant syntaxiquement complet.
Positive propositional calculus is the fragment of intuitionistic logic using only the (non functionally complete) connectives {->, ∧, v} {\displaystyle \{\to,\land,\lor \}}.
Le calcul propositionnel positif est le fragment de la logique intuitionniste en utilisant uniquement les connecteurs (non fonctionnellement complets) {->, ∧, v} {\displaystyle \{\to,\land,\lor \}}.
They differ in the choice of basic connectives used, which in all cases have to be functionally complete (i.e. able to express by composition all n-ary truth tables), and in the exact complete choice of axioms over the chosen basis of connectives.
Ils diffèrent dans le choix des connecteurs de base utilisé, qui dans tous les cas doivent être fonctionnellement complets (à savoir, capable d'exprimer la composition de toutes les tables de vérité n-aire).
The software developed primarily by European companies with a Latin culture tended to offer functionally complete statutory consolidation software with a few reporting functions which were deemed to be insufficient.
Les logiciels édités principalement par les sociétés européennes et à culture latine proposeront plutôt des logiciels de consolidation statutaire fonctionnellement complets, incluant quelques fonctions de reporting considérées souvent comme insuffisantes.
Although new on the scene their mission statement is to create accessories that are exquisitely designed, intelligently engineered and functionally complete.
Leur mission est de créer des accessoires exquisément conçus, intelligemment construits et fonctionnellement complets. Information de livraison
Because Sheffer's stroke (also known as NAND operator) is functionally complete, it can be used to create an entire formulation of propositional calculus.
Parce que la barre de Sheffer (également connu sous le nom de l'opérateur NAND) est fonctionnellement complet, il peut être utilisé pour créer une formulation complète de calcul propositionnel.
Computers were added quickly to the ARPANET during the following years, and work proceeded on completing a functionally complete Host-to-Host protocol and other network software.
Des ordinateurs furent rapidement ajoutés au réseau ARPANET au cours des années suivantes, et le travail se poursuivit avec l'achèvement d'un protocole de communication hôte à hôte fonctionnellement complet et d'autres logiciels de réseau.
Contenu potentiellement sensible ou inapproprié
Les exemples vous aident à traduire le mot ou l’expression cherchés dans des contextes variés. Ils ne sont ni sélectionnés ni validés par nous et peuvent contenir des mots ou des idées inappropriés. Signalez des exemples à modifier ou à retirer. Les traductions potentiellement sensibles, inappropriées ou familières sont généralement marquées de rouge ou d’orange.