Traduction de «First-order logic » (Anglais → Français) :

TERMINOLOGIE

first order logic | first-order predicate calculus | first-order predicate logic | predicate calculus | predicate logic | FOPL,FOPC [Abbr.]
calcul de prédicats | calcul des prédicats | logique de 1er ordre | logique des prédicats

first order decay | first order decay function | first order decay method | FOD method [Abbr.]
fonction de dégradation de premier ordre | méthode de décomposition de premier ordre

second order logic | second-order predicate calculus | second-order predicate logic
logique d'ordre 2 | logique du deuxième ordre

13. Calls for the full implementation of the joint statements on payment appropriations and on a payment plan agreed between Parliament, the Council and the Commission at the end of the 2015 budgetary procedure, and considers that such action would indicate that all three institutions are serious about working towards a solution to the problem of unpaid bills; recalls the commitment to hold, in the course of this year, at least three interinstitutional meetings on payments, in order to take stock of payment implementation and revised forecasts; expects the first of these meetings, in March 2015, to provide a first overview of the level of unpaid bills at the end of 2014 for the main policy areas; regrets that, as anticipated, at the end of 2014 this level reached the unprecedented amount of EUR 24,7 billion, for 2007-2013 cohesion programmes alone; deplores the fact that this debt undermines the credibility of the EU and is in contradiction with the goals set at the highest political level for growth and employment; stresses that payments are the direct and logical consequence of past commitments;
13. demande la mise en œuvre intégrale des déclarations communes relatives aux crédits de paiement et à un échéancier de paiement, convenues entre le Parlement, le Conseil et la Commission à la fin de la procédure budgétaire 2015, et estime que cette mise en œuvre témoignerait de la volonté réelle des trois institutions de dégager une solution au problème des factures impayées; rappelle l'engagement de tenir, au cours de cette année, au moins trois réunions interinstitutionnelles consacrées aux paiements afin de faire le point sur l'exécution des paiements et les prévisions révisées; espère que la première de ces réunions, en mars 2015, permettra de disposer d'une première vue d'ensemble du montant des factures impayées à la fin de 2014 pour les grands domaines d'action; déplore que, comme c'était à prévoir, le montant sans précédent atteint fin 2014 soit de 24,7 milliards d'EUR pour les seuls programmes de cohésion de la période 2007-2013; regrette que cette dette nuise à la crédibilité de l'Union et soit contraire aux objectifs de croissance et d'emploi fixés au plus haut niveau politique; souligne que les paiements sont la conséquence directe et logique d'engagements antérieurs;

13. Calls for the full implementation of the joint statements on payment appropriations and on a payment plan agreed between Parliament, the Council and the Commission at the end of the 2015 budgetary procedure, and considers that such action would indicate that all three institutions are serious about working towards a solution to the problem of unpaid bills; recalls the commitment to hold, in the course of this year, at least three interinstitutional meetings on payments, in order to take stock of payment implementation and revised forecasts; expects the first of these meetings, in March 2015, to provide a first overview of the level of unpaid bills at the end of 2014 for the main policy areas; regrets that, as anticipated, at the end of 2014 this level reached the unprecedented amount of EUR 24.7 billion, for 2007-2013 cohesion programmes alone; deplores the fact that this debt undermines the credibility of the EU and is in contradiction with the goals set at the highest political level for growth and employment; stresses that payments are the direct and logical consequence of past commitments;
13. demande la mise en œuvre intégrale des déclarations communes relatives aux crédits de paiement et à un échéancier de paiement, convenues entre le Parlement, le Conseil et la Commission à la fin de la procédure budgétaire 2015, et estime que cette mise en œuvre témoignerait de la volonté réelle des trois institutions de dégager une solution au problème des factures impayées; rappelle l'engagement de tenir, au cours de cette année, au moins trois réunions interinstitutionnelles consacrées aux paiements afin de faire le point sur l'exécution des paiements et les prévisions révisées; espère que la première de ces réunions, en mars 2015, permettra de disposer d'une première vue d'ensemble du montant des factures impayées à la fin de 2014 pour les grands domaines d'action; déplore que, comme c'était à prévoir, le montant sans précédent atteint fin 2014 soit de 24,7 milliards d'EUR pour les seuls programmes de cohésion de la période 2007-2013; regrette que cette dette nuise à la crédibilité de l'Union et soit contraire aux objectifs de croissance et d'emploi fixés au plus haut niveau politique; souligne que les paiements sont la conséquence directe et logique d'engagements antérieurs;

3. The standard capacity products shall follow a logical order by which products covering yearly capacity shall be offered first, followed by the product with the next shortest capacity duration for use during the same period.
3. Les produits standard de capacité suivent un ordre logique selon lequel les produits couvrant une capacité annuelle sont proposés en premier, suivis du produit dont la maturité est immédiatement inférieure pour une utilisation pendant la période concernée.

14. Believes that, having identified the problems related to the Single Market, the Commission should move into the next logical phase of consolidating and finding ways to implement effectively the Single Market in order to regain the support of European citizens; welcomes the Commission’s work on the ‘The 20 main concerns’, which stemmed from the resolution of 20 May 2010, as a useful first step; calls on the Commission to bring forward the ‘Top 20 main Solutions’, as proposed at the Krakow Single Market Forum, to each of these sources of frustration;
14. estime que, ayant cerné les problèmes liés au marché unique, la Commission devrait passer à la phase logique suivante, à savoir renforcer le marché unique et trouver des voies pour le mettre en œuvre efficacement, afin de retrouver le soutien des citoyens européens; se félicite de l'action de la Commission concernant les "20 principaux sujets de préoccupation" qui découlaient de la résolution du 20 mai 2010, en ce qu'il s'agit d'une première démarche utile; invite la Commission à présenter les "20 principales solutions", comme l'a proposé le forum du marché unique de Cracovie, à chacune de ces sources de frustration;

The reason for combining these amendments into a single recital are two-fold; firstly, it allows the obligations of due diligence and the prohibition to be clearly stated, in one place and in a logical order; in addition, it brings together due diligence and the prohibition with the phrase 'to facilitate compliance', which accurately embodies the relationship between these two complementary, but separate, components of the regulation.
Ces amendements ont été regroupés pour deux raisons: la première est de préciser à un seul endroit et dans un ordre logique les obligations liées au système de diligence raisonnable ainsi que les interdictions; la deuxième est de regrouper la notion de diligence raisonnable et l'interdiction avec l'expression "respect de la législation", qui concrétise la relation entre ces deux éléments complémentaires, mais distincts, du règlement.