Usage of "sistema de redução"

rus

anglès

Em matemática um sistema de redução é um sistema onde termos podem ser reescritos usando uma lista finita, ou infinita, de regras de reescrita Exemplos de sistemas de redução incluem sistemas de reescrita de cadeias de caractere, sistemas de reescrita de termos, cálculo lambda sob conversão lambda e sistemas de redução combinatória.

Veure'n més

motor de inferência

rewriting systems

Ús de sistema de redução en portuguès

Os veículos estão equipados com um dispositivo que ativa um sistema de redução de emissões poluentes no momento dos controlos, sendo depois desativado. 
 Jornal de Negócios 

Mais que isso, há sistemas de redução de emissões que o tornam no mais ambiental dos navios. 
 Jornal de Negócios 

Translations for sistema de redução

rus

система правил переписывания система переписывания переписывание правило переписывания упрощение формул система переписывающих правил упрощение выражений

anglès

rewriting systems rewrite rule term rewriting rewriting reduction systems rewrite systems

Llengua d'interfície

Significats de sistema de redução en portuguès