来自专业的译者、企业、网页和免费的翻译库。
some examples of other well-known calculi are propositional calculus, calculus of variations, lambda calculus, and process calculus.
Μερικά παραδείγματα άλλων γνωστών λογισμών είναι ο προτασιακός λογισμός (propositional calculus), ο λογισμός των μεταβολών (calculus of variations) και ο Λογισμός λάμδα.
it should be recalled that the spoken language, in forms very close to our propositional language, has existed for at least thirty thousand years, whereas the written language only emerged three or four thousand years ago.
Ας θυμηθούμε ότι ο ομιλούμενος λόγος, υπό μορφές πολύ κοντινές με τον προτασιακό μας λόγο, υπάρχει εδώ και τριάντα χιλιάδες χρόνια, ενώ ο γραπτός λόγος φαίνεται πως δεν εμφανίσθηκε παρά μόνο πριν από τρεις ή τέσσερις χιλιάδες χρόνια.
the concept of creating a propositional calculus for quantum logic was first outlined in a short section in von neumann's 1932 work, but in 1936, the need for the new propositional calculus was demonstrated through several proofs.
Η ιδέα της δημιουργίας ενός προτασιακού λογισμού για την κβαντική λογική ήταν η πρώτη που περιγράφεται σε ένα μικρό τμήμα το 1932 το έργο του φον Νόιμαν.Αλλά το 1936, η ανάγκη για το νέο προτασιακό λογισμό αποδείχθηκε μέσω διάφορων αποδείξεων.
