Translation of "obrigação da prova" to English language:

  Dictionary Portuguese-English

Obrigação - tradução :
Obligation

Prova - tradução :
Proof

Keywords : Obligation Obligated Duty Moral Legal Proves Proof Bulletproof Prove Test

  Examples (External sources, not reviewed)

Instrumento de dívida titularizado Obrigação da administração central Obrigação de empresa
Asset backed instrument Central government bond Corporate bond
T prova 1. isto é, T prova que se T prova P , então T prova ProvA( ( P )).
T proves 1. that is, T proves that if T proves P , then T proves ProvA( ( P )).
Obrigação A Obrigação de taxa variável B Obrigação C
Haircut Bond A FRN B Bond C
Obrigação A Obrigação de taxa variável B Obrigação C
Bond A FRN B Bond C
Em outras palavras, T prova que ProvA( ( P )) implica em ProvA( (ProvA( ( P )))).
In other words, T proves that ProvA( ( P )) implies ProvA( (ProvA( (P)))).
Instrumento de dívida titularizado Obrigação da administração central Obrigação de empresa 29.08.2006 19.11.2008 12.05.2015
Asset backed instrument 29.08.2006 Central government bond Corporate bond 19.11.2008 12.05.2015
Em outras palavras, T prova que ProvA( ( P Q )) e ProvA( ( P )) implica em ProvA( ( Q )).
In other words, T proves that ProvA( ( P Q )) and ProvA( ( P )) imply ProvA( ( Q )).
T prova que se T prova que ( P Q ) e T prova P então T prova Q .
T proves that if T proves that ( P Q ) and T proves P then T proves Q .
A prova do segundo teorema é obtida pela formalização da prova do primeiro teorema da incompletude dentro da própria teoria.
The proof of the second incompleteness theorem is obtained by formalizing the proof of the first incompleteness theorem within the theory itself.
Fazendo ( P ) representar o número de Gödel da fórmula P , a condição de derivabilidade diz Se T prova P , então T prova ProvA( ( P )).
Letting ( P ) represent the Gödel number of a formula P , the derivability conditions say If T proves P , then T proves ProvA( ( P )).
b ) do âmbito da obrigação de consulta
( b ) the scope of the duty of consultation
Você prova um, você prova o outro.
You prove one, you prove the other.
Só resta uma semana antes da prova.
There is only a week left before the examination.
Obrigação reforçada
Reinforced obligation
Prova Suave
Soft Proofing
Muitos enfatizaram a obrigação do Estado em prover educação de qualidade à população, apontando a recente compra de carros Mercedes Benz para a Assembleia da República como prova de que os recursos públicos poderiam ser melhor empregados.
Many emphasized the state s obligation to provide quality education to the population, pointing to the recent purchase of expensive Mercedes Benz cars for the Assembly of the Republic as proof that public resources could be better used.
O diretor da prova é quem toma a decisão.
Sato returned to the seat for the next race.
A obrigação legal da proporcionalidade está claramente a ser violada.
The legal obligation of proportionality is clearly being violated.
Estas características devem ser mantidas até ao reembolso da obrigação .
These features must be maintained until the redemption of the obligation .
Estas características devem manter se até ao reembolso da obrigação ( ) .
These features must be maintained until the redemption of the obligation ( ) .
Estas características devem manter se até ao reembolso da obrigação .
These features must be maintained until the redemption of the obligation .
Prova essa camisa.
Try on that shirt.
Teremos prova hoje.
We're going to have a test today.
Eu tenho prova.
I have proof.
Passei na prova.
I passed the exam.
Passei na prova!
I passed the exam.
Portanto, uma prova de que formula_13 também prova que formula_4 é verdade.
Therefore, a proof that formula_13 also proves that formula_4 is true.
Um número com essa propriedade codificaria uma prova da inconsistência da teoria.
A number with this property would encode a proof of the inconsistency of the theory.
O episódio da mamadeira prova que podemos evitar exposição desnecessária.
The baby bottle scenario proves that we can prevent unnecessary exposure.
Tom foi pego colando na prova e expulso da escola.
Tom was caught cheating on the exam and was expelled from school.
Tom entregou em branco a folha de papel da prova.
Tom handed in an empty sheet of paper for the exam.
Além disso, a prova padrão do segundo teorema da incompletude assume que ProvA( P ) satisfaz a condição de demonstrabilidade de Hilbert Bernays.
In addition, the standard proof of the second incompleteness theorem assumes that ProvA( P ) satisfies the Hilbert Bernays provability conditions.
V CUMPRIMENTO DA OBRIGAÇÃO DE CONSULTA VI CONSEQUÊNCIAS JURÍDICAS DA FALTA DE CONSULTA
CONTENTS
e ( c ) da inclusão explícita da obrigação relacionada com os benefícios dos dependentes .
and ( c ) the explicit inclusion of the obligation arising in connection with dependents benefits .
Obrigação de apresentar relatórios
Reporting commitments
Sem objecto Obrigação reforçada
Reinforced obligation
O estudo da prova matemática é particularmente importante na lógica, e tem aplicações para prova automática de teoremas e verificação formal de software.
The study of mathematical proof is particularly important in logic, and has applications to automated theorem proving and formal verification of software.
A obrigação, por parte da administração, de fundamentar as suas decisões.
the obligation of the administration to give reasons for its decisions.
A obrigação , por parte da administração , de fundamentar as suas decisões .
the obligation of the administration to give reasons for its decisions .
Tenho isto como prova.
I keep that for evidence.
Como foi a prova?
How did the exam go?
A prova é trivial.
The proof is trivial.
Eu tenho prova amanhã.
I have a test tomorrow.
Boa sorte na prova!
Good luck on the test!
Tom passou na prova.
Tom passed the test.

 

Pesquisas relacionadas : Obrigação Prova - Da Prova - Da Prova - Montante Da Obrigação - Apesar Da Obrigação - Isentar Da Obrigação - Isenção Da Obrigação - Libertação Da Obrigação - Dispensar Da Obrigação - Livre Da Obrigação - Violação Da Obrigação - Exclusão Da Obrigação - Nota Da Prova - Vencedor Da Prova
Exibir esta página em português Exibir esta página em português