Τυπική σημασιολογία των γλωσσών προγραμματισμού
sémantique des langages de programmation
σημασιολογία oor Frans
σημασιολογία
Vertalings in die woordeboek Grieks - Frans
sémantique
fr
branche de la linguistique étudiant les signifiés
Αδιαφορώ για την σημασιολογία, θέλω απλώς να τον πιάσω.
Je me fichais de la sémantique, je veux juste attraper ce gars.
sémasiologie
Geskatte vertalings
Vertoon algoritmies gegenereerde vertalings
Soortgelyke frases
voorbeelde
Advanced filtering
Voorbeelde moet herlaai word.
Στη θεωρία των γλωσσών προγραμματισμού, η αλγεβρική σημασιολογία (algebraic semantics) μιας γλώσσας προγραμματισμού είναι μια μορφή αξιωματικής σημασιολογίας, βασισμένης σε αλγεβρικούς κανόνες που περιγράφουν και χειρίζονται τη σημασιολογία του προγράμματος με τυπικό τρόπο.
LE PRÉSIDENT DE LA RÉPUBLIQUE D'AFRIQUE DU SUDWikiMatrix WikiMatrix
Ταξινόμηση του μέρους ονομασίας, σύμφωνα με τη σημασιολογία του στην πλήρη ονομασία διόδου.
diminuer la distance entre le moteur et le capotEurLex-2 EurLex-2
Αδιαφορώ για την σημασιολογία, θέλω απλώς να τον πιάσω.
En ce qui concerne les volumes de ventes captives mentionnées à la demande ii), la Commission a noté que, jusqu’en juillet #, l’usine de tubes aujourd’hui Thomson Displays Polska Sp. Zo.o, Piaseczno, Pologne, faisait partie, avec l’usine de téléviseurs de Zyrardow, Pologne, de la même entité légale, à savoir la société TMM Polska, appartenant à son tour intégralement à la société mère Thomson SAOpenSubtitles2018.v3 OpenSubtitles2018.v3
'σε κατά μέρος τη σημασιολογία.
Tu vois cette cicatrice?OpenSubtitles2018.v3 OpenSubtitles2018.v3
Γουόλτερ, μπορούμε να αναλύουμε τη σημασιολογία αυτού όλη μέρα, αλλά ο χρόνος κυλάει.
Dis- le, je suis fichuOpenSubtitles2018.v3 OpenSubtitles2018.v3
Ταξινόμηση του μέρους της ονομασίας σύμφωνα με τη σημασιολογία (έννοιά) του στην πλήρη ονομασία δρόμου.
Je vais rentrer dans le droit cheminEurLex-2 EurLex-2
Τα πεδία που γενικά θεωρούνται ο πυρήνας της θεωρητικής γλωσσολογίας είναι η σύνταξη, η φωνολογία, η μορφολογία και η σημασιολογία.
L'avis de concours ne comporte pas de limite d'âge, mais l'attention des candidats est attirée sur le titre V, point #, de l'avis de concours, relatif à l'âge de la retraiteWikiMatrix WikiMatrix
Κύριε Πρόεδρε, από επιστημονικής απόψεως, η σημασιολογία αναγνωρίζει σήμερα την γλώσσα της διαφήμισης σαν ένα άκρως αποτελεσματικό μήνυμα.
Je suis pas cuisinièreEuroparl8 Europarl8
Η σημασιολογία τιμών αληθείας (truth-value semantics, συχνά αναφερόμενη και με τον αγγλικό όρο substitutional quantification) προτάθηκε από τη Ruth Barcan Marcus για τροπικές λογικές (modal logics) στις αρχές της δεκαετίας του 1960 και αργότερα χρησιμοποιήθηκε από τους Dunn, Belnap και Leblanc για την απλή λογική πρώτου βαθμού.
Tu veux m' emprunter un truc mettable?WikiMatrix WikiMatrix
Εσείς παίζεται με τη σημασιολογία.
• La capacité d'exécution de l'Agence a été considérablement renforcée depuis les attentats terroristes de 2001.OpenSubtitles2018.v3 OpenSubtitles2018.v3
Οι βασικές σύγχρονες προσεγγίσεις στη σημασιολογία των τυπικών γλωσσών είναι: Η μοντελο-θεωρητική σημασιολογία (model-theoretic semantics) αποτελεί το αρχέτυπο της σημασιολογικής θεωρίας της αλήθειας του Άλφρεντ Τάρσκι, που βασίζεται στο σχήμα-Τ του και είναι μια από τις βασικές ιδέες της θεωρίας μοντέλων.
Je veux pouvoir préserver la FamilleWikiMatrix WikiMatrix
Διότι, αφενός, δεν είναι σίγουρο ότι πρόκειται για την ίδια φωνολογία, για την ίδια σύνταξη, για την ίδια σημασιολογία.
Achat d'appareils dans le cadre des subventions de fonctionnement Le Conseil a approuvé les sommes recommandées pour l'achat d'appareils dans le cadre des nouvelles subventions de fonctionnement et des renouvellements accordés à la suite de concours de mars 1995 et de septembre 1995.Literature Literature
Οι γλωσσολόγοι χρησιμοποιούσαν σπάνια τυπική σημασιολογία μέχρι ο Ρίτσαρντ Μόνταγκιου έδειξε πώς η Αγγλική γλώσσα (και κάθε φυσκή γλώσσα) μπορεί να χειριστεί σαν τυπική γλώσσα.
La note attribuée en première session pour les activités artistiques, en ce compris les stages et les travaux pratiques, ayant fait l'objet d'une évaluation artistique est, pour la délibération des résultats de la seconde session d'examen, reportée à ladite sessionWikiMatrix WikiMatrix
«Λογική, Σημασιολογία, Μεταμαθηματικά»).
Ta petite bite sans vie risque de te sauver la peauWikiMatrix WikiMatrix
Λοιπόν, η σημασιολογία είναι αποθηκευμένα γεγονότα, και προσωρινές ακολουθίες αναμνήσεων.
Que t' en seras dégoûté!C' est moi qu' ai assuréOpenSubtitles2018.v3 OpenSubtitles2018.v3
" Σημασιολογία. "
Quelque chose pour les tenir dehors!OpenSubtitles2018.v3 OpenSubtitles2018.v3
Ορμώ στη σημασιολογία;
Après avoir décidé que cespropositions prendraient la forme d'une convention internationale, adopte, ce vingtième jour de juin mil neuf cent soixante-dix-sept, la convention ci-après, qui sera dénommée Convention sur le milieu de travail (pollution de l'air, bruit et vibrationsOpenSubtitles2018.v3 OpenSubtitles2018.v3
Σχετικά παραδείγματα είναι η συμβολή του στη διασύνδεση των μητρώων επιχειρήσεων στην εφαρμογή της αρχής «μόνον άπαξ» (δράση 16 για την ψηφιακή ενιαία αγορά) μέσω των δραστηριοτήτων του στον τομέα των βασικών μητρώων και στον στόχο της «ενιαίας ψηφιακής πύλης», με την εργασία του στη σημασιολογία και σε σχέση με τον κατάλογο υπηρεσιών.
°) ou ont subi le traitement visé à l'annexe VII, partie A, pointEurLex-2 EurLex-2
Κατά τη διάρκεια των δεκαετιών του '70 και του '80, ο Charles Fillmore ανάπτυξε την προσωπική του θεωρία σε αυτό που ονομαζόταν Σημασιολογία πλαισίων.
Les renseignements ont donné des informations?WikiMatrix WikiMatrix
Η δομή του μοναδικού κωδικού αναγνώρισης, όταν κωδικοποιείται σε μήτρα δεδομένων, ακολουθεί μια διεθνώς αναγνωρισμένη και τυποποιημένη σύνταξη και σημασιολογία («σύστημα κωδικοποίησης»), που καθιστά εφικτές την ταυτοποίηση και την ακριβή αποκωδικοποίηση κάθε στοιχείου δεδομένων από τα οποία αποτελείται ο μοναδικός κωδικός αναγνώρισης, με τη χρήση κοινού εξοπλισμού σάρωσης.
Art. #. KG statue pour une garderie, par implantation, sur la recevabilité du recours et en fait part au pouvoir organisateur, par lettre recommandée, dans les quinze jours suivant la réceptionEurLex-2 EurLex-2
Οι εργασίες πρέπει να συνεχιστούν σε εθελοντική βάση για την ανάπτυξη του ευρωπαϊκού νομικού σημασιολογικού ιστού που να αποσκοπεί στο να βελτιωθεί η προσβασιμότητα στις νομικές πληροφορίες και η δυνατότητα επεξεργασίας τους καθιστώντας διαλειτουργικές την ταυτοποίηση και τη σημασιολογία των νομικών δεδομένων.
En attente pour vous revenir à la maisonEurLex-2 EurLex-2
68 sinne gevind in 10 ms. Hulle kom uit baie bronne en word nie nagegaan nie.