regra de substituição oor Engels
regra de substituição
Vertalings in die woordeboek Portugees - Engels
rule of replacement
en
inference rule that may be applied to only a particular segment of an expression
Geskatte vertalings
Vertoon algoritmies gegenereerde vertalings
voorbeelde
Advanced filtering
Voorbeelde moet herlaai word.
A regra de substituição apresentada na Figura 8.3 mostra uma regra possível para codificar textos abertos.
They were rightLiterature Literature
Regras de substituição são usadas para transformar uma entrada e produzir saídas e comportamento.
Using the Sidebar Media PlayerWikiMatrix WikiMatrix
Exportação é uma regra de substituição válida na lógica proposicional.
Thank God I' m off the market.OhWikiMatrix WikiMatrix
Por exemplo, a Regra de Substituição para a integração corresponde à Regra da Cadeia para a derivação.
I' m gonna have to tutor Rachel, aren' t I?- Yeah.- YeahLiterature Literature
Muitos problemas de semântica e de lógica dedutiva relacionam-se com as regras de substituição de termos.
Does she have red hair?Literature Literature
(A prova de que~ hcrr.ditária segundo a Regra de Substituição ficará a cugo do leitor).
No, no, no, no, noLiterature Literature
Temos apenas uma regra de substituição para o Sujeito.
The Agency’s enforcement of the Act from inception to March 31, 2005, has resulted in over 3,100 seizures involving $88 million.QED QED
Na lógica proposicional, tautologia é uma de duas regras de substituição comumente utilizadas.
Well, what' s scary is, when you spend those ten years... going after the things you thought were important... get those things, and then feel a sneaking suspicion that you went after the wrong things... and that where the important things are concerned... you' re still a total idiotWikiMatrix WikiMatrix
A → 0A1 A→B B →# Uma gramática consiste de uma coleção de regras de substituição, também chamadas produções.
I' il fucking kill youLiterature Literature
Regras de substituição
Please, do not throw out the dance contestECB ECB
Validade 49 Algumas formulações empregam esquemas de axiomas, em vez de axiomas e uma regra de substituição.
Parallels were drawn to other sectors such as publishing and music.Literature Literature
.. .P) A é uma regra completamente inteligível, exatamente como a regra de substituição P.
I' il just try to get a final word with some of the candidates as they come up from the stageLiterature Literature
(Discutiremos as regras de substituição mais detalhadamente em breve.)
He said if the police found your lighter...... that' s all they' d need to prove you were at the sceneLiterature Literature
Um conjunto de regras de substituição monoalfabéticas é utilizado. 2.
Our forward shields are down!Literature Literature
Na lógica proposicional, implicação material é uma regra de substituição válida que permite que uma sentença condicional seja substituída por uma disjunção em que o antecedente é negado.
I should like you to meet my uncle, the Minister of PoliceWikiMatrix WikiMatrix
Assim como PRA, ARE pode ser definida de maneira completamente livre de lógica, somente com as regras de substituição e de indução, e definindo equações para todas as funções recursivas elementares.
There are strong democratic forces in Algeria and there is also a very free press there, and one which indeed makes use of that freedom.WikiMatrix WikiMatrix
Na lógica proposicional, a transposição é uma regra de substituição válida que permite trocar o antecedente pelo consequente de um enunciado condicional em uma prova lógica se eles estão ambos negados.
Have you spoken to charlie?WikiMatrix WikiMatrix
O sistema dedutivo mais fraco que pode ser usado consiste de um sistema dedutivo padrão para a lógica de primeira ordem (tal como dedução natural) ampliado com regras de substituição para termos de segunda ordem.
If this cannot be achieved with one single test cycle (e.g. for particulate filters with periodic regeneration), several test cycles shall be conducted and the test results averaged and/or weightedWikiMatrix WikiMatrix
A maioria dos sistemas axiomáticos possuem somente a regra de modus ponens (e algumas vezes também a regra de substituição), então a demonstração da correção requer apenas a verificação da validade dos axiomas e uma regra de inferência.
I completely understand, mr.Cendars. Here' s what I can doWikiMatrix WikiMatrix
Em caso de ausência ou impedimento do director do Serviço, são aplicáveis as regras de substituição com base no grau e na antiguidade, salvo decisão em contrário do comité de direcção, sob proposta do seu presidente ou do director do Serviço
McClaren send you down here?oj4 oj4
Em caso de ausência ou impedimento do director do Serviço, são aplicáveis as regras de substituição com base no grau e na antiguidade, salvo decisão em contrário do comité de direcção, sob proposta do seu presidente ou do director do Serviço.
Insinuate yourself into her lifenot-set not-set
1306 sinne gevind in 203 ms. Hulle kom uit baie bronne en word nie nagegaan nie.