Apprendre à traduire à partir d'exemples de traductions humaines.
Réalisées par des traducteurs professionnels, des entreprises, des pages web ou traductions disponibles gratuitement.
Επίσης, καθορίζει ένα πεδίο του λόγου που καθορίζει το εύρος των ποσοδεικτών.
it also determines a domain of discourse that specifies the range of the quantifiers.
Dernière mise à jour : 2016-03-03
Fréquence d'utilisation : 1
Qualité :
Ο Τάρσκι (1948) θέσπισε την απαλοιφή ποσοδεικτών για real-closed πεδία, αποτέλεσμα που επίσης δείχνει ότι η θεωρία πεδίων των πραγματικών αριθμών είναι αποκρίσιμο.
tarski (1948) established quantifier elimination for real-closed fields, a result which also shows the theory of the field of real numbers is decidable.
Dernière mise à jour : 2016-03-03
Fréquence d'utilisation : 1
Qualité :