전문 번역가, 번역 회사, 웹 페이지 및 자유롭게 사용할 수 있는 번역 저장소 등을 활용합니다.
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 형식이 포함되어 있습니다