Exemplos de uso de "algebraische spezifikation" em alemão com tradução para o russo

<>
Aber was wir vorschlagen möchten ist, dass die höchsten Ebenen der Abstraktion, Dinge wie Mathematik, EDV, Logik und so weiter, all das soll nicht nur durch pure kopflastige algebraische und symbolische Methoden angegangen werden, sondern buchstäblich durch das Spielen mit Ideen. Но мы хотим предложить, чтобы высочайшие уровни абстракции, такие вещи как математика, логика, информатика и т.д., могли изучаться и рассматриваться не только путём чисто интеллектуальных алгебраических символических методов, но буквально, физически, путём игры с этими идеями.
Es ist eine präzise Spezifikation mit präziser formaler Sprache, die Mathematica wissen lässt, was hier zu tun ist. Это - точное описание на точном формальном языке, и оно позволяет пакету Mathematica узнать, что надо делать.
Auch die Einrichtung der Institutionen verlangt ein großes Maß von Spezifikation. Институциональное устройство также имеет множество своих элементов специфики.
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.

O que é tradução em contexto no PROMT.One

A seção «Exemplos» do PROMT.One é a sua ferramenta de tradução em contexto, que ajuda você a encontrar exemplos reais de uso de palavras e expressões. Basta digitar uma palavra e o serviço mostrará a tradução em contexto — frases de fontes bilíngues em que essa palavra é usada junto com a sua tradução para o idioma de destino. Isso ajuda a compreender nuances de significado e o uso correto na fala, seja um termo raro ou uma expressão do dia a dia.

Milhões de exemplos de uso em textos reais

Milhões de exemplos de tradução são coletados automaticamente a partir de textos já traduzidos: documentos, sites, livros, diálogos de filmes e muito mais. Assim, você pode ver uma palavra em diferentes situações — desde um estilo formal e profissional até a linguagem coloquial. Para maior comodidade, os resultados podem ser filtrados por tradução específica ou por tema, e você também pode pesquisar dentro dos exemplos encontrados para destacar rapidamente o contexto de que precisa.

Como a tradução em contexto ajuda no aprendizado de idiomas

Ao usar a seção «Contextos», você expande seu vocabulário de forma eficiente. O serviço mostra claramente como expressões idiomáticas, verbos frasais e palavras com vários significados são traduzidos em diferentes contextos. Isso facilita o aprendizado de idiomas: você memoriza novas palavras levando em conta o uso real e vê imediatamente uma tradução correta em uma linguagem viva e autêntica. Aproveite os recursos de tradução em contexto do PROMT.One — aprender um idioma fica mais fácil e muito mais interessante!

PROMT Professional NMT

PROMT Professional NMT

Experimente um tradutor offline em seu computador ou laptop

BAIXAR

PROMT Master NMT

PROMT.One Agent

Traduza onde quiser

TESTE GRÁTIS