검색어: unsolvability (포르투갈어 - 영어)

컴퓨터 번역

인적 번역의 예문에서 번역 방법 학습 시도.

Portuguese

English

정보

Portuguese

unsolvability

English

 

부터: 기계 번역
더 나은 번역 제안
품질:

인적 기여

전문 번역가, 번역 회사, 웹 페이지 및 자유롭게 사용할 수 있는 번역 저장소 등을 활용합니다.

번역 추가

포르투갈어

영어

정보

포르투갈어

"degrees of unsolvability.

영어

"degrees of unsolvability.

마지막 업데이트: 2016-03-03
사용 빈도: 1
품질:

경고: 보이지 않는 HTML 형식이 포함되어 있습니다

포르투갈어

"recursive unsolvability of a problem of thue.

영어

"recursive unsolvability of a problem of thue.

마지막 업데이트: 2016-03-03
사용 빈도: 1
품질:

경고: 보이지 않는 HTML 형식이 포함되어 있습니다

포르투갈어

"the upper semi-lattice of degrees of recursive unsolvability.

영어

"the upper semi-lattice of degrees of recursive unsolvability.

마지막 업데이트: 2016-03-03
사용 빈도: 1
품질:

경고: 보이지 않는 HTML 형식이 포함되어 있습니다

포르투갈어

degrees of unsolvability, perspectives in mathematical logic, springer-verlag.

영어

"degrees of unsolvability", perspectives in mathematical logic, springer-verlag.

마지막 업데이트: 2016-03-03
사용 빈도: 1
품질:

경고: 보이지 않는 HTML 형식이 포함되어 있습니다

포르투갈어

see chapter 8, section 8.2 "the unsolvability of the halting problem.

영어

see chapter 8, section 8.2 "the unsolvability of the halting problem.

마지막 업데이트: 2016-03-03
사용 빈도: 1
품질:

경고: 보이지 않는 HTML 형식이 포함되어 있습니다

포르투갈어

chapter xiii ("computable functions") includes a discussion of the unsolvability of the halting problem for turing machines.

영어

chapter xiii ("computable functions") includes a discussion of the unsolvability of the halting problem for turing machines.

마지막 업데이트: 2016-03-03
사용 빈도: 1
품질:

경고: 보이지 않는 HTML 형식이 포함되어 있습니다

포르투갈어

* martin davis (1958), "computability & unsolvability", mcgraw-hill book company, inc. new york.

영어

* martin davis (1958), "computability & unsolvability", mcgraw-hill book company, inc. new york.

마지막 업데이트: 2016-03-03
사용 빈도: 1
품질:

경고: 보이지 않는 HTML 형식이 포함되어 있습니다

포르투갈어

)* marvin minsky 1961, "recursive unsolvability of post's problem of "tag" and other topics in theory of turing machines", "the annals of mathematics, 2nd ser., vol.

영어

)* marvin minsky 1961, "recursive unsolvability of post's problem of "tag" and other topics in theory of turing machines", "the annals of mathematics, 2nd ser., vol.

마지막 업데이트: 2016-03-03
사용 빈도: 1
품질:

경고: 보이지 않는 HTML 형식이 포함되어 있습니다

인적 기여로
7,773,675,170 더 나은 번역을 얻을 수 있습니다

사용자가 도움을 필요로 합니다:



당사는 사용자 경험을 향상시키기 위해 쿠키를 사용합니다. 귀하께서 본 사이트를 계속 방문하시는 것은 당사의 쿠키 사용에 동의하시는 것으로 간주됩니다. 자세히 보기. 확인