Translation of "definição formal" to English language:
Dictionary Portuguese-English
Examples (External sources, not reviewed)
| Este trabalho se tornou a primeira definição formal de Simula 67. | This paper became the first formal definition of Simula 67. |
| Por um abuso de definição, uma particular linguagem formal é muitas vezes considerada como sendo equipada com uma gramática formal que a descreve. | By an abuse of the definition, a particular formal language is often thought of as being equipped with a formal grammar that describes it. |
| Definição formal Expressões lambda são compostas por variáveis v1, v2, , vn símbolos abstratos λ (lambda) e . | Formal definition Definition Lambda expressions are composed of variables v1, v2, ..., vn, ... the abstraction symbols lambda 'λ' and dot '. |
| 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. | 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. |
| Classificação de 2006 da UAI Em 2006, a UAI criou uma definição formal para o termo planeta. | 2006 IAU classification The debate came to a head in 2006 with an IAU resolution that created an official definition for the term planet . |
| Definição formal Sejam formula_18 um intervalo de números reais, formula_19 e formula_20 uma função real definida em formula_21. | On one hand, the limit as goes to infinity of a sequence is simply the limit at infinity of a function defined on the natural numbers . |
| Definição formal Uma série temporal é uma sequência de realizações (observações) de uma variável ao longo do tempo. | A time series is a sequence of data points, typically consisting of successive measurements made over a time interval. |
| Na ausência de uma definição formal, um planeta passou a ser entendido como qualquer objeto grande que orbitasse o Sol. | In the absence of any formal definition, a planet came to be understood as any large body that orbited the Sun. |
| 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. | A formal definition of computation and computability, and proof that there are computationally unsolvable and intractable problems. |
| Definição Uma linguagem formal de L sobre um alfabeto Σ é um subconjunto de Σ , isto é, um conjunto de palavras sobre um alfabeto. | Definition A formal language L over an alphabet Σ is a subset of Σ , that is, a set of words over that alphabet. |
| Definição formal Autômatos Um autômato é representado formalmente por uma 5 tupla (Q,Σ,δ,q0,F), onde Q é um conjunto finito de estados. | 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 . |
| 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 . | 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 . |
| 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. | 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. |
| Lógica formal é o estudo da inferência com conteúdo puramente formal. | Formal logic is the study of inference with purely formal content. |
| 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. | 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. |
| 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 The collection of regular languages over an alphabet Σ is defined recursively as follows The empty language Ø is a regular language. |
| Quadro Definição dos sectores Sector Definição | Table Definitions of sectors Sector Definition |
| Uma prova formal é uma interpretação de uma prova matemática dentro de um sistema formal. | A formal proof is a complete rendition of a mathematical proof within a formal system. |
| E qual a definição então? A definição? | And what is the definition then? The definition? |
| Precisarei fazer um relatório formal. | I'll need to make a formal report. |
| Ligações externas Dicionário Formal Burocracia | As a result the Second Chamber became the most important. |
| Definição | Setting |
| 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. | 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. |
| 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. | 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. |
| Eu realmente detesto a escrita formal! | I utterly despise formal writing! |
| Você não precisa ser tão formal. | You don't have to be so formal. |
| Definição e ilustração Definição A definição de homomorfismo depende do tipo de estrutura algébrica a ser observada. | Definition and illustration Definition A homomorphism is a map that preserves selected structure between two algebraic structures, with the structure to be preserved being given by the naming of the homomorphism. |
| Definição Etiqueta | Tag Definition |
| Definição 1 . | 1 . MFIs |
| BE DK 1996 Definição nacional EUROSTAT 1997 Definição nacional EUROSTAT | BE DK 1996 National definition EUROSTAT 1997 National definition EUROSTAT |
| Formal Logic or The Calculus of Inference . | Formal Logic or The Calculus of Inference . |
| Como havia uma enorme diferença de tamanho entre asteroides e planetas e a enxurrada de novos descobrimentos parecia concluída depois da descoberta de Netuno em 1846, não havia uma necessidade aparente de uma definição formal. | Because there was a dramatic size gap between the asteroids and the planets, and the spate of new discoveries seemed to have ended after the discovery of Neptune in 1846, there was no apparent need to have a formal definition. |
| De fato a UAI não possui uma definição formal de asteroide, utilizando com maior frequência o termo 'planeta menor' até 2006, e preferindo os termos 'corpo menor do Sistema Solar' ou 'planeta anão' após 2006. | Indeed, the IAU has never defined the word 'asteroid' at all, having preferred the term 'minor planet' until 2006, and preferring the terms 'small Solar System body' and 'dwarf planet' after 2006. |
| Teorias formais, sistemas e provas Na lógica matemática, uma teoria formal é um conjunto de sentenças expressas em uma linguagem formal. | Formal theories, systems and proofs In mathematical logic, a formal theory is a set of sentences expressed in a formal language. |
| Definição de Etiquetas | Tag Definition |
| Permaneçam na definição. | Stick with the definition. |
| Uma definição genérica | A generic definition |
| Definição de Imagem | Image Sharpening |
| Características da definição | Features of the definition |
| Uma definição interessante. | An interesting definition. |
| Definição A definição tradicional para argumento ontológico foi dada por Immanuel Kant. | Classification The traditional definition of an ontological argument was given by Immanuel Kant. |
| Não tem educação formal, mas tem muito conhecimento. | No formal education, but very knowledgeable. |
| A formal protest note delivered to your lawyer? | A formal protest note delivered to your lawyer? |
| Nenhum deles tinha qualquer treinamento formal em ciência. | None of them had any formal science training. |
| Definições como esta são frequentemente encontradas na matemática, por exemplo, a definição formal dos números naturais diz que 0 (zero) é um número natural, e todo número natural tem um sucessor, que é também um número natural. | For example, the formal definition of the natural numbers by the Peano axioms can be described as 0 is a natural number, and each natural number has a successor, which is also a natural number. |
Pesquisas relacionadas : Formal - Definição - Abordagem Formal - Jardim Formal - Processo Formal - Ambiente Formal - Reconhecimento Formal - Reclamação Formal - Estudo Formal - Maneira Formal - Queixa Formal - Linguagem Formal
