Exemples d’usage de "first-order logic" en anglais avec traduction en français

Sélectionner la langue source

Sélectionner la langue cible

I got up earlier than usual in order to catch the first train. Je me suis levé plus tôt que d'habitude afin d'attraper le premier train.

He took the first prize. Il a touché le premier prix.

A page of history is worth a volume of logic. Une page d'histoire vaut un livre de logique.

I had my brother put this room in order. J'ai fait ranger cette pièce à mon frère.

Do you know who conquered Mt. Everest first? Sais-tu qui a conquis le mont Everest en premier ?

Russell's books should be bound in two colours, those dealing with mathematical logic in red — and all students of philosophy should read them; those dealing with ethics and politics in blue — and no one should be allowed to read them. Les livres de Russell devraient être distingués par deux couleurs : ceux qui traitent de logique mathématique en rouge (et tous les étudiants en philosophie devraient les lire), et ceux qui concernent l'éthique et la politique en bleu (et personne ne devrait être autorisé à les lire).

We must keep law and order. Nous devons garder la loi et l'ordre.

You go first. Vas-y d'abord.

Where is the logic in that? Où est donc la logique là-dedans ?

The optimal order is not 1-2-3 but 3-1-2. L'ordre optimal n'est pas 1-2-3 mais 3-1-2.

Ichiro will go to Nagoya for the first time. Ichiro ira à Nagoya pour la première fois.

It was Socrates who laid the foundation of logic. Ce fut Socrate qui posa les bases de la logique.

He put his room in order. Il a mis sa chambre en ordre.

January is the first month of the calendar. Janvier est le premier mois du calendrier.

We were unable to follow his logic. Nous étions incapables de suivre sa logique.

We will ship the product immediately after receiving your order. Nous vous expédierons le produit immédiatement après avoir reçu votre commande.

First of all, it is too expensive. Avant tout, c'est trop cher.

Mathematics is like the logic of physics. Les mathématiques sont comme la logique de la physique.

The lock must be out of order. L'antivol doit être hors d'usage.

English is not my first language. L'anglais n'est pas ma première langue.

Les exemples sont fournis uniquement à des fins linguistiques, c'est-à-dire pour étudier l'utilisation de mots dans une langue et leurs traductions dans une autre. Ils sont extraits automatiquement des sources ouvertes en utilisant des algorithmes de recherche de données bilingues. Si vous trouvez une erreur d'orthographe, de ponctuation ou autre soit dans l'original ou dans la traduction, utilisez l'option "Signaler un problème" ou écrivez-nous.

Qu’est-ce que la traduction en contexte sur PROMT.One ?

La section « Contextes » de PROMT.One est votre outil de traduction en contexte, qui vous permet de trouver de vrais exemples d’usage de mots et d’expressions. Il vous suffit de saisir un mot, et le service affichera sa traduction en contexte : des phrases issues de sources bilingues où ce mot est utilisé avec sa traduction dans la langue cible. Cette approche aide à comprendre les nuances de sens et le bon usage dans la langue, qu’il s’agisse d’un terme rare ou d’une expression courante.

Des millions d’exemples d’usage tirés de textes authentiques

Des millions d’exemples de traduction sont collectés automatiquement à partir de textes déjà traduits : documents, sites web, livres, dialogues de films, etc. Vous pouvez ainsi voir un mot dans différentes situations, allant du style formel et professionnel au langage familier. Pour plus de confort, les résultats peuvent être filtrés par traduction spécifique ou par thème, et vous pouvez également effectuer une recherche au sein des exemples trouvés afin de repérer rapidement le contexte souhaité.

Comment la traduction en contexte aide à apprendre une langue

En utilisant la section « Contextes », vous enrichissez efficacement votre vocabulaire. Le service montre clairement comment les idiomes, les verbes à particule et les mots polysémiques se traduisent dans différents contextes. Cela facilite l’apprentissage des langues : vous mémorisez les nouveaux mots avec leur usage réel et voyez immédiatement une traduction correcte dans une langue vivante et authentique. Profitez de la traduction en contexte sur PROMT.One : apprendre une langue devient plus simple et plus motivant !

PROMT Professional NMT

Essayez un traducteur hors ligne sur votre ordinateur

Télécharger

PROMT Master NMT

Traduisez des documents

Télécharger