θεωρία αναδρομής oor Duits
θεωρία αναδρομής
Vertalings in die woordeboek Grieks - Duits
Berechenbarkeitstheorie
de
Teilgebiet der theoretischen Informatik und der mathematischen Logik
Geskatte vertalings
Vertoon algoritmies gegenereerde vertalings
voorbeelde
Advanced filtering
Voorbeelde moet herlaai word.
Η θεωρία αναδρομής επίσης περιέχει τη μελέτη της γενικής υπολογισιμότητας και ορισιμότητας.
Alle betroffenen Dritten können bei der Kommission zu diesem Vorhaben Stellung nehmenWikiMatrix WikiMatrix
Για παράδειγμα, το θεώρημα μη-πληρότητας του Γκέντελ όχι μόνο αποτελεί σταθμό στη θεωρία αναδρομής και τη θεωρία αποδείξεων, αλλά και έχει οδηγήσει στο θεώρημα Λόεμπ, το οποίο είναι σημαντικό στην τροπική λογική.
Für Fahrzeuge, die einer Fahrzeugfamilie gemäß Abschnitt #.#.#. zugeordnet sind, kann die Typgenehmigung auf der Grundlage der individuellen CO#-Emissions- und Kraftstoffverbrauchswerte eines jeden Fahrzeugs der Familie erteilt werdenWikiMatrix WikiMatrix
Η διάταξη αυτή σημαίνει, με άλλα λόγια, ότι για τον υπολογισμό των ενισχύσεων που μπορούν να χορηγηθούν στις επιχειρήσεις μέχρι τέλους του 2003 πρέπει να ληφθούν υπόψη αναδρομικά τα ποσά των ενισχύσεων που έχουν χορηγηθεί όχι όμως και να θεωρηθούν αναδρομικά οι χορηγηθείσες ενισχύσεις ως παράνομες.
Es ist angezeigt, eine Höchstausfuhrerstattung bzw. eine Mindesausfuhrabgabe festzusetzenEurLex-2 EurLex-2
Οι μεταβιβαζόμενες εισφορές θεωρούνται ότι καταβλήθηκαν αναδρομικά στο φορέα που καθορίσθηκε ως αρμόδιος.
Zu diesem Zweck kann die Kommission soweit zutreffend die Faktoren in den Absätzen # und # berücksichtigenEurLex-2 EurLex-2
Στις 30 Απριλίου 1982, τα μέρη συμφώνησαν «να θεωρήσουν ότι καταργείται αναδρομικά το άρθρο 14 της συμφωνίας» (βλέπε σημείο 43).
Es soll # Mal leichter und stärker als Stahl seinEurLex-2 EurLex-2
(118) Για παράδειγμα, εάν ένα κράτος μέλος υποστηρίζει το 2018 ότι πλεονέκτημα χορηγηθέν την 31η Δεκεμβρίου 2014 θα μπορούσε να θεωρηθεί αναδρομικά ενίσχυση de minimis, το συγκεκριμένο κράτος μέλος πρέπει επίσης να αποδείξει ότι, ακόμη και αν συμπεριληφθεί η νέα αυτή ενίσχυση de minimis, δεν υπάρχει υπέρβαση του αντίστοιχου ανώτατου ορίου σε καμία από τις ακόλουθες τριετείς περιόδους: 2012-2014, 2013-2015 και 2014-2016.
Generell möchte ich die Kommission bitten, der Technologie, durch welche die intelligenten Verkehrsleit- und Fahrerunterstützungssysteme ermöglicht werden sollen, zusätzliche Impulse zu verleihen.Eurlex2019 Eurlex2019
Η Επιτροπή προτείνει επίσης να εφαρμοστεί το νέο μέτρο αναδρομικά, θεωρώντας την ημερομηνία της καταστροφής ως την ημερομηνία έναρξης της επιλεξιμότητας των δαπανών.
Vizepräsidentnot-set not-set
Κατά τη γνώμη μου, ο νόμος της 15ης Μαρτίου 2010, ο οποίος κατά την άποψη της Βελγικής Κυβερνήσεως συνάδει προς το άρθρο 13 της οδηγίας για την αδειοδότηση, δεν μπορεί να θεωρηθεί αναδρομικό μέτρο, διότι εφαρμόζεται επί δικαιωμάτων σε συχνότητες τηλεπικοινωνιών που δεν έχουν ακόμα τεθεί σε ισχύ και προβλέπει τη δυνατότητα παραιτήσεως των φορέων εκμεταλλεύσεως σε περίπτωση που τα δικαιώματά τους έχουν ήδη ανανεωθεί σιωπηρώς, αλλά δεν επιθυμούν να καταβάλουν το τέλος (27).
Keine Einwände gegen einen angemeldeten Zusammenschluss (SacheCOMP/M.#- Posco/Daewoo InternationalEurLex-2 EurLex-2
Αναδρομικά, θεωρούμε ότι είναι εκπληκτικό ότι η λέξη "nice" (=καλός) σήμαινε ανόητος και ότι η λέξη "decimate" (=αποδεκατίζω) σήμαινε ότι σκοτώνω τον έναν στους δέκα.
Die Weltorganisation für Tiergesundheit (OIE) spielt eine führende Rolle bei der Einstufung von Ländern und Gebieten nach deren BSE-Risikoted2019 ted2019
Αν όμως ευσταθούν εν προκειμένω οι ισχυρισμοί της Ισπανίας σχετικά με τη δημιουργία «απροσδόκητων κερδών» λόγω της δωρεάν κατανομής των δικαιωμάτων εκπομπής, θεωρώ ότι το αναδρομικό «κούρεμά» τους είναι δικαιολογημένο.
Extras Durchgehende FüllungEurLex-2 EurLex-2
Οι ενισχύσεις που χορηγούνται αναδρομικά δεν μπορούν να θεωρηθούν ότι περιλαμβάνουν το απαραίτητο στοιχείο του κινήτρου.
Besondere Warnhinweise und Vorsichtsmaßnahmen für die AnwendungEurLex-2 EurLex-2
Αντίθετα, η καθής θεωρεί ότι ο κανονισμός αυτός δεν έχει αναδρομικό αποτέλεσμα.
Wahre Größe erfordert OpferbereitschaftEurLex-2 EurLex-2
Η Siemens Nixdorf δεν ισχυρίζεται ότι ο κανονισμός 1288/91 θα έπρεπε να εφαρμοστεί αναδρομικά, αλλά θεωρεί τη θέσπισή του ως στοιχείο που αποδεικνύει ότι η κλάση 8471 ήταν εν πάση περιπτώσει η ενδεδειγμένη.
Ich wusste nicht, dass du Straßen kehrstEurLex-2 EurLex-2
Ομοίως, θεωρεί ότι το εμπόδιο αυτό δεν αίρεται αναδρομικά απλώς με την ελευθέρωση των ασφαλειών αυτών, την οποία αποφάσισε ο Υφυπουργός Οικονομικών.
Die gegenwärtige rechtliche und institutionelle Komplexität dieser Politikfelder muss beseitigt werdenEurLex-2 EurLex-2
190 sinne gevind in 12 ms. Hulle kom uit baie bronne en word nie nagegaan nie.