계산 가능성 이론 oor Engels

계산 가능성 이론

Vertalings in die woordeboek Koreaans - Engels

computability theory

naamwoord

branch of mathematical logic, computer science, and the theory of computation studying computable functions and Turing degrees

voorbeelde

계산 가능성 이론에서, 빌헬름 아커만의 이름을 딴 아커만 함수(Ackermann函數, 영어: Ackermann function)는 가장 간단하고 가장 먼저 발견된 원시 재귀 함수가 아닌 완전히 정의된 계산 가능 함수의 예시이다.
In computability theory, the Ackermann function, named after Wilhelm Ackermann, is one of the simplest and earliest-discovered examples of a total computable function that is not primitive recursive.

제1형 극값 분포를 선택한 것은 상당히 임의적으로 보이지만, 이는 수학적 계산이 가능케 하고, 이성적 선택 이론을 통해 사용예들을 정당화할 수 있게끔 해준다.
The choice of the type-1 extreme value distribution seems fairly arbitrary, but it makes the mathematics work out, and it may be possible to justify its use through rational choice theory.

활동전위를 이해하는 데에는 수학적 및 계산적 모델이 필수적으로, 실험적 자료에 대하여 검증할 수 있는 예측값을 제시하여 이론에 대한 정밀한 측정을 가능케 한다.
Mathematical and computational models are essential for understanding the action potential, and offer predictions that may be tested against experimental data, providing a stringent test of a theory.

Wolfram Algorithmbase 알고리즘이 수치적인 해를 도출해낸다 해도, 내부에서는 기호 계산과 그래프 이론, 계산 기하학 등을 사용하고있을 매우 가능성이 높습니다.
Even if an algorithm in the Wolfram Algorithmbase gets a numerical answer, there's a good chance it's using symbolic computation inside, and maybe graph theory or computational geometry too.

이 미래 가시성 한계는 공변거리로 190억 파섹(620억 광년) 떨어져 있는 것으로 계산되는데, 우주가 영원히 팽창을 유지할 것이라는 가정하에, 무한한 미래에 우리가 이론적으로 관측할 수 있는 은하의 수는 (일부가 실제로 적색편이 때문에 관측이 불가능하다는 문제는 제외하고)현재 관측 가능한 은하의 수의 2.36배 많다.
This future visibility limit is calculated at a comoving distance of 19 billion parsecs (62 billion light-years), assuming the universe will keep expanding forever, which implies the number of galaxies that we can ever theoretically observe in the infinite future (leaving aside the issue that some may be impossible to observe in practice due to redshift, as discussed in the following paragraph) is only larger than the number currently observable by a factor of 2.36.