формальная система oor Grieks

формальная система

Vertalings in die woordeboek Russies - Grieks

Τυπικό σύστημα

τυπικό σύστημα

onsydig

Soortgelyke frases

Формальные системы
Μεταγλώσσα

voorbeelde

Существуют разные версии о введении полярных координат в качестве формальной системы координат.
Υπάρχουν διάφορες πηγές με θέμα την εισαγωγή των πολικών συντεταγμένων ως μέρος ενός επίσημου συστήματος συντεταγμένων.

Формальная система используется для вывода некоторого выражения из (одного или более) других выражений.
Ένα τυπικό σύστημα χρησιμοποιείται για να παράγει μια έκφραση από μια ή περισσότερες άλλες εκφράσεις που διατυπώνονται ως υποθέσεις.

Формально, это система позволяет Америке регистрировать и отслеживать обладателей визы - не граждан США, пребывающих из беспокойных стран.
Τεχνικά είναι ένα σύστημα που επιτρέπει στην Εθν. Ασφάλεια, να καταγράψει και να παρακολουθεί κατόχους βίζας, από χώρες ενδιαφέροντος.

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

Посвящение может быть сравнено с заявлением на вечную жизнь в новой системе Бога; формальный обряд крещения является, так сказать подтверждением этого факта перед свидетелями (Иоанна 12:31; Евреям 11:13).
Έτσι, η αφιέρωση μπορεί να παραβληθεί με αίτηση για αιώνια ζωή στο νέο σύστημα του Θεού, και η επίσημη τελετή του βαφτίσματος είναι ουσιαστικά η απόδειξη ενώπιον μαρτύρων που επιβεβαιώνει το γεγονός αυτό.

Взаимодействующие последовательные процессы (англ. communicating sequential processes, CSP) — формальный язык для описания моделей взаимодействия в параллельных системах.
Στην επιστήμη υπολογιστών, οι Επικοινωνούσες Ακολουθιακές Διεργασίες (Communicating Sequential Processes ή CSP) είναι μια τυπική γλώσσα για την περιγραφή τρόπων αλληλεπίδρασης σε ταυτόχρονα συστήματα.

На практике CSP применялась в качестве инструмента формальной спецификации систем с параллелизмом (concurrency), таких как, например, транспьютера T9000 или безопасной системы электронной коммерции.
Η CSP έχει εφαρμοστεί στην πράξη στη βιομηχανία λογισμικού, σαν εργαλείο για την τυπική προδιαγραφή και επαλήθευση χαρακτηριστικών ταυτοχρονισμού διάφορων συστημάτων, όπως ο Transputer T9000, και ένα ασφαλές σύστημα ηλεκτρονικού εμπορίου.