Att försöka lära sig översätta från mänskliga översättningsexempel.
Från professionella översättare, företag, webbsidor och fritt tillgängliga översättningsdatabaser.
every projective algebraic set may be uniquely decomposed into a finite union of projective varieties.
Κάθε προβολικό αλγεβρικό σύνολο μπορεί να είναι αναλυθεί μοναδικά σε μια πεπερασμένη ένωση προβολικών πολλαπλοτήτων.
in mathematics, a set of simultaneous equations, also known as a system of equations, is a finite set of equations for which common solutions are sought.
Ένα σύστημα εξισώσεων είναι ένα σύνολο από περισσότερες μαθηματικές εξισώσεις που χρησιμοποιούν τους ίδιους παράγοντες ή αγνώστους.
==background==because statements of a formal theory are written in symbolic form, it is possible to verify mechanically that a formal proof from a finite set of axioms is valid.
Επειδή οι δηλώσεις μιας τυπικής θεωρίας γράφονται σε συμβολική μορφή, είναι δυνατόν να επαληθευτεί μηχανικά ότι μία τυπική απόδειξη από ένα πεπερασμένο σύνολο από αξιώματα είναι έγκυρη.
==generalizations==two generalizations of natural numbers arise from the two uses:*a natural number can be used to express the size of a finite set; more generally a cardinal number is a measure for the size of a set also suitable for infinite sets; this refers to a concept of "size" such that if there is a bijection between two sets they have the same size.
Δύο γενικεύσεις των φυσικών αριθμών προκύπτουν από τις δύο χρήσεις:*Ένας φυσικός αριθμός μπορεί να χρησιμοποιηθεί για να εκφράσει το μέγεθος ενός πεπερασμένου συνόλου: Γενικότερα ένας απόλυτος αριθμός είναι ένα μέτρο για το μέγεθος ενός συνόλου επίσης κατάλληλο για άπειρα σύνολα: αυτό αναφέρεται σε μια έννοια του "μεγέθους" τέτοια όπως, εάν υπάρχει αμφιμονοσήμαντη αντιστοιχία ανάμεσα σε δύο σύνολα που έχουν το ίδιο μέγεθος.