Примеры употребления "лемма Шварца" в русском с переводом на английский

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

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

Теперь мы покажем, как эта лемма может быть применена для доказательства основной теоремы. Now, we show how this lemma can be used to prove our main theorem.

Ричард Инсонья (Richard Insogna), полицейский, который остановил Шварца и его жену, когда те прибыли к месту следования, заявил, что остановил супругов, поскольку считал, что Шварц «зачем-то пытался привлечь его внимание». Richard Insogna, the officer who stopped Swartz and his wife when they arrived at their destination, claimed he pulled the couple over because he believed Swartz was “trying to get my attention for some reason.”

Лемма 5 не может быть обобщена на произвольные артиновы кольца. Lemma 5 cannot be generalized to arbitrary artinian rings.

Джон Шварц (John Swartz) и его жена Джуди Мейтон-Шварц (Judy Mayton-Swartz) подали в суд на двух полицейских, арестовавших Шульца в мае 2006 года за то, что он жестом «послал» полицейского, который стоял с радаром на перекрестке в городке Сейнт-Джонсвилл (St. Johnsville) в штате Нью-Йорк. Затем, в соответствии с законом штата, Шварца обвинили в нарушении общественного порядка. Однако обвинения были сняты на основании нарушения права обвиняемого на безотлагательное решение в суде. John Swartz and his wife Judy Mayton-Swartz had sued two police officers who arrested Swartz in May 2006 after he flipped off an officer who was using a radar device at an intersection in St. Johnsville, N.Y. Swartz was later charged with a violation of New York’s disorderly conduct statute, but the charges were dismissed on speedy trial grounds.

Лемма 5 не обобщается на случай произвольных артиновых колец. Lemma 5 cannot be generalized to arbitrary artinian rings.

Переданные материалы оказались на столе у Стивена Хейманна (Stephen Heymann), жесткого прокурора по киберпреступлениям, который позднее получит сомнительную известность, преследуя интернет-активиста Аарона Шварца (Aaron Swartz). It fell on the desk of Stephen Heymann, a tough cybercrime prosecutor who would later gain notoriety for his pursuit of Internet activist Aaron Swartz.

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

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

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

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

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

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

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

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

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

01.03.2026

PROMT Expert NMT

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

СКАЧАТЬ

PROMT Master NMT

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

СКАЧАТЬ