Примеры употребления "resolution theorem proving" в английском

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

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

The image quality is really bad - the resolution is so low. La qualité d'image est vraiment mauvaise - la résolution est si basse.

Note that this theorem does not assume the existence of such an object. Notez bien que ce théorème ne présuppose pas l'existence d'un tel objet.

A watered down compromise resolution is better than none at all. Une résolution sur un compromis restreint est préférable à rien du tout.

The final value theorem does not apply if the system is not stable. Le théorème de la valeur finale ne s'applique pas si le système n'est pas stable.

We balloted for the resolution. La résolution fut mise en ballottage.

Obviously, the theorem is true for finite sets. Évidemment, le théorème est vrai pour les ensembles finis.

This United Nations resolution calls for the withdrawal of Israel armed forces from territories occupied in the recent conflict. Cette résolution des Nations Unies appelle au retrait des forces armées israéliennes des territoires occupés dans le récent conflit.

Now, we show how this lemma can be used to prove our main theorem. Montrons maintenant comment ce lemme peut être utilisé pour démontrer notre théorème principal.

Resolution of Disputes Règlement des différends

Pythagoras' theorem says that the square of the hypotenuse is equal to the sum of the squares of the other two sides. Le théorème de Pythagore dit que dans un triangle rectangle le carré de l'hypoténuse est égal à la somme des carrés des deux autres cotés.

Security & Resolution Center Centre de sécurité et de résolution

Pythagoras' theorem allows you to calculate the length of the hypotenuse of a right triangle. Le théorème de Pythagore permet de calculer la longueur de l'hypoténuse d'un triangle rectangle.

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

В этом разделе вы можете посмотреть, как употребляются слова и выражения в разных контекстах на реальных примерах. Все примеры собраны из уже переведенных текстов: официальных документов, сайтов, журналов и диалогов из фильмов. Раздел Контексты поможет в изучении английского, немецкого, испанского, русского и других языков. Здесь вы сможете найти примеры с фразовыми глаголами, устойчивыми выражениями и многозначными словами в разнообразных по стилю и тематикам текстах Примеры можно отсортировать по переводам и тематикам, а также сделать уточняющий поиск по найденным примерам.

Изучайте иностранные языки, смотрите перевод миллионов слов и выражений, проверяйте их употребление на реальных примерах благодаря нашей технологии поиска на основе двуязычных данных!

6 Telegram-каналов для изучающих немецкий язык

Сегодня в нашей подборке Telegram-каналы для тех, кто изучает немецкий. В этот раз мы собрали небольшие по количеству подписчиков, но созданные с большой любовью к языку и регулярно обновляемые автор

22.12.2024

PROMT Expert NMT

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

СКАЧАТЬ

PROMT Master NMT

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

СКАЧАТЬ