Tradução de "base formal" para o idioma inglês:
Dicionário Português-Inglês
Exemplos (Fontes externas, não revisadas)
| No entanto, apenas em 1987 a CPE foi introduzida em uma base formal do Acto Único Europeu. | It was not, however, until 1987 when European Political Cooperation was introduced on a formal basis by the Single European Act. |
| Lógica formal é o estudo da inferência com conteúdo puramente formal. | Formal logic is the study of inference with purely formal content. |
| Joseph Haydn, por exemplo, ensinava contraponto usando seu resumo pessoal do trabalho de Fux e o considerava a base para a estrutura formal. | Haydn, for example, taught counterpoint from his own summary of Fux, and thought of it as the basis for formal structure. |
| 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. |
| 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. |
| Deste modo, um axioma é uma base elementar para um sistema de lógica formal que junto com as regras de inferência define um sistema dedutivo. | Thus, an axiom is an elementary basis for a formal logic system that together with the rules of inference define a deductive system. |
| 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. |
| As condições e riscos para a estabilidade bancária são acompanhados numa base sistemática , sendo apresentada uma avaliação formal , duas vezes por ano , aos órgãos de decisão do BCE . | Conditions and risks to banking stability are monitored on a systematic basis , and a formal assessment is submitted twice a year to the decision making bodies of the ECB . |
| Formal Logic or The Calculus of Inference . | Formal Logic or The Calculus of Inference . |
| 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. |
| 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. |
| 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. |
| Já esse cara parece incrivelmente formal, de certo modo. | This guy, that looks incredibly formal, in a way. |
| Essa será a primeira avaliação formal prevista no programa . | This will be the first formal review under the programme . |
| O teorema formal é escrito em linguagem bastante técnica. | The formal theorem is written in highly technical language. |
| O principal interesse de Dijkstra era a verificação formal. | From the 1970s, Dijkstra's chief interest was formal verification. |
| Ele iniciou sua educação formal no ginásio de Barmen. | He began his formal education at the Barmen Gymnasium. |
| SDL is a formal language used in computer science. | SDL is a formal language used in computer science. |
| 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. | 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. |
| Agora, entendo que o Irã nunca foi uma colônia formal. | Now, I understand that Iran was never a formal colony. |
| Seguindo esse crescimento, blogueiros tanzanianos decidiram estabelecer uma organização formal. | Following this growth, Tanzanian bloggers decided to establish a formal organization. |
| neste nível, no nível formal, mas havia o nível informal. | I d studied environment at this formal level, but there was this informal level. |
| Não precisam ir em uma oficina formal para fazê lo. | They don t necessarily even have to go into some kind of formal workshop to do it. |
| E acontece que a liberdade realmente tem uma estrutura formal. | It turns out that freedom actually has a formal structure. |
| NIELSON, H. NIELSON, F. Semantics with Applications a formal introduction . | H. Nielson and F. Nielson (2007) Semantics with Applications An Appetizer . |
| No dia seguinte, realizou se uma cerimônia formal de noivado. | On the following day, the formal betrothal took place. |
| Nem todas as suas reformas tiveram uma faceta tão formal. | Not all his reforms were of this formal kind. |
| Um sistema formal (também chamado de cálculo lógico, ou um sistema lógico) é constituído por uma linguagem formal, juntamente com um sistema dedutivo (também denominado aparato dedutivo). | A formal system (also called a logical calculus , or a logical system ) consists of a formal language together with a deductive apparatus (also called a deductive system ). |
| Background Como afirmações da teoria formal estão escritas na forma simbólica, é possível verificar mecanicamente que uma prova formal de um conjunto finito de axiomas é válida. | Background Because statements of a formal theory are written in symbolic form, it is possible to verify mechanically that a formal proof from a finite set of axioms is valid. |
| Mas não precisa ser educação formal não é baseado em conhecimento. | But it doesn't have to be formal learning it's not knowledge based. |
| Também nunca teve uma moeda oficial nem qualquer regime cambial formal . | It never had either an official currency or any formal currency regime . |
| As obras de Aristóteles contêm o primeiro estudo formal da lógica. | The works of Aristotle contain the earliest known formal study of logic. |
| A lógica formal moderna segue e amplia o trabalho de Aristóteles. | Modern formal logic follows and expands on Aristotle. |
| A educação formal é geralmente iniciada na idade de 7 anos. | The flexible curriculum is set by the Ministry of Education and the Education Board. |
| Foi ele também que iniciou a teoria formal da análise complexa. | He also introduced the concept of the Cauchy sequence, and started the formal theory of complex analysis. |
| A criatividade formal de Niemeyer é frequentemente comparada àquela de escultores. | Niemeyer's formal creativity has been compared to that of sculptors. |
| Nesta visão, a lógica se torna apenas um outro sistema formal. | In this view, logic becomes just another formal system. |
| Num sentido formal, crime é uma violação da lei penal incriminadora. | What precisely is a criminal offence is defined by criminal law of each country. |
| 1 p. 24 ...difficulties which arise in formal logic , and Chap. | 1 p. 24 ...difficulties which arise in formal logic , and Chap. |
| Os reis selêucidas tem autoridade formal, o que os Hasmoneus reconhecem. | The Seleucid kings have a formal overlordship, which the Hasmoneans acknowledged. |
| Este trabalho se tornou a primeira definição formal de Simula 67. | This paper became the first formal definition of Simula 67. |
Pesquisas relacionadas : Base Jurídica Formal - Formal - Abordagem Formal - Jardim Formal - Definição Formal - Processo Formal - Ambiente Formal - Reconhecimento Formal - Reclamação Formal - Estudo Formal - Maneira Formal - Queixa Formal - Linguagem Formal
