Tradução de "a prova da execução" para o idioma inglês:
Dicionário Português-Inglês
Exemplos (Fontes externas, não revisadas)
| 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 )). |
| 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 )). |
| 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)))). |
| Pausar a execução da aplicação | Pauses the execution of the program |
| Continuar a execução da aplicação | Continue the execution of the program |
| Pausa a execução da aplicação | Pauses the execution of the program |
| A Janela da Primeira Execução | The First Run Dialog |
| O diretor da prova é quem toma a decisão. | Sato returned to the seat for the next race. |
| 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 . |
| Os actos de execução da União assumem a forma de regulamentos europeus de execução ou de decisões europeias de execução. | Union implementing acts shall take the form of European implementing regulations or European implementing decisions. |
| Os actos de execução da União assumem a forma de regulamentos europeus de execução ou de decisões europeias de execução . | Union implementing acts shall take the form of European implementing regulations or European implementing decisions . |
| 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. |
| Os SP serão notificados da boa execução ou da não execução da liquidação . | The ASs shall be notified on completion or failure of the settlement . |
| Os SP serão notificados da boa execução ou da não execução da liquidação . | ASs shall be notified on completion or failure of the settlement . |
| Tom entregou em branco a folha de papel da prova. | Tom handed in an empty sheet of paper for the exam. |
| ... descentralização da execução ,... | decentralisation of implementation , ... |
| Como foi a prova? | How did the exam go? |
| A prova é trivial. | The proof is trivial. |
| A prova é irrefutável. | The proof is irrefutable. |
| Quando é a prova? | When is the test? |
| A prova pareceu fácil. | The tryouts appeared easy. |
| A prova foi fácil. | The exam was easy. |
| Isso conclui a prova. | This concludes the proof. |
| Continuar ou suspender a execução da aplicação | Continue or suspend the execution of the program |
| 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. |
| A definição e execução da política monetária da União | to define and implement the Union's monetary policy |
| a definiçao e execução da política monetária da Comunidade | to define and implement the monetary policy of the Community |
| a definição e execução da política monetária da Comunidade | to define and implement the monetary policy of the Community |
| A posição da medalha de ouro para esta prova está vaga. | The gold medal position for this event is now vacant. |
| É a prova d água. | It's waterproof. |
| Eu sou a prova viva | And I'm living proof. |
| Como foi a sua prova? | How was your test? |
| Eu achei a prova difícil. | I found the test difficult. |
| A prova é às 16h00. | The test is at 4 p.m. |
| Relaxe e faça a prova. | Relax and take the test. |
| A prova era muito difícil. | The test was very difficult. |
| Logo, obtemos formula_59que completa a prova. | Therefore, we obtain formula_62which completes the proof. |
| A diferença é que ao invés de construir uma nova prova, o verificador de prova simplesmente checa se a prova formal fornecida (ou em instruções que podem ser seguidas para criar a prova formal) é correta. | The difference is that instead of constructing a new proof, the proof verifier simply checks that a provided formal proof (or, in instructions that can be followed to create a formal proof) is correct. |
| Execução da política monetária | Monetary policy implementation |
| a a a a definiçào e execução da politica monetária da Comunidade | to define and implement the monetary policy of the Community to |
| A prova foi vantajosa a ele. | The evidence was in his favor. |
| A que horas começa a prova? | When does the exam start? |
Pesquisas relacionadas : Prova Da Execução - Da Prova - Da Prova - A Prova Da Capacidade - A Prova Da Exportação - A Prova Da Nacionalidade - Da Execução - A Consistência Da Execução - A Execução Da Produção - Execução (a) - Nota Da Prova - Vencedor Da Prova - ônus Da Prova - Questão Da Prova
