Interruptor de Aplicação	Program Interrupt
Interruptor da Janela	Window Switch
Ela apertou o interruptor.	She pressed the switch.
Onde está localizado o interruptor de luz?	Where is the light switch?
Ed Boyden Um interruptor para os neurônios	Ed Boyden A light switch for neurons
Por que aceitamos tão rápido o som de seu interruptor?	Why have we settled so quickly for the sound of its switch?
Um transistor nada mais é que um interruptor de parede.	A transistor is nothing more than a wall switch.
Bem, Thomas Edison inventou o interruptor em 1879.	Well, Thomas Edison invented the circuit breaker in 1879.
Quando você liga o interruptor, a lâmpada acende.	And when you turn the switch on, the light goes on.
Quando você desliga o interruptor, a lâmpada apaga.	And when you turn the switch off, the light goes off.
Nós chamamos essa tecnologia de ICFE, Interruptor de Circuito por Falha Elétrica	We call this technology EFCI, Electrical Fault Circuit Interrupter.
Aqui está a seção do todo poderoso interruptor de parada de emergência.	Here's the section on the all important emergency stop switch.
E a primeira história chama se O Interruptor Culpado.	And the first story is called The Faulty Switch.
Ele começa a investigação automaticamente, quando o interruptor é	He s just saying that he doesn t like to have to be the one to push the button for the execution, and that it s painful to have the responsibility put on one person.
Não posso ligá lo porque o interruptor está quebrado.	I can't turn it on, because the switch is broken.
Tom virou o interruptor e as luzes se acenderam.	Tom flipped the switch and the lights came on.
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)))).
Outro prédio maravilhosamente desenhado arruinado pelo som de um interruptor comum de parede.	Another beautifully designed new building ruined by the sound of a common wall light switch.
Este interruptor que de um lado lê se enchentes e do outro desligado .	This light switch that reads, on the one hand, flashfloods, and on the other hand, off.
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 .
O som feito no desligamento de um interruptor de parede, é de natureza completamente diferente.	The sound made flicking a wall switch off is of a completely different nature.
Você prova um, você prova o outro.	You prove one, you prove the other.
Então, vocês podem colocar componentes de circuitos nos grampos, como uma lâmpada e um interruptor.	So, you can put circuit components on the staples, like a light bulb and a light switch.
Pensem nas coisas de suas vidas que são binárias. Uma delas é o interruptor de luz.	And think of things in your life that are binary, one of them is light switches.
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.
O interruptor é um dispositivo simples, usado para abrir ou fechar circuitos elétricos.	A switch that is operated by another electrical circuit is called a relay.
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 )).
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
E você pode ver que há um 1 e 3, realmente pequeno ali no interruptor de alavanca .	And you can see there's a 1 and 3, really small on the lever switch there.
Você pode comprar um mini interruptor de alavanca como esse no Radioshack ou em outras lojas online.	And you can buy micro lever switches like this from Radioshack or a variety of places online.
Amanhã tem prova de matemática.	There's a math test tomorrow.
Mas não seria mais fácil ligar um interruptor de parede ao disparo de um apito de navio a vapor?	But wouldn't it be an easy matter to wire a wall switch so that it triggers the muted horn of a steam ship?
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.
Detecção de intrusão Alguns cases de computador incluem um interruptor tendencioso ( push button ) que se conecta à placa mãe.	Intrusion detection Some computer cases include a biased switch (push button) which connects to the motherboard.
Quando o case é aberto, as mudanças de posição do interruptor ocorrem e o sistema registra esta mudança.	When the case is opened, the switch position changes and the system records this change.
A prova se chama Gaokao. E 80 milhões de estudantes Chineses já fizeram esta prova torturante.	It's called the Gaokao, and 80 million high school Chinese students have already taken this grueling test.
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.
Precisamos de ciência adequada, prova adequada.	Next, we need proper science, proper evidence.

Pesquisas relacionadas : Interruptor à Prova De Falhas - Interruptor à Prova De Explosão - Interruptor - Interruptor - Prova - Interruptor De - Prova De

Display this page in English