Ejemplos de uso de "first-order logic" en inglés con traducción al francés

<>
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.
Más
Los ejemplos del uso de palabras en diferentes contextos se proporcionan únicamente con fines lingüísticos, es decir, para estudiar el uso de palabras en un idioma y sus opciones de traducción a otro. Están recopilados automáticamente de fuentes abiertas utilizando tecnología de búsqueda basada en datos bilingües. Si encuentras un error ortográfico o de puntuación en el original o en la traducción, utiliza la opción "Informar de un problema" o escríbenos.

Qué es la traducción en contexto en PROMT.One

La sección «Contextos» de PROMT.One es tu herramienta de traducción en contexto, que te permite encontrar ejemplos reales de uso de palabras y expresiones. Solo tienes que introducir una palabra y el servicio mostrará su traducción en contexto: oraciones extraídas de fuentes bilingües donde esa palabra aparece junto con su traducción al idioma de destino. Esta función ayuda a comprender los matices de significado y el uso correcto en el discurso, tanto si se trata de un término poco frecuente como de una expresión cotidiana.

Millones de ejemplos de uso procedentes de textos reales

Millones de ejemplos de traducción se recopilan automáticamente a partir de textos ya traducidos: documentos, sitios web, libros, diálogos de películas, etc. Gracias a ello, puedes ver una palabra en distintas situaciones, desde un estilo formal y profesional hasta el lenguaje coloquial. Para mayor comodidad, los resultados pueden filtrarse por una traducción específica o por tema, y también puedes buscar dentro de los ejemplos encontrados para destacar rápidamente el contexto que necesitas.

Cómo ayuda la traducción en contexto a aprender un idioma

Al utilizar la sección «Contextos» amplías de forma eficaz tu vocabulario. El servicio muestra claramente cómo se traducen en distintos contextos los modismos, los verbos frasales y las palabras polisémicas. Esto facilita el aprendizaje de idiomas: memorizas las palabras nuevas teniendo en cuenta su uso real y ves al mismo tiempo una traducción correcta en un lenguaje vivo y auténtico. Aprovecha las posibilidades de la traducción en contexto de PROMT.One: aprender un idioma será más fácil y motivador.

PROMT Professional NMT

PROMT Professional NMT

Pruebe un traductor sin conexión en su computadora o portátil

DESCARGAR

PROMT Master NMT

PROMT Master NMT

Traduce documentos

DESCARGAR