プロの翻訳者、企業、ウェブページから自由に利用できる翻訳レポジトリまで。
the compactness theorem states that a set of sentences s is satisfiable if every finite subset of s is satisfiable.
Το θεώρημα της συμπαγείας (compactness theorem) δηλώνει ότι ένα σύνολο από προτάσεις s είναι ικανοποιήσιμο αν κάθε πεπερασμένο υποσύνολό του είναι ικανοποιήσιμο.
however, a different notion of compactness altogether had also slowly emerged at the end of the 19th century from the study of the continuum, which was seen as fundamental for the rigorous formulation of analysis.
Ωστόσο, μια διαφορετική έννοια της συμπάγειας είχε σιγά-σιγά αναδυχθεί στα τέλη του 19ου αιώνα από τη μελέτη του συνεχές, η οποία θεωρήθηκε ως θεμελιώδους σημασίας για την αυστηρή διατύπωση της ανάλυσης.
compactness in this more general situation plays an extremely important role in mathematical analysis, because many classical and important theorems of 19th century analysis, such as the extreme value theorem, are easily generalized to this situation.
Συμπαγές σε αυτή την γενικότερη κατάσταση παίζει έναν εξαιρετικά σημαντικό ρόλο στην μαθηματική ανάλυση, επειδή πολλά κλασικά και σημαντικά θεωρήματα της ανάλυσης του 19ου αιώνα, όπως το θεώρημα ακραίας τιμής, είναι εύκολα γενικευμένη σε αυτή την κατάσταση.
it follows from the compactness theorem and the upward löwenheim–skolem theorem that it is not possible to characterize finiteness or countability, respectively, in first-order logic.
Προκύπτει από τα compactness theorem και το upward löwenheim–skolem theorem ότι είναι αδύνατο να χαρακτηρισεις το κατά πόσο είναι πεπερασμένο ή άπειρο ή την μετρησιμότητα , αντίστοιχα, σε πρώτης τάξης λογική.
in order to increase the probability of satisfying the specifications of sections 1.1 to 1.4, the compactness shall be studied not only by an appropriate choice of mixing temperature, but also by an appropriate number of passings and by the choice of compacting vehicle.
Για να υπάρχουν μεγαλύτερες πιθανότητες να τηρηθούν οι προδιαγραφές των σημείων 1.1 έως 1.4, εκτός από τη θερμοκρασία του μείγματος πρέπει να μελετηθεί δεόντως ο αριθμός των κυλίσεων και το είδος του οδοστρωτήρα.