검색 결과

...기'를 해서 각각 병렬적으로 계산을 한다고 상상하면 된다. 결정론적 튜링 기계는 유일한 계산 경로를 따르지만, 비결정론적 튜링 기계는 계산 경로가 [[트리 구조|트리]] 형태가 된다. 트리의 여러 가지(branch) 중의 한 곳에서 "accept" 상태가 되어 계산이 끝나면 [[분류:계산 모형]] ...

{{다른 뜻|계산 복잡도 이론||이론}} ...간 복잡도|계산 시간]](일반적으로 필요한 기본 연산의 수로 측정)과 [[공간 복잡도|메모리 저장소]] 요구 사항에 중점을 둔다. [[계산 문제|문제]]의 복잡도는 문제를 해결할 수 있는 최선의 알고리즘의 복잡도를 의미한다. ...

[[체론]]과 [[모형 이론]]에서 '''실폐체'''(實閉體, {{llang|en|real closed field}})는 [[실수체]]와 [[기본 동치]]인 * [[계산 가능한 수]]의 체 ...

[[분류:계산 모형]] ...

...ry}}, DMFT)은 강상관계 물질의 전자 구조를 밝히는 기법이다. 강상관계 물질의 경우 [[밀도범함수 이론]]이나 [[띠 구조]] 계산 등에 쓰이는 독립 전자 근사법을 적용하기 어렵다. 전자 사이의 국소적 상호작용을 섭동론이 아닌 방식으로 기술하는 동적 평균 장 이론을 동적 평균 장 이론은 [[다체계]] 격자에서 정의된 문제를 [[불순물 모형]]이라 불리는 국소 문제로 매핑하는 과정으로 이루어진다.<ref name=Georges_Kotliar>{{저널 인용|title=Hubb ...

...]] 그리고 [[뜨거운 암흑 물질]]보다 무겁지만, [[차가운 암흑 물질]]보다는 가볍다. [[이휘소#물리우주론적 리-와인버그 경계의 계산|이휘소-와인버그 경계]]<ref> ...해 밝혀진 바에 의하면, 새로운 힘을 도입하지 않은 채의, 전약 이론보다 작은 스케일에서, [[이휘소#물리우주론적 리-와인버그 경계의 계산|이휘소-와인버그 경계]]를 피할 수는 없다.<ref>{{저널 인용 ...

...라 구성된다. 즉 [[모형이론]]에 [[의미론]]적 성질이 있는 데 대조적으로 증명 이론에는 [[통사론|구문론]]적 성질이 있다. [[모형 이론]], [[집합론]], [[재귀 이론]]과 함께 증명 이론은 [[수학기초론]]의 4대 기둥이라고도 불린다. ...첸]](Gerhard Gentzen)은 독자적으로 [[자연 연역]]의 계산법을 제시하였다. 특히 겐첸은 [[자연 연역]]과 [[시퀀트 계산]]의 핵심부분을 형식화하여 [[직관 논리]]의 형식화의 기반을 쌓고 [[페아노 산술]]의 일관성에 대한 첫 조합적 증명(combinat ...

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

=== 시공간의 수학적 모형 === ==== 시공간의 수학적 모형 ==== ...

[[분류:계산 모형]] ...

== 정지 토압의 계산 == == 주동 및 수동 토압의 계산 == ...

[[파일:Proton decay.svg|300px|오른쪽|섬네일|[[조자이-글래쇼 모형]]에서 입자의 [[약한 아이소스핀]], [[약한 초전하]], [[색전하]]의 패턴. 이 패턴에서 업쿼크 2개와 다운쿼크 2개로 이루어진 ...[[중입자수]]가 [[중입자수 보존|보존]]되기 때문에([[키랄 이상]]과 같은 상태 제외) 붕괴하지 않고 안정하다. 따라서, 표준 모형 하에 양성자는 가장 가벼운 중입자이자 에너지가 가장 작은 중입자이기 때문에 붕괴하지 않을 것이다. ...

...가 하나 더 추가되며, 이에 따라서 입자 스펙트럼이 달라진다. 이 모형의 [[산란 행렬]]은 해석적으로 계산 가능하며, 이는 [[티링 모형]]과 [[S-이중성]]을 통해 동형이다.<ref>{{저널 인용 ...

...리 언어의 '''의미론'''이란 그 언어의 문장들에 대하여 참인지 여부를 일관적으로 부여하는 구조이다. 이는 보통 [[모형 (논리학)|모형]]으로 주어진다. ...다비트 힐베르트]]의 [[힐베르트 체계]]({{llang|en|Hilbert system}})나, [[게르하르트 겐첸]]의 [[시퀀트 계산]]({{llang|en|sequent calculus}})이나 [[자연 연역]]({{llang|en|natural deduction}} ...

...서 중요하며, 주요 입자 이론인 [[기본 입자|양자]] [[양자 전기역학|전기역학]], [[양자 색역학]] 및 입자 물리학의 [[표준 모형|표준 모델]]을 포함한다. 연속적인 시공간에서의 비교란 게이지 이론 계산에는 공식적으로 계산상 다루기 힘든 무한 차원 [[경로 적분 공 == 측정 및 계산 == ...

...그래프는 [[거의 확실하게]] [[라도 그래프]]라는 그래프와 동형이 된다. 이 사실은 무작위 그래프의 [[1차 논리]] 언어의 [[모형 이론]]으로 해석할 수 있다. 또한, 이러한 무작위 그래프는 [[소셜 네트워크 서비스]] 및 기타 실재 네트워크의 모형으로 쓰인다. ...한 알고리즘의 [[계산 복잡도]]를 연구한다. 그래프 관련 문제들 가운데 일부는 [[NP-완전]] 문제이며, 따라서 이들의 연구는 [[계산 복잡도 이론]]의 중요한 부분을 차지한다. ...

...다른 입자를 포함하는 현실적인 모델의 상황은 일반적으로 알려져 있지 않다. 그럼에도 불구하고 힉스 보존은 [[입자물리학]]의 [[표준 모형]]에서 중심 역할을 하기 때문에 힉스 모델의 자명성에 대한 문제는 아주 중요하다. ...제약은 힉스 질량이 자유 매개변수인 고전적 수준에서 도출되는 그림과 뚜렷한 대조를 이룬다. 양자의 자명함은 점근적 안전 시나리오에서 계산 가능한 힉스 질량으로 이어질 수도 있다. ...

==공식과 계산== [[파일:Congeneric measurement model.png|섬네일|300px|동류 측정 모형]] ...

...]에서 '''강제법'''(强制法, {{llang|en|forcing}})은 특정한 조건을 만족시키는 [[집합론]] [[구조 (논리학)|모형]]을 정의하는 방법이다.<ref>{{저널 인용|제목=What is … forcing?|url=http://www.ams.org/noti === 강제법 모형 === ...

==계산== [[파일:Windkessel effect.svg|섬네일|빈트케셀 모형]] ...