Aprendiendo a traducir con los ejemplos de traducciones humanas.
De traductores profesionales, empresas, páginas web y repositorios de traducción de libre uso.
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 actualización: 2016-03-03
Frecuencia de uso: 1
Calidad:
:*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 actualización: 2016-03-03
Frecuencia de uso: 1
Calidad:
Advertencia: contiene formato HTML invisible