Übersetzung für 'πρώτης τάξης' von Griechisch nach Deutsch

πρώτης τάξης {adj}

klasse [ugs.]

• Όταν η εξαεδρική φάση Β σχηματίζεται από τη σμηκτική φάση Α κατά την ψύξη, γίνετε μέσω μιας πρώτης τάξης φάση μετασχηματισμού.
• Η αρχή αυτή επιτρέπει τις αληθινές πρώτης τάξης δηλώσεις για το R να ερμηνευθούν εκ νέου ως αληθινές πρώτης τάξης δηλώσεις στο *R.
• Η αναλογία αυτή εφαρμόστηκε στα κατάλοιπα από τα μοντέλα παλινδρόμησης και είναι κοινώς γνωστή ως στατιστική Ντούρμπιν-Γουότσον για τον έλεγχο της μηδενικής υπόθεσης ότι τα λάθη είναι σειριακά ανεξάρτητα έναντι της εναλλακτικής ότι ακολουθούν μία σταθερή πρώτης τάξης αυτοπαλινδρόμηση.
• Στην πληροφορική, κλείσιμο (αγγλ: "closure") ονομάζεται μια συνάρτηση πρώτης τάξης με ελεύθερες μεταβλητές που έχουν δεσμευτεί στο λεκτικό περιβάλλον.
• Ο όρος "συνέχειες" μπορεί επίσης να σημαίνει "συνέχειες πρώτης τάξης", οι οποίες είναι σχήματα κώδικα που επιτρέπουν σε μια γλώσσα προγραμματισμού να αποθηκεύει την κατάσταση του υπολογισμού σε κάποιο σημείο και να μπορεί αργότερα, σε κάποιο άλλο σημείο του προγράμματος, να επιστρέφει σε αυτήν.

• Σε γράμμα του στον φίλο του Ντιάκοβ στις 8 Ιουλίου 1942, ο Λερ αποκάλεσε τη μετάθεσή του «υποβιβασμό» και χαρακτήρισε τη νέα του θέση στα Βαλκάνια "«κηδεία πρώτης τάξης»".
• Στη Haskell, "μια συνάρτηση είναι μέλος πρώτης τάξης" της γλώσσας προγραμματισμού.
• Η Lua υλοποιεί ορισμένα προχωρημένα χαρακτηριστικά όπως οι συναρτήσεις πρώτης τάξης, η συλλογή απορριμμάτων, τα κλεισίματα, η σωστή αναδρομή ουράς, ο εξαναγκασμός τύπων (coercion) (αυτόματη μετατροπή μεταξύ συμβολοσειρών και αριθμών στο χρόνο εκτέλεσης), οι συρρουτίνες (συνεργατική πολυδιεργασία) και η δυναμική φόρτωση μονάδων κώδικα (modules).
• Ο Υπολοχαγός Γκερντ Πλέις, ο αρχηγός της διμοιρίας της οποία οι άνδρες κατέλαβαν το υψηλότερο σημείο, παρασημοφορήθηκε με τον Σταυρό των Ιπποτών του Σιδηρού Σταυρού, την ανώτατη γερμανική επιβράβευση για την ανδρεία στο πεδίο της μάχης. Επιπλέον, 14 ακόμα μέλη της KGW παρασημοφορήθηκαν με τον Σιδηρούν Σταυρό Πρώτης Τάξης.
• Για τη λογική πρώτης τάξης, οι συμπερασματικοί κανόνες χρειάζονται για τους λογικούς ποσοδείκτες.

• Το Φριτάουν έχει λιμάνι πρώτης τάξης.
• Από τη δημοσίευση του πρώτου τόμου του "Principia Mathematica", προβλήθηκε ο ισχυρισμός ότι τα περισσότερα ή ακόμα όλα τα μαθηματικά θεωρήματα μπορούν να παραχθούν με τη χρήση ενός εύστοχα σχεδιασμένου συνόλου αξιωμάτων για τη θεωρία συνόλων, επαυξημένου με πολλούς ορισμούς, χρησιμοποιώντας την λογική πρώτης τάξης ή δεύτερης.Για παράδειγμα, ιδιότητες των φυσικών και πραγματικών αριθμών μπορούν να προκύψουν μέσα από τη θεωρία συνόλων, καθώς το κάθε σύστημα αριθμών μπορεί να ταυτοποιηθεί με ένα σύνολο από κλάσεις ισοδυναμίας κάτω από την κατάλληλη σχέση ισοδυναμίας της οποίας το πεδίο είναι κάποιο άπειρο σύνολο.
• Ωστόσο, πρώτης-τάξης κατηγορηματικές λογικές δεν διευρύνονται από συγκεκριμένα αξιώματα με σκοπό να γίνουν αριθμητικά τυπικά συστήματα συνεπή και πλήρη.