Примеры употребления "first-order logic" в английском с переводом на французский

Выберите исходный язык

Выберите язык перевода

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.

Примеры употребления слов в разных контекстах предоставляются исключительно в лингвистических целях, т. е. для изучения употребления слов в одном языке и вариантов их перевода на другой. Все образцы собраны автоматически из открытых источников с помощью технологии поиска на основе двуязычных данных. Если вы обнаружили орфографическую, пунктуационную или иную ошибку в оригинале или переводе, используйте опцию "Сообщить о проблеме" или напишите нам

Что такое перевод в контексте на PROMT.One

Раздел «Контексты» на PROMT.One – это ваш переводчик в контексте, позволяющий находить реальные примеры употребления слов и фраз. Просто введите слово, и сервис покажет перевод в контексте – предложения из двухъязычных источников, где это слово используется с переводом на нужный язык. Такая функция поможет понять нюансы значения слова и правильное употребление в речи, будь то редкий термин или распространенная фраза.

Миллионы примеров употребления из реальных текстов

Миллионы примеров перевода собраны автоматически из уже переведенных текстов: документов, веб-сайтов, книг, диалогов из фильмов и др. Благодаря этому вы увидите слово в разных ситуациях – от официально-делового стиля до разговорного сленга. Для удобства результаты можно фильтровать по конкретному переводу или тематике, а также выполнять поиск внутри найденных примеров, чтобы быстро выделить нужный контекст.

Как контекстный перевод помогает изучать язык

Используя раздел «Контексты», вы эффективно расширяете свой словарный запас. Сервис наглядно показывает, как переводятся идиомы, фразовые глаголы и многозначные слова в разных контекстах. Это упрощает изучение языков: вы запоминаете новые слова с учетом их реального употребления и сразу видите грамотный перевод в живой речи. Пользуйтесь возможностями контекстного перевода от PROMT.One – учить язык станет еще легче и интереснее!

Цифровая эволюция перевода: как вузам бесплатно получить CAT-систему PROMT Translation Factory

18 февраля 2026 года прошел очередной вебинар, посвященный Академической программе компании PROMT для представителей высших учебных заведений. Вебинар провела Наталья Железняк, руководитель лингвистич

01.03.2026

PROMT Expert NMT

Переводчик для переводчиков

СКАЧАТЬ

PROMT Master NMT

Точный переводчик документов без ограничений

СКАЧАТЬ