Tentando aprender a traduzir a partir dos exemplos de tradução humana.
A partir de tradutores profissionais, empresas, páginas da web e repositórios de traduções disponíveis gratuitamente
the equivalence of semidecidability and enumerability can be obtained by the technique of dovetailing.
a equivalência da semidecidibilidade e enumerabilidade pode ser obtida através da técnica de dovetailing.
Última atualização: 2016-03-03
Frequência de uso: 1
Qualidade:
:*there is a partial recursive function "f" such that:::formula_2:enumerability::*the set "s" is the range of a partial recursive function.
:*existe uma função recursiva parcial "f" tal que:::formula_2:enumerabilidade:*o conjunto "s" é o intervalo de uma função recursiva parcial.
Última atualização: 2016-03-03
Frequência de uso: 1
Qualidade:
Aviso: contém formatação HTML invisível