logique extensionnelle oor Engels

logique extensionnelle

Vertalings in die woordeboek Frans - Engels

extensional logic

quantificational logic

voorbeelde

Une logique d'extensions permet d'ajouter simplement thèmes et fonctionnalités développés par des tiers.
External third-party PHP modules can be added thanks to our plug-in architecture. Several are already provided as examples.

L'utilisateur peut définir des styles d'enregistrement de données inconnus jusque là et mettre en oeuvre une logique d'extension permettant d'accéder à ces styles de données.
A user may define previously unknown data storage styles and implementing plug-in-logic for accessing such data of a previously unknown data style.

Memoires ram statiques (sram) synchrones a logique pour extension memoire
Synchronous srams having logic for memory expansion

Toutefois, le principe du transfert de souveraineté en matière de politique monétaire a déjà été admis en liaison avec la monnaie unique et l'on pourrait considérer comme une évolution logique l'extension de ce principe à la politique fiscale.
However, the principle of transferring control over monetary policy has already been accepted in relation to the single currency and the extension of this principle to fiscal policy might be regarded as a logical development.

Dans une variante, on utilise un chemin de données parallèle (comprenant une mémoire tampon) en conjonction avec l'assistant DMA susmentionné de manière à permettre à la logique d'extension de processeur de fonctionner efficacement en parallèle avec l'unité centrale.
In one variant, a parallel datapath (including a buffer) is used in conjunction with the aforementioned DMA assist so as to permit the processor extension logic to efficiently operate in parallel with the CPU.

L'IP vise une activité de cette nature qui représente le suivi logique et l'extension de ses programmes. [ haut de page ]
The PI regards an activity of this nature as a logical follow-up and expansion of its programming.

Le cœur comprend un procédé ou unité fonctionnel (assistant DMA) qui est couplé à la logique d'extension du processeur et qui facilite le débit en, entre autres, garantissant que l'unité centrale et la logique d'extension de processeur peuvent fonctionner en parallèle sur des données d'une manière efficace.
The core comprises a functional process or unit (DMA assist) that is coupled to the processor's extension logic and which facilitates throughput by, among other things, ensuring that the CPU and processor extension logic can operate on data in parallel in an efficient manner.

La logique temporelle est une extension de la logique prépositionnelle qui intègre des opérateurs spéciaux agissant en fonction de données temporelles.
Temporal logic is an extension of prepositional logic that integrates special operators which act in terms of time.

L'extension logique, c'est d'avoir des caméras partout.
The logical extension will be cameras everywhere.

Ce que, par extension logique, signifie qu'il n'y avait pas de cachette à voler.
Which, by logical extension, would mean there was no stash to be stolen.

Et elle a été la cause de l'extension logique du concept d'esprit de masse : l'assimilation absolue.
And it caused the logical extension of the mass mind concept: absolute assimilation.

Elle souhaiterait également connaître les directives pour une programmation conjointe, qui constituent certainement l’extension logique du PNUAD.
She would also be interested to see the guidelines for joint programming, which were surely the logical extension of UNDAF.

Les autres axiomes sur l'égalité et l'inégalité ne sont que des extensions logiques de ce syllogisme.
The remaining axioms relating to equality and inequality are merely logical extensions of this conclusion.

—C’est une extension logique de mon propre métier, Pol.
,It's a logical extension of my own business, Pol.

Il s'agit d'une extension logique de la directive existante aux suppléments nutritionnels.
This is a logical extension to nutritional supplements of the existing directive.

Ces sortilèges n’étaient qu’une extension logique de ce qu’avait employé Pug pour accélérer le piège.
The mechanics of the spells used were but logical extensions of what Pug had used to speed up the trap.

Ce n’était là qu’une extension logique.
This was just a logical extension.

« C’est une extension logique de nos capacités de financement.
"It’s a logical extension of our financing capacity."

Le protocole à l'examen est l'extension logique de l'accord avec l'UE 25.
This protocol is the "logical extension" of the Agreement with the EU 25.

Ce protocole est l'"extension logique" de l'accord avec l'UE 25.
This protocol is the 'logical extension' of the Agreement with the EU 25.

— C’est une extension logique de mon propre métier, Pol.
,It's a logical extension of my own business, Pol.

Les contrôles «fourre-tout» représentent donc l’extension logique des contrôles effectués sur les biens répertoriés.
Catch-all controls are consequently a logical extension of controls on listed items.

L’atelier constituait une suite logique et une extension de ces activités.
This workshop was a continuation and stepping up of this work.

L'extension logique, ce sera d'avoir des caméras partout.
The logical extension will be cameras everywhere.

C’était juste l’extension logique que tout le monde connaissait et dont personne n’avait osé tirer profit.
It was just a logical extension of what everyone knew and no one had dared to take advantage of.