Примеры употребления "доведення" в украинском с переводом "доказательство"

<>
Нижче наведено алгоритм без доведення. Ниже приведён алгоритм без доказательства.
Відшукання підходів для формального доведення. Предложение подходов для формального доказательства.
Що НОВОГО: перекладено тягар доведення. Что НОВОГО: переложено бремя доказательства.
Поклав початок теорії математичного доведення. Положил начало теории математического доказательства.
Доведення здійснюватимемо методом математичної індукції. Доказательство проведем методом математической индукции.
Структура доведення (теза, аргумент, демонстрація). Элементы доказательства (тезис, аргумент, демонстрация).
Проведемо доведення методом від протилежного. Проведем доказательство методом от противного.
Начерк доведення для евклідових кілець Набросок доказательства для евклидовых колец
Доведення теореми дуже довге і заплутане. Доказательство теоремы очень длинно и запутано.
Доведення Справжність підпису доводиться наступним чином. Доказательство Подлинность подписи доказывается следующим образом.
Доведення існування легко провести за індукцією. Доказательство существования легко провести по индукции.
Також існує доведення для випадку мультивсесвіту. Также существует доказательство для случая мультивселенной.
(Ідея викладеного нижче доведення належить Брауеру [1]) (Идея изложенного ниже доказательства принадлежит Брауэру [1])
Для доведення другої частини теореми використовується така лема: Вторая часть теоремы требует для доказательства следующую лемму:
Примеры употребления слов в разных контекстах предоставляются исключительно в лингвистических целях, т. е. для изучения употребления слов в одном языке и вариантов их перевода на другой. Все образцы собраны автоматически из открытых источников с помощью технологии поиска на основе двуязычных данных. Если вы обнаружили орфографическую, пунктуационную или иную ошибку в оригинале или переводе, используйте опцию "Сообщить о проблеме" или напишите нам

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

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

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

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

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

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