semântica formal oor Grieks

semântica formal

Vertalings in die woordeboek Portugees - Grieks

Τυπική σημασιολογία

Semântica formal

Vertalings in die woordeboek Portugees - Grieks

Τυπική σημασιολογία των γλωσσών προγραμματισμού

voorbeelde

As principais abordagens modernas para a semântica de linguagens formais são as seguintes: Modelo da teoria semântica é um arquétipo da teoria semântica da verdade de Alfred Tarski, baseada em seu Esquema-T, e é um dos conceitos fundamentais da teoria dos modelos.
Οι βασικές σύγχρονες προσεγγίσεις στη σημασιολογία των τυπικών γλωσσών είναι: Η μοντελο-θεωρητική σημασιολογία (model-theoretic semantics) αποτελεί το αρχέτυπο της σημασιολογικής θεωρίας της αλήθειας του Άλφρεντ Τάρσκι, που βασίζεται στο σχήμα-Τ του και είναι μια από τις βασικές ιδέες της θεωρίας μοντέλων.

Em todo o caso, o primeiro argumento de carácter formal da JCB é puramente semântico e as práticas em questão integram claramente a categoria das infracções «muito graves» na acepção das orientações.
Εν πάση περιπτώσει, ο πρώτος ισχυρισμός της JCB έχει αμιγώς σημειολογικό χαρακτήρα και οι επίμαχες πρακτικές εμπίπτουν προδήλως στην κατηγορία των «πολύ σοβαρών» παραβάσεων, κατά την έννοια των κατευθυντήριων γραμμών της Επιτροπής.

A noção de validade dedutiva pode ser rigorosamente estabelecida para os sistemas de lógica formal em termos das noções bem entendidas de semântica.
Η έννοια της παραγωγικής εγκυρότητας μπορεί να αναφέρεται με αυστηρότητα για τα συστήματα της τυπικής λογικής όσο αφορά τις καλώς εννοούμενες έννοιες της σημασιολογίας.

Os métodos formais são melhor descritos como a aplicação de uma variedade bastante ampla de fundamentos teóricos da ciência da computação, em particular cálculos de lógica, linguagens formais, teoria de autômatos, e semântica do programa, mas também tipos de sistemas e tipos de dados algébricos para problemas em especificação e verificação de software e hardware.
Οι επίσημες μέθοδοι περιγράφονται καλύτερα ως εφαρμογή ενός αρκετά ευρέος φάσματος των θεωρητικών βασικών αρχών πληροφορικής,ιδίως υπολογισμοί λογικής, επίσημες γλώσσες,θεωρία αυτομάτων, και σημασιολογία προγράμματος, αλλά και συστήματα τύπων και αλγεβρικοί τύποι στοιχείων στα προβλήματα στο λογισμικό και την προδιαγραφή και την επαλήθευση υλικού.

Note que existem diferentes sistemas de lógicas formais, cada qual com seus próprios conjuntos de fórmulas bem-formadas, regras de inferências, e algumas vezes, semânticas.
Υπάρχουν πολλά διαφορετικά συστήματα τυπικής λογικής, κάθε ένα από τα οποία έχει το δικό του σύνολο από καλά ορισμένες προτάσεις, συμπερασματικούς κανόνες και, ενίοτε, σημασιολογία.

Esses URI são descritos formalmente através de modelos URI legíveis por máquina (IETF RFC 6570), utilizando componentes com um valor semântico tanto do ponto de vista jurídico como do utilizador final.
Τα URI περιγράφονται τυπικά από μηχανικώς αναγνώσιμα σχεδιότυπα URI (IETF RFC 6570), με τη χρήση στοιχείων που φέρουν σημασιολογικό περιεχόμενο τόσο από νομική σκοπιά όσο και από τη σκοπιά του τελικού χρήστη.

Esses URI (indicadores uniformizados de recursos) são descritos formalmente através de modelos URI suscetíveis de leitura ótica (IETF RFC 6570), utilizando componentes que comportam dados semânticos com sentido tanto para os juristas como para o utilizador final.
Τα URI περιγράφονται τυπικά από μηχανικώς αναγνώσιμα σχεδιότυπα URI (IETF RFC 6570), με τη χρήση στοιχείων που φέρουν σημασιολογικό περιεχόμενο τόσο από νομική σκοπιά όσο και από τη σκοπιά του τελικού χρήστη.

Esta linguagem formal expressa números naturais, declarações adição bem formadas, e igualdades adição bem formadas, mas estas exprimem apenas o que elas se parecem (sua sintaxe), não o que eles querem dizer (semântica).
Η τυπική γλώσσα αυτή περιγράφει αριθμούς, καλώς ορισμένες εκφράσεις πρόσθεσης, και καλώς ορισμένες εξισώσεις προσθέσεων, αλλά εκφράζει μόνο το πως φαίνονται (το συντακτικό τους), και όχι το τι σημαίνουν (τη σημασιολογία ή σημαντική τους).