Exemplos de uso de "обосновывать" em russo com tradução "prove"
Мы говорим, что наши теоретические алгебраические структуры подчиняются множеству аксиом (например, аксиомам полей и полного упорядочивания), что позволяет успешно их обосновывать при доказательстве теорем.
We define our theoretical algebraic structures to obey lots of axioms (like the field axioms, and total ordering) which make it possible to reason about them efficiently in the proving of theorems.
Os exemplos de uso de palavras em diferentes contextos são dados só para fins linguísticos, ou seja, para estudar o uso de palavras numa língua e as suas traduções para outra. Todos os exemplos são colecionados automaticamente em fontes abertas usando tecnologia de pesquisa de dados bilíngues. Se você encontrar algum erro de ortografia, pontuação ou outro erro no texto original ou na tradução, use a opção "Reportar um erro" ou escreva para nós.
Nesta seção, você pode ver como palavras e expressões são usadas em diferentes contextos usando exemplos de traduções feitas por profissionais. A seção Contextos o ajudará a aprender inglês, alemão, espanhol e outros idiomas. Aqui você pode encontrar exemplos com verbos frasais e idiomas em textos que variam em estilo e tema. Exemplos podem ser classificados por traduções e tópicos.
Aprenda línguas estrangeiras, veja a tradução de milhões de palavras e expressões e use-as em sua comunicação por e-mail.
Anuncie