Translation of "formal definition" to Portuguese language:
Examples (External sources, not reviewed)
| 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. |
Related searches : Basic Definition - Job Definition - Broader Definition - Term Definition - Problem Definition - Definition Phase - Comprehensive Definition - Task Definition - Clear Definition - Market Definition - Business Definition - Goal Definition
