Tradução de "formal definition" para a língua portuguesa:

Dicionário Inglês-Português

Definition - translation :

Formal - translation :

Palavras-chave : Definição Insanidade Termo Dar-me Verdadeira Formal Formais Formalmente Baile Inverno

Exemplos (Fontes externas, não revisadas)

This paper became the first formal definition of Simula 67.	Este trabalho se tornou a primeira definição formal de Simula 67.
Formal definition Definition Lambda expressions are composed of variables v1, v2, ..., vn, ... the abstraction symbols lambda 'λ' and dot '.	Definição formal Expressões lambda são compostas por variáveis v1, v2, , vn símbolos abstratos λ (lambda) e .
There is no single formal definition of what an artificial neural network is.	Este modelo de rede neural passou a ser conhecido como Máquina de Boltzmann.
By an abuse of the definition, a particular formal language is often thought of as being equipped with a formal grammar that describes it.	Por um abuso de definição, uma particular linguagem formal é muitas vezes considerada como sendo equipada com uma gramática formal que a descreve.
For alternative (equivalent) formulations of the definition in terms of a bijective function or a surjective function, see the section Formal definition and properties below.	Para formulações alternativas (equivalentes) da definição em termos de uma função bijetora ou uma função sobrejetora, veja a seção Definição formal e propriedades abaixo.
A formal definition of computation and computability, and proof that there are computationally unsolvable and intractable problems.	Esta ciência foi responsável pela definição formal de computação e computabilidade, e pela prova da existência de problemas insolúveis ou intratáveis computacionalmente.
Formal definition and basic terminology Petri nets are state transition systems that extend a class of nets called elementary nets.	Como disparos são não determinísticos, redes de Petri são muito utilizadas para modelar comportamento concorrente em sistemas distribuídos.
In the absence of any formal definition, a planet came to be understood as any large body that orbited the Sun.	Na ausência de uma definição formal, um planeta passou a ser entendido como qualquer objeto grande que orbitasse o Sol.
While formal language theory usually concerns itself with formal languages that are described by some syntactical rules, the actual definition of the concept formal language is only as above a (possibly infinite) set of finite length strings composed from a given alphabet, no more nor less.	Enquanto a teoria da linguagem formal, geralmente se preocupa com linguagens formais que são descritas por algumas regras sintáticas, a própria definição do conceito de linguagem formal é apenas como mencionado acima um (possivelmente infinito) conjunto de cadeias de tamanho finito, composto de um determinado alfabeto, nem mais nem menos.
Definition A formal language L over an alphabet Σ is a subset of Σ , that is, a set of words over that alphabet.	Definição Uma linguagem formal de L sobre um alfabeto Σ é um subconjunto de Σ , isto é, um conjunto de palavras sobre um alfabeto.
Formal definition The collection of regular languages over an alphabet Σ is defined recursively as follows The empty language Ø is a regular language.	Definição formal A coleção de linguagens regulares sobre um alfabeto Σ qualquer é definida recursivamente seguindo as regras abaixo A linguagem vazia (L Ø) é uma linguagem regular.
Formal definition Automaton A deterministic finite automaton is represented formally by a 5 tuple (Q,Σ,δ,q0,F), where Q is a finite set of states .	Definição formal Autômatos Um autômato é representado formalmente por uma 5 tupla (Q,Σ,δ,q0,F), onde Q é um conjunto finito de estados.
The notion of a homomorphism can be given a formal definition in the context of universal algebra, a field which studies ideas common to all algebraic structures.	A noção de homomorfismo pode ser dada uma definição formal no contexto de algebra universal, campo que estuda as ideias comuns a todas as estruturas algébricas.
AC and AP also allow a formal and rigorous definition of randomness of individual strings to not depend on physical or philosophical intuitions about non determinism or likelihood.	AC e AP também permitem uma definição formal e rigorosa de aleatoriedade de cadeias individuais para não depender de intuições físicas ou filosóficas sobre não determinismo ou probabilidade.
Formal logic is the study of inference with purely formal content.	Lógica formal é o estudo da inferência com conteúdo puramente formal.
The study of interpretations of formal languages is called formal semantics.	O estudo das interpretações de linguagens formais é chamado de semântica formal.
And what is the definition then? The definition?	E qual a definição então? A definição?
Formal language theory Regular expressions describe regular languages in formal language theory.	Teoria de linguagens formais Expressões regulares podem ser expressas através da teoria de linguagens formais.
Formal theories, systems and proofs In mathematical logic, a formal theory is a set of sentences expressed in a formal language.	Teorias formais, sistemas e provas Na lógica matemática, uma teoria formal é um conjunto de sentenças expressas em uma linguagem formal.
The ECB is not a signatory to the Stability and Growth Pact and it does not have a formal role in the definition and implementation of the Pact 's procedures .	O BCE não é signatário do Pacto de Estabilidade e Crescimento e não tem um papel formal na definição e na implementação dos seus procedimentos .
Definition Common definition The common definition of matter is anything that has mass and volume (occupies space) .	Definições Definições comuns A definição comum de matéria é tudo que tenha massa e volume (ocupa espaço).
Tag Definition	Definição Etiqueta
Tag Definition	Definição de Etiquetas
BE DK 1996 National definition EUROSTAT 1997 National definition EUROSTAT	BE DK 1996 Definição nacional EUROSTAT 1997 Definição nacional EUROSTAT
There are three common definitions for acids the Arrhenius definition, the Brønsted Lowry definition, and the Lewis definition.	Esta última definição, generaliza a teoria de ácidos de Arrhenius.
Conformity to formal requirements	Cumprimento dos requisitos formais
Logician and philosopher Alfred Tarski developed the theory for formal languages (such as formal logic).	O lógico e filósofo Alfred Tarski desenvolveu a teoria das linguagens formais (como lógica formal).
A formal proof is a complete rendition of a mathematical proof within a formal system.	Uma prova formal é uma interpretação de uma prova matemática dentro de um sistema formal.
The intuition behind the formal definition of cardinal is the construction of a notion of the relative size or bigness of a set without reference to the kind of members which it has.	A intuição por trás da definição formal do cardinal é a construção de uma noção do tamanho relativo ou grandeza de um conjunto sem referência ao tipo de membros que ele tem.
Goto symbol definition	Ir para definição etiqueta
Goto symbol definition	Ir para a definição do símbolo
A generic definition	Uma definição genérica
national accounts definition .	definição das contas nacionais .
4 ) Eurostat definition .	4 ) Definição do Eurostat .
Price stability definition	Estabilidade de preços ndash definição
An interesting definition.	Uma definição interessante.
I utterly despise formal writing!	Eu realmente detesto a escrita formal!
Formal eligibility and priority assessment	Elegibilidade f ormai e avaliação das prioridades
Formal requirements and priority assessment	Avaliação dos requisitos formais e das prioridades
Formal requirements and priority assessment	Requisitos formais e avaliação das prioridades
Conversely, formal arguments are studied in formal logic (historically called symbolic logic , more commonly referred to as mathematical logic today) and are expressed in a formal language.	Argumentos Formais são estudados na lógica formal (historicamente chamada lógica simbólica, mais comumente referida como lógica matemática) e são expressos em uma linguagem formal.
There's only one absolute reality by definition, one absolute being by definition, because absolute is, by definition, single, and absolute and singular.	Existe apenas uma realidade absoluta por definição, um ser absoluto por definição, porque o absoluto é, por definição, único, e absoluto e singular.
So definition number six is the North American definition of the word suck.	A sexta definição é a que usamos nos EUA para a palavra suck , ou um porre .
Formal agreements the ECOFIN Council can conclude formal agreements on an exchange rate system for the euro .	Acordos formais o Conselho ECOFIN pode concluir acordos formais relativos a um sistema cambial para o euro .
This definition of potential, while formal, has little practical application, and a more useful concept is that of electric potential difference, and is the energy required to move a unit charge between two specified points.	Essa definição de potencial, embora formal, apresenta muito poucas aplicações práticas, e um conceito muito mais útil é o conceito de diferença de potencial elétrico, que especifica a energia necessária para mover se a unidade de carga entre dois pontos em específico.

Display this page in English