семантика oor Grieks

семантика

naamwoord существительное женского рода

Vertalings in die woordeboek Russies - Grieks

σημασιολογία

naamwoord vroulike

значение языковой единицы, дисциплина

Да, Шон, это семантика...
Ναι, είναι Σον, είναι σημασιολογία.

Soortgelyke frases

формальная семантика
Τυπική σημασιολογία

семантика языков программирования
Τυπική σημασιολογία των γλωσσών προγραμματισμού

voorbeelde

Это семантика.
Είναι σημασιολογικό.

Семантика.
Σημασιολογία.

Не думаю, что это семантика.
Δεν νομίζω.

Семантика значений истинности (также известная как подстановочная квантификация) была предложена Рут Маркус (англ. Ruth Barcan Marcus) для модальных логик в начале 1960-х и затем развита в трудах Дана (Michael Dunn), Белнапа (англ. Nuel Belnap) и Леблана (Hugues Leblanc) в качестве стандартной логики первого порядка.
Η σημασιολογία τιμών αληθείας (truth-value semantics, συχνά αναφερόμενη και με τον αγγλικό όρο substitutional quantification) προτάθηκε από τη Ruth Barcan Marcus για τροπικές λογικές (modal logics) στις αρχές της δεκαετίας του 1960 και αργότερα χρησιμοποιήθηκε από τους Dunn, Belnap και Leblanc για την απλή λογική πρώτου βαθμού.

Знаете, кто написал чудесную статью об Уолте Уитмане и политике семантики?
Ξέρετε ποιος δημοσίευσε ένα θεσπέσιο άρθρο... για τον Ουόλτ Γουίτμαν και την πολιτική της σημασιολογίας

Это вообще не семантика.
Δεν είναι καθόλου σημασιολογικό.

На модельно-теоретической семантике основан подход в теории смысла под названием семантика условной Истины, который впервые был предложен Дональдом Девидсоном.
Η μοντελο-θεωρητική σημασιολογία παρέχει τις βάσεις για μια προσέγγιση στη θεωρία της σημασίας που ονομάζεται σημασιολογία με συνθήκες αλήθειας (truth-conditional semantics), η οποία αρχικά μελετήθηκε από τον Donald Davidson.

Существует множество вариантов SS2PL, которые используют различные типы блокировок с различной семантикой в разных ситуациях, включая случаи изменения блокировки во время транзакции.
Υπάρχουν πολλές παραλλαγές του SS2PL οι οποίες αξιοποιούν πολλούς τύπους κλειδώματος με ποικίλες επεξηγήσεις για κάθε κατάσταση, οι οποίες περιλαμβάνουν περιπτώσεις αλλαγής τύπου κλειδώματος κατά την διάρκεια μιας συναλλαγής.

Семантика этих двух рассказов заметно различается.
Σημειολογικά, τα δυο αυτά κείμενα, έχουν πολλές διαφορές.

Вопрос семантики
Τα τσάκρα της καρδιάς σου θέλουν τριπλό μπάι- πας

Заметки по исторической семантике имени.
Η μελέτη της ιστορικής σημασιολογίας.

Еще в самом начале работы редакторы словаря и авторы статей осознали, что «для правильного отражения значения каждого слова необходимо собрать все случаи его употребления, и не просто в виде отдельных слов, а в виде текстовых фрагментов, достаточных для определения семантики слова в конкретном контексте или ситуации».
Από την αρχή ακόμα της εργασίας τους, οι εκδότες αντιλήφθηκαν ότι «για να αναδειχτεί πλήρως η σημασία μιας λέξης, πρέπει να συλλεχθούν όλες οι περιπτώσεις όπου εμφανίζεται, και να συλλεχθούν όχι ως μεμονωμένες λέξεις, αλλά με όσο συνοδευτικό κείμενο χρειάζεται ώστε να καθοριστεί η σημασία της λέξης στα συγκεκριμένα συμφραζόμενα ή στη συγκεκριμένη χρήση της».

Джеймс Гарсон (англ. James Garson) получил некоторые результаты в областях адекватности интенсиональных логик, снабжённых такой семантикой.
Ο James Garson έχει δώσει κάποια αποτελέσματα στις περιοχές σχετικά με την επάρκεια των νοηματικών λογικών (intensional logics) που έχουν τέτοια σημασιολογία.

Это креативная семантика.
Δημιουργική ερμηνεία.

Мы упираемся в семантику.
Τώρα, μπαίνεις στo νόημα.

Семантика.
" Σημασιολογία. "

Семантика.
Λεπτομέρειες.

Лингвисты редко применяли формальные семантики до тех пор, пока Ричард Монтегю не показал как можно воспринимать английский (или любой другой естественный язык) как формальный язык.
Οι γλωσσολόγοι χρησιμοποιούσαν σπάνια τυπική σημασιολογία μέχρι ο Ρίτσαρντ Μόνταγκιου έδειξε πώς η Αγγλική γλώσσα (και κάθε φυσκή γλώσσα) μπορεί να χειριστεί σαν τυπική γλώσσα.

Теоретико-доказательная семантика связывает смысл утверждений с ролями, которые они играют в рассуждении.
Η αποδεικτικο-θεωρητική σημασιολογία (proof-theoretic semantics) αντιστοιχίζει τη σημασία των προτασεων με τους ρόλους που μπορούν να παίξουν στις λογικές συνεπαγωγές.

Мы тут просто семантикой занимаемся.
Όλα αυτά είναι τυπικά.

Используя семантику нашей фамилии, он назвал ее " Вкус Солнечного Света ".
Το ονόμασε Γεύση της Λιακάδας, χρήσιμοποιώντας το επίθετό μας.

Например, Ли и Санджованни-Винсентелли показали, что так называемую модель «меченых сигналов» можно использовать для создания общей основы для описания денотационной семантики различных моделей параллелизма, а Нильсен, Сассун и Винскль показали, что теория категорий может быть использована для обеспечения единого понимания различных моделей.
Για παράδειγμα, οι Lee και Sangiovanni-Vincentelli έδειξαν ότι ένα μοντέλο "tagged-signal" μπορεί να είναι ένα κοινό πλαίσιο για τον ορισμό δηλωτικής σημασιολογίας για αρκετά μοντέλα ταυτοχρονισμού, ενώ οι Nielsen, Sassone και Winskel έδειξαν ότι η θεωρία κατηγοριών μπορεί να χρησιμοποιηθεί για να παρέχει μια παρόμοια ενοποιημένη θεώρηση διαφορετικών μοντέλων.