Vertaling van "Introduction à la logique et aux ensembles " (Frans → Engels) :

TERMINOLOGIE

introduction à la logique et aux ensembles
introduction to logic and sets

autorisation d'introduction on line d'un nouvel ensemble de logiciel
software release

Une introduction à la recherche aux Archives nationales du Canada
Introduction to Research at the National Archives of Canada

Trouver des problèmes aux solutions : introduction à un diagnostic critique des méthodes et des instruments de l'aide au Sahel
Finding Problems to Suit the Solutions: Introduction to a Critical Analysis of Methods and Instruments of Aid to Sahel

Advanced Reasoning Tool | ART,il contient quatre modules:un langage de représentation de la connaissance fournissant des règles,des prototypes,des comparaisons logiques et des structures procédurales,un compilateur qui convertit la connaissance représentée en code LISP,un module d'application de l'exécution et un environnement de débogage.Sa base de règles incorpore des règles absolues,des hypothèses,des contraintes et des croyances.L'information est organisée en ensembles de faits ou d'hypothèses,appelés points de vue [Abbr.]
Advanced Reasoning Tool | ART [Abbr.]

ensemble logique de sécurité
safety logic assembly

IN-CONTEXT TRANSLATIONS

Il y a lieu de définir les critères permettant de déterminer les organismes nuisibles pour lesquels des mesures doivent être prises afin d'empêcher leur introduction et leur dissémination sur l'ensemble du territoire de l'Union.
Criteria should be set out for the identification of pests for which the adoption of measures is necessary to prevent their introduction into and spread within the entire Union territory.

À la suite de l'apparition de foyers d'influenza aviaire hautement pathogène (ci-après dénommée l'«IAHP») du sous-type H5N2 sur le territoire de l'Afrique du Sud en avril 2011, la décision 2007/777/CE a été modifiée par le règlement d'exécution (UE) no 536/2011 de la Commission (3) afin que l'introduction dans l'Union de l'ensemble des produits énumérés ci-dessus en provenance de l'Afrique du Sud ne puisse être autorisée qu'à la condition que ces produits aient été soumis au traitement «D», tel que défini à l'annexe II, partie 4, de la décision 2007/777/CE, qui prévoit l'inactivation des virus éventuellement présents dans les produits.
Following highly pathogenic avian influenza (‘HPAI’) outbreaks of the subtype H5N2 on the South African territory in April 2011, Decision 2007/777/EC was amended by Commission Implementing Regulation (EU) No 536/2011 (3) in order to provide that all of the above listed commodities may only be authorised for introduction from South Africa into the Union after being subjected to treatment ‘D’ as set out in Part 4 of Annex II to Decision 2007/777/EC which provides for inactivation of possible virus present in the commoditiy.

Cet objectif est censé être atteint grâce à la réorganisation des élections européennes, et notamment l'introduction d'une liste pour l’ensemble du territoire de l’Union, qui constituerait une circonscription unique pour laquelle un nombre fixe de membres du Parlement européen seraient élus en plus des 751 actuellement prévus par le traité.
This objective is meant to be reached through new features of the European elections such as an EU-wide list, where the whole territory of the Union would constitute a single electoral constituency for which a fixed number of Members of the EP would be elected in addition to the 751 currently set by the Treaty.

L'échange des données entre les États membres, dans le cadre de la décision 2008/615/JAI, se déroule à l'intérieur d'un réseau IP fermé (du point de vue logique) couvrant l'ensemble de l'Europe.
The data exchange among Member States within the framework of Decision 2008/615/JHA is operated over a European wide logically closed IP network.

Dans le cas de l'UE, le choix le plus logique est l'ensemble de l'UE.
In the case of the EU the most logical choice is the whole EU.

L'une des principales incidences de la SEE à ce jour a été l'introduction ou le renforcement dans l'ensemble des États membres d'une politique préventive et plus active à l'égard des chômeurs.
One of the most significant impacts of the EES so far has been the introduction or the strengthening in all Member States of a preventive and a more active approach to the unemployed.