검색 결과

'''실행 시간'''은 [[알고리즘 설계|알고리즘 분야]]나 [[계산 복잡도 이론]]에서 어떤 프로그램이 시작하여 종료되기까지 걸리는 시간 길이를 뜻한다. ...ang|en|Big-O notation}})이란 [[계산 이론]]에서 실행 시간을 나타내는 수학적 척도로 사용되는 근사적 표기법이다. 기호 'O'는 점근적 [[상한]]을 나타내기 위해 쓰인다. 즉, 충분히 큰 자료가 주어졌을 때 해당 알고리즘이 소요하는 실행 시간 및 메모리 ...

'''큐-팩토리얼'''(q-factorial)은 [[포흐하머 기호|포흐하머 심볼]]와 [[큐-아날로그|큐-넘버]]가 작동하는 큐-아날로그 [[계승 (수학)|팩토리얼(계승)]]이다. ...;q)_n}\over{(1-q)^n} } \;\;\;</math> 여기서<math>\; (q;q)_n</math>는 [[큐-포흐하머 기호]] ...

[[분류:기호 계산]] ...

크기 <math>n</math>인 입력에 대해 <math>M</math>이 최대 <math>p(n)</math>번의 계산 후 멈춘다고 가정하자. 다음과 같은 변수들을 정의한다. 여기에서 <math>-p(n) \le i \le p(n)</math>, <mat |테이프 셀 <math>i</math>가 <math>k</math>번째 계산에서 기호 <math>j</math>를 가지는 경우 참 ...

또 재귀함수와 일치하는 개념으로는, [[람다 계산]]에서 쓰이는 재귀함수나 [[마르코프 알고리즘]](Markov algorithms)으로 계산가능한 함수 등이 있다. ...비유계이기 때문에 탐색을 끝없이 계속할 것이고, 결국 영원히 수를 내어놓고 계산을 종료하지 못하게 된다. (간혹 비결정임을 나타내는 기호 u를 내어놓을 수 있고 연산을 끝내도록 정의해두기도 한다.) 다르게 말하면, 부분 μ작용소를 쓰는 부분 μ재귀 함수는 전역적이지 않을 ...

=== 계산 === !기호 !! 내용 !! 예제 ...

[[파일:Precedence62xplus.jpg|오른쪽|섬네일| 계산기의 모델에 따라 다른 계산 결과가 반영된다. 동일한 상황이 휴대 전화의 애플리케이션에서도 발생한다<ref>{{뉴스 인용|url=https://www.ettoday ...4-04-12}}</ref> . 그러나 곱셈에서는 <math>5x</math>나 <math>xy</math>와 같이 [[곱셈기호|곱셈 기호]]는 종종 생략된다. 복수의 변수를 복수의 문자로 나타내는 경우, 혼란을 초래하기 때문이다. 곱셈 기호의 생략은, 수식에 숫자 밖에 포 ...

[[분류:기호 계산]] ...

...자주 등장한다. '''천문학적인 숫자'''(天文學的-數字)로 불리기도 한다. 거대한 수나 미소한 수를 나타내기 위해서 특수한 [[수학 기호]]가 사용되고 있다. ==계산 불가능한 큰수 == ...

'''시퀀트 계산'''(sequent calculus)은 [[1차 논리]]나 특수한 [[명제 논리]]에서 쓰이는 [[연역]] 계산법의 일종으로, [[논리 ...합]]이 아니므로, 식들의 수와 순서가 유의미하다. 기호 <math>\vdash</math>는 턴스타일(turnstile) 또는 표명 기호(assertion symbol) 등으로 불리는데, "생산한다", "증명한다", "수반한다" 등의 의미로 해석될 수 있다. 직관적으로, ...

수학 상수는 대개 [[실수체]]나 [[복소수체]]의 원소이다. 우리가 이야기할 수 있는 상수는 (거의 대부분 [[계산 가능한 수|계산 가능]]한) [[정의가능한 수]]이다. ! 기호 ...

...수학에서 미지수를 문자로 쓰기 시작했다. 디오판토스 해석이라는 일종의 부정방정식 해법을 연구하고《산수론》13권에서는 수사 미지수 계산 기호 등을 사용하여 대수식을 만들었다. ...

...위한 '동작들의 모임'이다. [[계산]]을 실행하기 위한 단계적 '''규칙과 절차'''를 의미하기도 한다. 즉, 문제 풀이에 필요한 계산 절차 또는 처리 과정의 순서를 뜻한다. [[프로그램]][[명령어]]의 집합을 의미하기도 한다. 알고리즘에 대해 단순한 직관을 만족하는 형식적인 정의는 유한한 계산이다. 따라서 알고리즘은 유한한 수의 규칙에 따라 구별 가능한 [[기호]]들을 조작하여 입력 [[정수]]에서 출력 정수를 생성하기 위한 일반화된 작업으로 정의된다. ...

만약 회로가 존재하지 않는다면, 이 경우 안둘레를 형식적인 기호 <math>+\infty</math>로 정의한다. 만약 회로가 존재하지 않는다면, 이 경우 밖둘레를 형식적인 기호 <math>-\infty</math>로 정의한다. ...

...(再歸理論, {{llang|en|recursion theory}})은 [[수학기초론]]의 중요한 분야이자 [[컴퓨터 과학]]에서는 [[계산 이론]]의 한 갈래이다. ...산 가능성 문제를 다른 함수(다른 함수들)의 문제로 환원할 수 있다는 것을 보임으로써, 굳이 알고리즘 자체를 증명에 끌어들이지 않고도 계산 가능성을 증명할 수 있는 것이다. 이에 따라 대안적인 [[공리계]]를 모색하기 위한 이론적 토대가 마련되었고, [[수리논리학]]과 [[ ...

== 크리스토펠 기호 계산 == 위의 계량을 사용하여 첨자가 <math>(1,2,3,4)=(r,\theta,\phi,t)</math>과 같은 [[크리스토펠 기호]]를 찾는다. <math>'</math>표시는 함수의 전체 도함수를 나타낸다. ...

[[분류:기호 계산]] ...

나누는 식의 최고차항 계수 2는 부호를 바꾸지 않고 나누기 기호 /를 그 좌측에 붙여서(즉 /2 기호로 히여) 가로줄 밑, 세로줄 바로 좌측에 적어준다. [[분류:기호 계산]] ...

|기호 = {{mvar|ν_e, ν_μ, ν_τ}} !기호 ...

...해서, 어떤 문제 ''A''가 ''P-완전''이려면 '''P''' 문제 ''B''마다 ''B''가 ''A''로 병렬 프로세서[[빅-오 기호|O]](''n''^''k'')개 써서 O((log ''n'')^''c'') 시간에 환산될 수 있는 ...