Vertaling van "first order logic " (Engels → Nederlands) :

TERMINOLOGIE

first order logic | first-order predicate calculus | first-order predicate logic | predicate calculus | predicate logic | FOPL,FOPC [Abbr.]
predikatenlogica | predikatenrekening

first order decay | first order decay function | first order decay method | FOD method [Abbr.]
eerste-ordeafname

second order logic | second-order predicate calculus | second-order predicate logic
tweede orde logica | tweede orde predikatenlogica | tweede orde predikatenrekening

IN-CONTEXT TRANSLATIONS

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. dringt aan op de volledige tenuitvoerlegging van de gezamenlijke verklaringen inzake betalingskredieten en pleit ervoor dat het Parlement, de Raad en de Commissie aan het eind van de begrotingsprocedure-2015 een betalingsplan overeenkomen; is van mening dat dit een teken zou zijn dat de drie instellingen werkelijk streven naar een oplossing voor het probleem van openstaande rekeningen; herinnert aan de verbintenis om in de loop van dit jaar ten minste drie interinstitutionele bijeenkomsten te beleggen over de betalingsproblematiek, teneinde de balans te kunnen opmaken van de uitgevoerde betalingen en de bijgestelde prognoses; verwacht dat de eerste van deze bijeenkomsten in maart 2015 een eerste overzicht zal opleveren van de omvang van de eind 2014 voor de voornaamste beleidsterreinen nog openstaande rekeningen; betreurt dat de omvang van de onbetaalde rekeningen voor alleen de cohesieprogramma's over de periode 2007-2013, zoals was voorspeld, eind 2014 het historische record van 24,7 miljard heeft bereikt; betreurt dat deze schuld de geloofwaardigheid van de EU ondermijnt en in tegenspraak is met de doelstellingen die op het hoogste politieke niveau zijn vastgesteld voor groei en werkgelegenheid; wijst erop dat betalingen het directe en logische gevolg zijn van in het verleden aangegane verplichtingen;

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. dringt aan op de volledige tenuitvoerlegging van de gezamenlijke verklaringen inzake betalingskredieten en pleit ervoor dat het Parlement, de Raad en de Commissie aan het eind van de begrotingsprocedure-2015 een betalingsplan overeenkomen; is van mening dat dit een teken zou zijn dat de drie instellingen werkelijk streven naar een oplossing voor het probleem van openstaande rekeningen; herinnert aan de verbintenis om in de loop van dit jaar ten minste drie interinstitutionele bijeenkomsten te beleggen over de betalingsproblematiek, teneinde de balans te kunnen opmaken van de uitgevoerde betalingen en de bijgestelde prognoses; verwacht dat de eerste van deze bijeenkomsten in maart 2015 een eerste overzicht zal opleveren van de omvang van de eind 2014 voor de voornaamste beleidsterreinen nog openstaande rekeningen; betreurt dat de omvang van de onbetaalde rekeningen voor alleen de cohesieprogramma's over de periode 2007-2013, zoals was voorspeld, eind 2014 het historische record van 24,7 miljard heeft bereikt; betreurt dat deze schuld de geloofwaardigheid van de EU ondermijnt en in tegenspraak is met de doelstellingen die op het hoogste politieke niveau zijn vastgesteld voor groei en werkgelegenheid; wijst erop dat betalingen het directe en logische gevolg zijn van in het verleden aangegane verplichtingen;

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. Veilingen voor standaard capaciteitsproducten volgen een logische volgorde waarin producten die betrekking hebben op jaarlijkse capaciteit het eerst worden aangeboden, gevolgd door het product met de volgende kortste capaciteitsduur voor gebruik gedurende dezelfde periode.

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. is van mening dat de Commissie, nu zij de problemen in verband met de interne markt in kaart heeft gebracht, de volgende logische stap moet zetten, namelijk de daadwerkelijke invulling van de interne markt consolideren en manieren vinden om de steun van de Europese burger terug te winnen; is ingenomen met het werk van de Commissie aan "de twintig belangrijkste zorgpunten", dat voortvloeit uit de resolutie van 20 mei 2010, en meent dat dit een nuttige eerste stap is; verzoekt de Commissie om nu ook met een "Top 20 van belangrijkste oplossingen" voor deze frustratiebronnen te komen, zoals voorgesteld tijdens het Forum over de interne markt in Krakau;

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.
Er zijn twee redenen om deze amendementen in een enkele overweging te combineren. In de eerste plaats leidt dit tot een duidelijker informatie van de zorgvuldigheids- en verbodsverplichtingen. In de tweede plaats worden zorgvuldigheid en verbod hier in één zin gecombineerd met de zinsnede "om de naleving van dit verbod te bevorderen", waardoor de betrekking tussen deze aanvullende, maar afzonderlijke, onderdelen van de verordening duidelijk wordt geformuleerd.