Translation of "formal rules" to Portuguese language:
Dictionary English-Portuguese
Formal - translation :
Examples (External sources, not reviewed)
| For instance , while formal laws and rules are easier to measure , informal rules and practices may be just as important . | Por exemplo , as leis e regras formais são mais fáceis de medir , mas as regras e práticas informais podem ser igualmente importantes . |
| Aside from formal rules, there are cultural taboos against the consumption of some animals. | Os tabus culturais contra o consumo de alguns animais podem ser creditados à sua função de animal de estimação. |
| In 1959, though there were still no formal guidelines governing the awards, several rules were instated which thereafter became traditional. | Em 1959, apesar de ainda não existirem guias formais governando os prêmios, várias regras foram instaladas que desde então se tornaram tradicionais. |
| The notion of a formal grammar may be closer to the intuitive concept of a language, one described by syntactic rules. | A noção de uma gramática formal pode estar mais perto do conceito intuitivo de uma linguagem , que é descrita por regras sintáticas. |
| 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. |
| Thus, an axiom is an elementary basis for a formal logic system that together with the rules of inference define a deductive system. | 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. |
| These formal terms are manipulated by the rules of mathematics and logic, and any results are interpreted or translated back into the problem domain. | Esses termos formais são manipulados pelas regras da matemática e da lógica, e quaisquer resultados são então interpretados ou traduzidos de volta ao domínio do problema. |
| 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. |
| 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 contributed to the shaping of the relevant rules in the context of both the preparatory discussions in the appropriate EU committees and formal consultations . | O BCE deu o seu contributo para a formulação das respectivas regras , no contexto quer das discussões preparatórias nos comités europeus apropriados , quer de consultas formais . |
| In mathematics, the term syntax is also used to refer to the rules governing the behavior of mathematical systems, such as formal languages used in logic. | O termo sintaxe também é usado para referir o estudo das regras que regem o comportamento de sistemas matemáticos, como a lógica, e as linguagens de programação de computadores. |
| 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. |
| 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. |
| 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 . |
| Such agreements are of a formal and standardised nature , are based on private contract or statutory law , are characterised by multiple membership and consist of one set of common rules . | São acordos de natureza formal e harmonizada , têm por base contratos privados ou uma lei 2.2 Sistemas de pagamentos de retalho de grande importância Alguns dos Princípios Fundamentais são , na perspectiva do Eurosistema , tão importantes que deveriam não só ser obrigatórios para os SPSI , como deveriam também ser observados por outros sistemas de pagamentos de grande importância da área do euro , ainda que não tenham importância sistémica . |
| No formal education, but very knowledgeable. | Não tem educação formal, mas tem muito conhecimento. |
| 8.1 Formal requirements and priority assessment | 8.1 Requisitos formais e avaliação das prioridades |
| Step 1 Assessment of formal requirements | Fase Avaliação dos requisitos formais |
| You need formal clothes to go. | Precisa ir de traje social. |
| big ginkgo leaf) on formal occasions. | grande folha de ginkgo) em ocasiões formais. |
| The Constitution of North Dakota and the North Dakota Century Code form the formal law of the state the North Dakota Administrative Code incorporates additional rules and policies of state agencies. | Cerca de metade da receita do orçamento do Dakota do Norte é gerada por impostos estaduais, sendo que o restante vem de verbas recebidas do governo federal e de empréstimos. |
| In particular this should include A formalization of all mathematics in other words all mathematical statements should be written in a precise formal language, and manipulated according to well defined rules. | Em particular este deve incluir A formalização de toda a matemática em outras palavras todos os enunciados matemáticos deveriam ser escritos em uma linguagem formal e manipulados de acordo com regras bem definidas. |
| Formal eligibility and priority assessment project compliance with the formal requirements (cf. 3.4.1) and national Tempus priorities is checked. | Ia Avaliação da elegibilidade formal e das prioridades verificação do cumprimento dos requisitos formais (ver 3.4.1) e da concordância do projecto com as prioridades nacionais identificadas para o Programa Tempus. |
| ( b ) Formal inflation targets ( annual percentage changes ) | ( b ) Objectivos formais para a inflação ( variações anuais em percentagem ) 1996 Variável objectivo ( a ) Objectivo Resultado Objectivo 1997 Resultado 1998 Objectivo |
| Pundit Many kindergarten teachers have no formal preparation. | Pundit Muitos professores de jardim de infância não têm uma preparação formal. |
| You don't have to be so formal. | Você não precisa ser tão formal. |
| I'll need to make a formal report. | Precisarei fazer um relatório formal. |
| (Uncapitalized also in the 2nd person formal). | (coisas, árvores e substantivos, respectivamente). |
| A formal request to join the L.O.O.T. | O transfeminismo oferece um novo sentido para gênero. |
| Formal Logic or The Calculus of Inference . | Formal Logic or The Calculus of Inference . |
| Although a formal language can be identified with its formulas, a formal system cannot be likewise identified by its theorems. | Embora uma linguagem formal possa ser identificada com as suas fórmulas, um sistema convencional pode não ser igualmente identificado pelos seus teoremas. |
| From a formal point of view , the ECB trusts that grouping all these rules , which are currently dispersed in various legal acts , in the draft decree law will enhance legal certainty and transparency . | JO L 373 de 21.12.2004 , p. 1 . convicto de que a reunião no projecto de decreto lei de todas estas normas , actualmente dispersas por diversos diplomas legais , contribuirá para uma maior certeza e transparência jurídicas . |
| Funds transfer system ( FTS ) a formal arrangement , based on private contract or statute law , with multiple membership , common rules and standardised arrangements , for the transmission and settlement of money obligations arising between the members . | Facilidade permanente de depósito ( deposit facility ) facilidade permanente do Eurosistema que as contrapartes podem utilizar para efectuar depósitos à ordem num banco central nacional , remunerados a uma taxa de juro fixada antecipadamente ( ver taxas de juro directoras do BCE ) . |
| Funds transfer system ( FTS ) a formal arrangement , based on private contract or statute law , with multiple membership , common rules and standardised arrangements , for the transmission and settlement of money obligations arising between the members . | Ligações entre os sistemas de liquidação de títulos ( links between securities settlement systems ) procedimentos e acordos existentes entre dois sistemas de liquidação de títulos destinados à transferência transfronteiras de títulos , através de um processo escritural . |
| Funds transfer system ( FTS ) a formal arrangement , based on private contract or statute law , with multiple membership , common rules and standardised arrangements , for the transmission and settlement of money obligations arising between the members . | As instituições sem fim lucrativo ao serviço das famílias são um sector institucional distinto de acordo com o SEC 95 , embora em estatísticas sejam frequentemente agrupados com as famílias . Financiamento da dívida dos sectores não financeiros da área do euro ( debt financing of the euro area non financial sectors ) inclui o financiamento da dívida das famílias , sociedades não financeiras e administrações públicas . |
| The lambda calculus The lambda calculus consists of a language of lambda terms, which is defined by a certain formal syntax, and a set of transformation rules, which allow manipulation of the lambda terms. | O cálculo lambda O cálculo lambda consiste de uma linguagem de termos lambda junto com uma teoria equacional (que pode também ser entendida operacionalmente). |
| There are now over 200 formal transition projects. | Existem agora mais de 200 projetos de transição formais. |
Related searches : Rules - Formal Clothes - Formal Approach - Formal Garden - Formal Definition - Formal Proceedings - Formal Setting - Formal Issues - Formal Recognition - Formal Claim - Formal Study - Formal Way - Formal Complaint
