Tradução de "formal management system" para a língua portuguesa:

Dicionário Inglês-Português

Formal - translation :

Management - translation :

System - translation :

Palavras-chave : Formal Formais Formalmente Baile Inverno Gestão Gerência Administração Resíduos Gerente Imunitário Sistema Organismo Solar Sistemas

Exemplos (Fontes externas, não revisadas)

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.
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 ).	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).
Open source Document Management System	Sistema de gestão de documentos Open Source
Foreign reserve management Teleconference system	Gestão de reservas cambiais Sistema de Teleconferência
In this view, logic becomes just another formal system.	Nesta visão, a lógica se torna apenas um outro sistema 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 .
Learning content management system A learning content management system (LCMS) is software for author content (courses, reusable content objects).	As principais ferramentas usadas e conhecidas são agregação e distribuição de conteúdo (RSS, ATOM), Ambientes Virtuais de aprendizagem, Blogs, WebQuests, Wikis e objetos educacionais.
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.
Establishing a quality management system An additional objective of the zero production run was to substantiate the common quality management system .	DEFINIÇÃO DE UM SISTEMA DE GESTÃO DE QUALIDADE Um objectivo adicional da produção da série zero era consubstanciar um sistema de gestão de qualidade comum .
The last sentence in the sequence is a theorem of a formal system.	A última frase da sequência é um teorema de um sistema formal.
The existence of an incomplete formal system is, in itself, not particularly surprising.	A existência de um sistema formal incompleto não é, particularmente, uma surpresa.
Nevertheless , the stock management system helped to prevent any disruption and paved the way for a permanent stock management system after the cash changeover .	No entanto , o sistema de gestão de reservas ajudou a evitar rupturas e criou as condições para o estabelecimento de um sistema permanente de gestão de reservas após a transição .
Kenya s government does not recognize Kibera, there is no sewage system or formal power grid.	O governo do Quénia não reconhece Kibera, não existe um sistema de esgotos nem uma rede eléctrica formal.
A formal system is used to derive one expression from one or more other expressions.	Um sistema formal é utilizado para derivar uma expressão de uma ou mais outras expressões.
Enterprise Volume Management System (EVMS) is a flexible, integrated volume management software used to manage storage systems under Linux.	EVMS ou Enterprise Volume Management System é uma ferramenta usada para gerenciar sistemas de armazenamento em Linux.
the gradual introduction of an integrated management system for external borders.	Introduzir gradualmente um sistema integrado de gestão das fronteiras externas.
and ( iii ) registered in the NCB 's cash management system ( 1 ) .	e ( iii ) registadas no sistema de gestão de numerário do BCN ( 1 ) .
the gradual introduction of an integrated management system for external borders .	Introduzir gradualmente um sistema integrado de gestão das fronteiras externas .
System operators should consider which risk management tools would be most appropriate for the system they operate .	Os operadores do sistema devem considerar quais são os instrumentos de gestão do risco mais adequados para os sistemas que operam .
In addition , it could also become the interface with the Eurosystem collateral management system and thereby facilitate panEuropean liquidity management .	Além disso , pode também tornar se no interface do sistema de gestão dos activos de garantia do Eurosistema e facilitar a gestão de liquidez pan europeia .
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.
( c ) the gradual introduction of an integrated management system for external borders .	Introduzir gradualmente um sistema integrado de gestão das fronteiras externas .
A common quality management system ensured an identical standard for all banknotes .	Um sistema comum de gestão da qualidade assegurou um padrão idêntico para todas as notas .
Microsoft SQL Server is a relational database management system developed by Microsoft.	O MS SQL Server é um SGBD sistema gerenciador de Banco de dados relacional desenvolvido pela Microsoft.
A revised system of internal management and control was put in place following the Commission 's Reform initiative on financial management .	Foi instaurado um sistema revisto de gestão e controlo internos , no seguimento da iniciativa da Comissão relativa à reforma da gestão financeira .
A revised system of internal management and control was put in place following the Commission 's Reform initiative on financial management .	A revised system of internal management and control was put in place following the Commission 's Reform initiative on financial management .
A special Integrated Financial Management Information System (IFMIS) will be developed and implemented together with Geographic Information System (GIS).	Este sistema ferro portuário é gerido pela empresa pública Portos e Caminhos de Ferro de Moçambique (CFM), com sede em Maputo.
Memory management is the act of managing computer memory at the system level.	O tratamento necessário da memória utilizada não é uma tarefa fácil de ser implementada.
Earmarking system a system for central banks collateral management where liquidity is provided against assets earmarked for each individual transaction .	Em tais casos , o respectivo banco central nacional é responsável por informar , antecipadamente , as contrapartes sobre os procedimentos a seguir relativamente às operações que envolvem essas sucursais .
Gentoo Linux ( ) is a computer operating system based on the Linux kernel and built using the Portage package management system.	Gentoo Linux (em inglês ˈdʒɛntuː ) é uma metadistribuição baseada no sistema gerenciador de pacotes portage.
Axel Thue's early Semi Thue system which can be used for rewriting strings was influential on formal grammars.	O sistema Semi Thue de Axel Thue que pode ser usado para reescrever cadeias foi influente em gramáticas formais .
The ångström is internationally recognized, but is not a formal part of the International System of Units (SI).	Esta unidade de medida não faz parte do SI (Sistema Internacional de Unidades).
The delicate environment of Maldives is in need of a responsible waste management system.	O delicado meio ambiente das Maldivas precisa de um sistema de tratamento de resíduos responsável.
SQL (, or Structured Query Language) is a special purpose programming language designed for managing data held in a relational database management system (RDBMS), or for stream processing in a relational data stream management system (RDSMS).	Structured Query Language, ou Linguagem de Consulta Estruturada ou SQL, é a linguagem de pesquisa declarativa padrão para banco de dados relacional (base de dados relacional).
dpkg is the software at the base of the package management system in the free operating system Debian and its numerous derivatives.	O dpkg é um programa de computador que é a base do sistema de gerenciamento de pacotes da distribuição linux Debian.
any measure necessary for the gradual establishment of an integrated management system for external borders	A qualquer medida necessária à introdução gradual de um sistema integrado de gestão das fronteiras externas
any measure necessary for the gradual establishment of an integrated management system for external borders	A qualquer medida necessária à introdução gradual de um sistema integrado de gestão das fronteiras externas
It is reasonable to believe in the consistency of Peano arithmetic because it is satisfied by the system of natural numbers, an infinite but intuitively accessible formal system.	É razoável acreditar na consistência da Aritmética de Peano porque ela é satisfeita pelo sistema de números naturais, um infinito mas intuitivamente acessível sistema formal.
The additional consumers participating in the formal financial system will strengthen national economies and, in turn, enrich the global economy.	Os outros consumidores que participam do sistema financeiro formal irão fortalecer as economias nacionais e, por sua vez, enriquecer a economia mundial.
Under the compulsory private pension system, most formal sector employees pay 10 percent of their salaries into privately managed funds.	No âmbito do sistema privado de pensões obrigatórios, a maioria dos trabalhadores do setor formal pagam 10 do seu salário em fundos geridos por entidades privadas.
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.
( d ) any measure necessary for the gradual establishment of an integrated management system for external borders	A qualquer medida necessária à introdução gradual de um sistema integrado de gestão das fronteiras externas
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.

Display this page in English