Обучается переводу с помощью примеров, переведенных людьми.
Добавлены профессиональными переводчиками и компаниями и на основе веб-страниц и открытых баз переводов.
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.
Последнее обновление: 2016-03-03
Частота использования: 1
Качество:
:*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.
Последнее обновление: 2016-03-03
Частота использования: 1
Качество:
Предупреждение: Содержит скрытое HTML-форматирование