Translation of "prova de cópia" to English language:

  Dictionary Portuguese-English

Prova - tradução :
Proof

Keywords : Copy Print File Send Sent Proves Proof Bulletproof Prove Test

  Examples (External sources, not reviewed)

Cópia de segurança
Back Up
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)))).
Cópia de segurança Barry
Barry Backup
Editor de Cópia XML
XML Copy Editor
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 )).
Por outro lado, a tecnologia de cópia única não proíbe todos os tipos de cópia.
On the other hand, the Copy Once technology does not prohibit all types of dubbing.
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 .
Cópia Diferencial Uma cópia com apenas os ficheiros que foram alterados desde a última cópia completa. Constitui uma imagem completa de dois pontos no tempo a cópia de segurança completa e a última diferencia.
Differential Backup A backup of only the files that have changed since the last full backup. Constitutes a full snapshot of two points in time the full backup and the last differential one.
Actualizar a cópia de trabalho
Update the working copy
Incapaz de terminar cópia de ficheiro
Unable to delete file
Criar ficheiros de cópia de segurança
Create backup files
Incapaz de terminar cópia de ficheiro
Unable to complete file copy
Sistema simples de cópia de segurança
Simple backup system
na medida em que for aplicável cópia da licença ou outra prova de autorização para a prestação de serviços bancários , de investimento , transferência de fundos ou outros serviços financeiros em jurisdição concedida ao Participante
to the extent applicable a copy of the Participant 's licence or other proof of authorisation to provide banking , investment , funds transfer or other financial services in jurisdiction
Você prova um, você prova o outro.
You prove one, you prove the other.
Subversion Cópia terminada.
Subversion Copy complete.
É uma cópia.
That's a copy.
faça uma cópia diferencial mensal e apague a cópia do mês 2
do a monthly differential backup and delete backup of month 2
na medida em que for aplicável cópia da licença ou outra prova de autorização para a prestação de serviços bancários , de investimento , transferência de fundos ou outros serviços financeiros em jurisdi ção concedida ao Participante
( 3 ) to the extent applicable a copy of the Participant 's licence or other proof of authorisation to provide banking , investment , funds transfer or other financial services in jurisdiction
Caminho para a Cópia de Trabalho
Working Copy Path
Eu vou precisar de uma cópia.
I'm going to need a copy.
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.
Incapaz de terminar a cópia de ficheiro
Unable to complete file copy
Num repositório global e diferencial ( backup diferencial ), após a cópia de segurança completa ser feita, cada cópia diferencial captura todos os arquivos criados ou modificados desde a cópia completa , apesar de alguns já poderem ter sido incluídos numa cópia diferencial anterior.
By standard definition, a differential backup copies files that have been created or changed since the last full backup, regardless of whether any other differential backups have been made since then, whereas an incremental backup copies files that have been created or changed since the most recent backup of any type (full or incremental).
Não é uma cópia.
This is not a copy.
Isso é uma cópia.
That's a copy.
Você tem uma cópia?
Do you have a copy?
Tom fez uma cópia.
Tom made a copy.
Mande me uma cópia.
Send me a copy.
Há cópia na UFS.
References
Faz se uma cópia.
chinaculture.org.
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 )).
Juntar as alterações à cópia de trabalho
Merge changes into working copy
Encontramos uma cópia do testamento de Tom.
We found a copy of Tom's will.
Uma prova formal é uma interpretação de uma prova matemática dentro de um sistema formal.
A formal proof is a complete rendition of a mathematical proof within a formal system.
Prova Suave
Soft Proofing
Amanhã tem prova de matemática.
There's a math test tomorrow.
Cópia Completa Uma cópia que contém todos os ficheiros a salvaguardar. É uma imagem sem histórico, representando uma cópia completa para um dado ponto no tempo.
Full Backup A complete backup of all the files being backed up. It is a snapshot without history, it represents a full copy at one point in time.
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.
E eu tenho uma cópia!
And I have a copy.
Cópia com variação e seleção.
Copying with variation and selection.
Todos vocês têm uma cópia.
You've all got a copy.
Faça uma cópia deste relatório.
Make a copy of this report.
Eu preciso fazer uma cópia.
I need to make a copy.

 

Pesquisas relacionadas : Cópia De Prova - Cópia Da Prova - Prova De Cópia Impressa - Cópia - Cópia De - Cópia De - Prova - Prova De - Prova De - De Prova - Cópia Exata - Cópia Autenticada - Cópia Rascunho
Exibir esta página em português Exibir esta página em português