Translation of "regras formais" to English language:
Dictionary Portuguese-English
Examples (External sources, not reviewed)
| 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 . | For instance , while formal laws and rules are easier to measure , informal rules and practices may be just as important . |
| 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. | In 1959, though there were still no formal guidelines governing the awards, several rules were instated which thereafter became traditional. |
| Cumprimento dos requisitos formais | Conformity to formal requirements |
| Teoria de linguagens formais Expressões regulares podem ser expressas através da teoria de linguagens formais. | Formal language theory Regular expressions describe regular languages in formal language theory. |
| 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 . | 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 . |
| 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. | These formal terms are manipulated by the rules of mathematics and logic, and any results are interpreted or translated back into the problem domain. |
| Fase Avaliação dos requisitos formais | Step 1 Assessment of formal requirements |
| Acordos formais o Conselho ECOFIN pode concluir acordos formais relativos a um sistema cambial para o euro . | Formal agreements the ECOFIN Council can conclude formal agreements on an exchange rate system for the euro . |
| Requisitos formais e avaliação das prioridades | Formal requirements and priority assessment |
| Mas nenhum estado apresentou reivindicações formais. | But no formal claims were made by any state. |
| Na visão moderna, um conjunto de axiomas é uma coleção de asserções formalmente estáveis das quais se seguem outras asserções formais estáveis pela aplicação de certas regras bem definidas. | In the modern understanding, a set of axioms is any collection of formally stated assertions from which other formally stated assertions follow by the application of certain well defined rules. |
| Não existem contratos, não há contratos formais. | There are no contracts, no written contracts. |
| Matemáticos gostam de caracterizar coisas sendo formais. | Mathematicians like to characterize things by being formalist. |
| 8.1 Requisitos formais e avaliação das prioridades | 8.1 Formal requirements and priority assessment |
| Avaliação dos requisitos formais e das prioridades | Formal requirements and priority assessment |
| grande folha de ginkgo) em ocasiões formais. | big ginkgo leaf) on formal occasions. |
| Existem agora mais de 200 projetos de transição formais. | There are now over 200 formal transition projects. |
| As fontes formais podem ser objeto de inúmeras classificações. | These factors are regarded as the sources of law. |
| Regras melhores, mais regras. | Better ones, more of them. |
| Requisitos formais de candidatura a uma Bolsa de Mobilidade Individual | Formal requirements for an Individual Mobility Grant application |
| Em 1961, depois da formação da WSFS para superintender cada comitê de Worldcon, regras formais foram estabelecidas na constituição da WSFS determinando que a entrega do Hugo seria uma das responsabilidade de cada comitê organizador. | In 1961, after the formation of the WSFS to oversee each Worldcon committee, formal rules were set down in the WSFS constitution mandating the presenting of the awards as one of the responsibilities of each Worldcon organizing committee. |
| Isto contrasta com a teoria das hierarquias subrecursivas, métodos formais e linguagens formais que são comuns no estudo da teoria da computabilidade na ciência da computação. | This contrasts with the theory of subrecursive hierarchies, formal methods and formal languages that is common in the study of computability theory in computer science. |
| Então, nós devemos reconhecer essa interdependência, através de compromissos mútuos formais. | So we should recognize that interdependence, by formal, mutual commitments. |
| 7.2 Requisitos formais de candidatura a uma Bolsa de Mobilidade Individual | 7.2 Formal requirements for an Individual Mobility Grant application |
| Regras | Rules |
| O estudo das interpretações de linguagens formais é chamado de semântica formal. | The study of interpretations of formal languages is called formal semantics. |
| Argumentos formais e argumentos informais Argumentos informais são estudados na lógica informal. | Formal and informal Informal arguments as studied in informal logic , are presented in ordinary language and are intended for everyday discourse. |
| Teoria dos autômatos também está profundamente relacionada à teoria das linguagens formais. | Automata theory is also closely related to formal language theory. |
| Qual classe de linguagens formais é reconhecível por algum tipo de autômato? | Which class of formal languages is recognizable by some type of automata? |
| Em termos formais, a Kalevala não apresenta separação de estrofes, nem rima. | These were some of the first pieces of modern music inspired by The Kalevala. |
| Os problemas estruturais e formais são resolvidos pelo projeto de design gráfico. | The use of graphic artists began to influence the design of the pictorial poster. |
| Dentro da história da filosofia, é possível fazer delimitações materiais e formais. | The history of philosophy is the study of philosophical ideas and concepts through time. |
| Existem regras que podemos criar para mudar regras? | Are there some rules we can develop for changing rules? |
| Sempre tive interesse na relação entre as estruturas formais e o comportamento humano. | I've always been interested in the relationship of formal structures and human behavior. |
| A maioria dos países têm sistemas formais de educação, que geralmente são obrigatórios. | Most countries have systems of formal education, which is commonly compulsory. |
| Regras contabilísticas | Accounting rules |
| Temos regras. | We have rules. |
| Apêndice 1 REGRAS DE COMPILAÇÃO DE DADOS HISTÓRICOS Regras gerais | Appendix 1 RULES APPLIED TO COMPILE HISTORICAL DATA General rule |
| A hierarquia de Chomsky divide as gramáticas formais em classes com poder expressivo crescente, por exemplo, cada classe sucessiva pode gerar um conjunto mais amplo de linguagens formais que a classe imediatamente anterior. | His Chomsky hierarchy partitions formal grammars into classes types, or groups, with increasing expressive power, i.e., each successive class can generate a broader set of formal languages than the one before. |
| O Eurosistema não definiu critérios formais de avaliação da gestão do projecto do SEPA . | The Eurosystem has not elaborated formal criteria to assess the SEPA project 's governance . |
| Ela ficou atrás das grades por vários meses até a emissão de acusações formais. | She was behind bars for several months before she was issued formal charges. |
| Provas formais são úteis porque os seus teoremas podem ser interpretados como proposições verdadeiras. | Formal proofs are useful because their theorems can be interpreted as true propositions. |
| Essas salas muito formais são usadas, unicamente, em ocasiões cerimoniais e de interesse oficial. | These very formal rooms are used only for ceremonial and official entertaining, but are open to the public every summer. |
| Autômatos são frequentemente classificados pela classe das linguagens formais que são capazes de reconhecer. | Automata are often classified by the class of formal languages they are able to recognize. |
| Isto sugere que as recomendações do grupo nesta área incluirão melhorias complementares para os sistemas formais e não formais existentes, bem como mecanismos para relançar a aprendizagem ao longo da vida no ensino superior. | This suggests that the group s recommendations in this area will include complementary improvements to existing formal and non formal systems, as well as mechanisms for reviving lifelong learning in higher education. |
