Traduction de «System formal logic » (Anglais → Français) :

TERMINOLOGIE

axiomatics | formal system | system of formal logic
axiomatique | ensemble de formules | système formel | théorie | SF [Abbr.]

logical formalism [ logic formalism ]
formalisme logique

wired-logic exchange | wired-logic switching system | wired-logic system
système à commande par logique câblée | système à logique câblée

formal logic
logique formelle

logic system [ symbolic logic system ]
système logique [ système à logique symbolique | système à représentation symbolique ]

shared logic system | shared logic
système logique partagée | logique partagée

PLC | PLC technology | computer control system | programmable logic controller
automate programmable | contrôleur logique programmable

ground shift system | air/ground sensing system | air/ground logic
système de référence air-sol

TRADUCTIONS EN CONTEXTE

This would appear to be a very logical thing to have done, and we would hope there would be some sort of performance information to indicate whether this is being used and how successful it is in reducing the more formal complaints in the system.
Cela semble être une initiative très logique, et il est à souhaiter qu'il y ait de l'information sur le rendement qui indiquerait si les mécanismes sont utilisés et s'ils réussissent à réduire le nombre de plaintes formelles dans le système.

22. Takes the view that further instruments to support the EQF should be fostered in order to facilitate public access to the EQF, with the main focus on the Copenhagen and Bologna conclusions, to which the EQF should form a logically structured starting point; takes the view that special attention should also be given to the contribution of international organisations and European centres such as the Organisation for Economic Cooperation and Development and the European Centre for the Development of Vocational Training in the field of learning and the acquisition of qualifications and skills; calls on the Commission to progress the development of the European Credit of Vocational Education and Training (ECVET) system to further develop and promote the Europass and to develop the "Ploteus" data bank and to promote further innovative approaches to the recognition of informal and non-formal learning;
22. estime qu'il importe de multiplier les dispositifs de soutien au CEQ pour permettre aux citoyens d'avoir accès à ce dernier et qu'à cet égard, les résultats des processus de Copenhague et de Bologne, avec lesquels le CEQ doit s'articuler harmonieusement, doivent se voir accorder la plus grande attention; estime qu'une importance particulière doit être accordée au travail réalisé en matière de formation et d'acquisition de compétences et de qualifications par les organisations internationales et les centres européens comme l'Organisation de coopération et de développement économiques et le Centre européen pour le développement de la formation professionnelle; invite la Commission à développer plus avant le système européen de transferts de crédits pour l'enseignement et la formation professionnels (ECVET), à perfectionner et à promouvoir Europass et à développer la base de données "Ploteus", ainsi qu'à encourager plus avant les approches innovantes en faveur de la reconnaissance de l'apprentissage informel et non formel;

22. Takes the view that further instruments to support the EQF should be fostered in order to facilitate public access to the EQF, with the main focus on the Copenhagen and Bologna conclusions, to which the EQF should form a logically structured starting point; takes the view that special attention should also be given to the contribution of international organisations and European centres such as the Organisation for Economic Cooperation and Development and the European Centre for the Development of Vocational Training in the field of learning and the acquisition of qualifications and skills; calls on the Commission to progress the development of the European Credit of Vocational Education and Training (ECVET) system to further develop and promote the Europass and to develop the ‘Ploteus’ data bank and to promote further innovative approaches to the recognition of informal and non-formal learning;
22. estime qu'il importe de multiplier les dispositifs de soutien au CEQ pour permettre aux citoyens d'avoir accès à ce dernier et qu'à cet égard, les résultats des processus de Copenhague et de Bologne, avec lesquels le CEQ doit s'articuler harmonieusement, doivent se voir accorder la plus grande attention; estime qu'une importance particulière doit être accordée au travail réalisé en matière de formation, de compétences et de capacités par les organisations internationales et les centres européens comme l'Organisation de coopération et de développement économiques et le Centre européen pour le développement de la formation professionnelle; invite la Commission à développer plus avant le système européen de transferts de crédits pour l'enseignement et la formation professionnels (ECVET), à perfectionner et à promouvoir Europass et à développer la base de données "Ploteus", ainsi qu'à encourager plus avant les approches innovantes en faveur de la reconnaissance de l'apprentissage informel et non formel;

Finally, by reference to the observations made by ProSiebenSat.1 in the Berlin-Brandenburg case (62), the German authorities also submit in their observations after the opening of the formal investigation procedure that in any case, following the logic of the opening decision by the Commission, the commercial broadcasters would transfer all the economic advantage conferred by the public funding to the network operator T-Systems in the form of transmission fees.
Se référant aux observations formulées par ProSiebenSat.1 dans l’affaire Berlin-Brandebourg (62), l’Allemagne avance dans les explications qu’elle a fournies en réponse à l’ouverture de la procédure formelle d’examen que les radiodiffuseurs privés, au sens de la décision d’ouverture de la Commission, céderont leurs droits sous la forme de rétributions de transmission à l’opérateur réseau T-Systems sans obtenir le moindre avantage économique lié à l’aide.