Обучается переводу с помощью примеров, переведенных людьми.
Добавлены профессиональными переводчиками и компаниями и на основе веб-страниц и открытых баз переводов.
< - logical thinking bt1 thinking rt deductive method rt inductive method rt logic
< — κοινωνική αλληλεπίδραση ΝΤ1 σύνδεση πανεπιστημίου-βιομηχανίας ΝΤ1 σχέση γονιού-σχολείου ΝΤ1 σχέση σχολείου-κοινότητας
undecidability only implies that the particular deductive system being considered does not prove the truth or falsity of the statement.
undecidability only implies that the particular deductive system being considered does not prove the truth or falsity of the statement.
in a deductive theory, any sentence which is a logical consequence of one or more of the axioms is also a sentence of that theory.
Είναι επίσης πρόταση ή σύνολο προτάσεων που προσφέρονται ως υποθετική ερμηνεία για ένα παρατηρηθέν φαινόμενο, μια κατάσταση πραγμάτων, ή ένα γεγονός.
although the guidelines formulated by (he commission promise a certain degree of progress, they are all too often felt to be too deductive.
Αν και οι κατευθυντήριες γραμμές που διατυπώθηκαν από την Επιτροπή υπόσχονται κάποιο βαθμό προόδου, πολύ συχνά υπάρχει η αίσθηση ότι είναι υπερβολικά συμπερασματικές.
the first of these is the proof-theoretic sense used in relation to gödel's theorems, that of a statement being neither provable nor refutable in a specified deductive system.
the first of these is the proof-theoretic sense used in relation to gödel's theorems, that of a statement being neither provable nor refutable in a specified deductive system.
on the whole, it has proved very difficult to develop the 'top-down' approach appropriately, i.e. to estimate the probable regional effects of specific deregulation measures at a deductive analytical level.
Στη συνέχεια διατυπώνονται ορισμένες υποθέσεις και στον τομέα των μεταφορών.