검색 결과
둘러보기로 이동
검색으로 이동
문서 제목 일치
- ...theory}}, 약자 RTT) 또는 '''복잡 유형 이론'''(複雜類型理論)은 [[단순 유형 이론]]보다 더 세분된 [[유형 이론|유형]]을 사용하는 논리 체계이다.<ref name="Laan">{{저널 인용 ...V},\mathcal A,\mathcal R,\operatorname{arity}_{\mathcal R})</math>에 대한 분지 유형 이론은 다음과 같다. ...20 KB (2,308 단어) - 2024년 5월 18일 (토) 12:31
- '''종'''(kind)는 [[수리논리학]] 및 [[컴퓨터 과학]]의 영역에서 [[형 이론]](타입 이론)으로 구분되어 있다. '''종'''(kind)이란 [[wikipedia:Type_constructor|타입 생성자]]같은 타입 혹은, * <math>*</math>모든 [[자료형|데이터 유형]]의 종이다 ...8 KB (359 단어) - 2024년 5월 18일 (토) 14:11
문서 내용 일치
- [[게임 이론]]에서 '''베이즈 게임'''({{lang|en|Bayesian game}})은 [[베이즈 확률론]]의 관점을 이용하여 경기자의 상호작 완전정보와 불완전정보는 경기자가 상대 경기자가 어떤 행동을 사전에 알 수 있는지에 관한 것이고, 완비정보와 미비정보는 경기자가 상대방의 유형 또는 성향을 알고 있는지에 관한 것이다. 미비정보 게임에서는 상대방의 행동 뿐만 아니라 경기자의 유형에 따라서도 게임의 보수가 달라질 ...5 KB (288 단어) - 2024년 12월 9일 (월) 11:16
- ...theory}}, 약자 RTT) 또는 '''복잡 유형 이론'''(複雜類型理論)은 [[단순 유형 이론]]보다 더 세분된 [[유형 이론|유형]]을 사용하는 논리 체계이다.<ref name="Laan">{{저널 인용 ...V},\mathcal A,\mathcal R,\operatorname{arity}_{\mathcal R})</math>에 대한 분지 유형 이론은 다음과 같다. ...20 KB (2,308 단어) - 2024년 5월 18일 (토) 12:31
- [[호모토피 이론]]에서 '''포스트니코프 탑'''(Постников塔, {{llang|en|Postnikov tower}})은 [[위상 공간 (수학)| ...xrightarrow{f_\bullet}X_{\bullet-1}</math>이 주어졌을 때, <math>X</math>의 [[호모토피 유형]]을 다음과 같이 [[역극한]]으로 재구성할 수 있다. ...3 KB (152 단어) - 2024년 5월 9일 (목) 04:02
- ==비뉴턴적 행동의 유형== == 리-아이링 이론 == ...7 KB (283 단어) - 2024년 8월 6일 (화) 01:13
- '''종'''(kind)는 [[수리논리학]] 및 [[컴퓨터 과학]]의 영역에서 [[형 이론]](타입 이론)으로 구분되어 있다. '''종'''(kind)이란 [[wikipedia:Type_constructor|타입 생성자]]같은 타입 혹은, * <math>*</math>모든 [[자료형|데이터 유형]]의 종이다 ...8 KB (359 단어) - 2024년 5월 18일 (토) 14:11
- 그에 의하면 이러한 정의는 《[[수학 원리]]》의 모든 [[유형 이론|유형]]을 집합으로 정의될 수 있게 한다. (《수학 원리》의 [[관계 (수학)|관계]]를 비롯한 유형들은 본래 모두 정의내리지 않는 [[무정 그는 정의와 [[유형 이론]]이 양립하게 하기 위해(즉, 집합의 원소가 모두 같은 유형이어야 한다), <math>\{b\}</math>가 아닌 <math>\{\{ ...14 KB (912 단어) - 2024년 12월 19일 (목) 19:48
- {{끈 이론}} [[끈 이론]]에서 거울 대칭은 [[IIA형|IIA 유형]]과 [[IIB형|IIB 유형]] 이론을 관련시킨다. 유형 IIA와 유형 IIB의 유효장론을 거울 대칭 쌍인 다양체에서 축소화하면 두 이론이 동일해야 한다고 예측한다. ...12 KB (581 단어) - 2025년 3월 10일 (월) 23:36
- [[매듭 이론]]에서 '''풀린매듭'''({{llang|en|unknot}}) 또는 '''자명한 매듭'''({{llang|en|trivial knot 특정 매듭이 풀린매듭인지 여부를 결정하는 것은 [[매듭 불변량]] 연구의 주요 원동력이었는데, 이 접근 방식이 [[매듭 이론|매듭 다이어그램]]과 같은 일부 표현에서 매듭을 인식하는 효율적인 알고리즘을 제공할 수 있다고 여겨졌기 때문이다. 이 문제는 [[NP ...5 KB (140 단어) - 2025년 2월 4일 (화) 06:45
- .../ref> [[윌러드 반 오먼 콰인]](Quine)이 《[[수학 원리]]》(''Principia Mathematica'')의 [[유형 이론|유형론]]을 단순화시킨 것에서 유래한다. 콰인은 1937년 "New Foundations for Mathematical Logic"에서 === 단순 유형 집합론 === ...15 KB (1,286 단어) - 2025년 1월 8일 (수) 16:45
- ...n domain,부울 영역) 은 거짓 및 참을 포함하는 해석이 포함된 정확히 두 개의 요소로 구성된 집합이다. [[수리 논리학]] 및 이론 컴퓨터 과학에서 부울 도메인은 일반적으로 {0, 1},<ref>[[Dirk van Dalen]], ''Logic and Structur ...예약어]] 또는 [[기호]]가 사용된다 (예 : false 및 true ) 그러나 많은 프로그래밍 언어는 엄격한 의미에서 부울 데이터 유형 을 가지고 있지 않다. 예를 들어, [[C (프로그래밍 언어)|C]] 또는 [[BASIC]]에서 '''거짓'''은 숫자 0으로 표시되고 ...3 KB (196 단어) - 2025년 2월 6일 (목) 01:41
- [[호모토피 이론]]에서 '''변형 수축'''(變形收縮, {{llang|en|deformation retract}})은 [[호모토피 유형]]을 보존시키면서 어떤 [[위상 공간 (수학)|위상 공간]]을 그 [[부분 공간]]으로 오그라뜨리는 과정이다. 모든 변형 수축은 [[호 [[분류:호모토피 이론]] ...6 KB (568 단어) - 2024년 5월 21일 (화) 11:45
- * 입출력 값의 유형: [[아날로그 필터]]와 [[디지털 필터]] * 입출력 값의 시간 유형: [[연속 시간과 이산 시간|연속 시간 필터]]와 이산 시간 필터 ...12 KB (459 단어) - 2024년 1월 31일 (수) 05:24
- 을 생각하자. 그 [[호모토피 유형]]은 [[무한 순환군]]의 2차 [[에일렌베르크-매클레인 공간]] <math>\operatorname K(\mathbb Z,2)</ma 뒤틀린 K이론은 [[끈 이론]]의 [[D-막]]을 분류한다.<ref>{{저널 인용|arxiv=hep-th/0108100|날짜=2010|제목=D-brane insta ...6 KB (438 단어) - 2024년 6월 5일 (수) 01:30
- ...ical logic}} || *1 ~ *43 || [[명제 논리]], [[술어 논리]], [[집합론]], [[이항 관계]], [[유형 이론]] ...5 KB (124 단어) - 2025년 3월 3일 (월) 08:10
- ...로 대수적인 의미의 수이지만,<ref name="Ricca" /> 불변량은 예/아니오 대답과 같은 단순한 것부터 [[호몰로지|호몰로지 이론]]과 같은 복잡한 것까지 다양하다. 예를 들어, 매듭 불변량은 매듭 {{수학|''K''}}에 양 {{수학|φ''K''}}를 할당하는 규 현대적인 관점에서 [[매듭 이론|매듭 다이어그램]]으로부터 매듭 불변량을 정의하는 것이 자연스럽다. 물론 이는 [[라이데마이스터 변형]]에 의해 바뀌지 않아야 한다. ...8 KB (271 단어) - 2022년 9월 2일 (금) 02:18
- [[수리논리학]]에서 '''증명 이론'''(證明理論, {{llang|en|proof theory}})은 [[증명]]을 형식적인 수학적 개체로 표상하여 수학적 기법으로 이용하 ...미론]]적 성질이 있는 데 대조적으로 증명 이론에는 [[통사론|구문론]]적 성질이 있다. [[모형 이론]], [[집합론]], [[재귀 이론]]과 함께 증명 이론은 [[수학기초론]]의 4대 기둥이라고도 불린다. ...9 KB (243 단어) - 2024년 12월 20일 (금) 14:19
- * [[분지 유형 이론#치환]] ...6 KB (793 단어) - 2024년 12월 21일 (토) 05:47
- ...장 일반적으로 위상수학적 양자 수는 물리적 계를 모델링하는 일부 [[미분방정식]]들의 집합에 있는 위상수학적 결함 또는 [[솔리톤]] 유형 해와 관련된 위상수학적 불변량이다. 솔리톤 자체는 위상수학적으로 안정성이 있기 때문이다. 특정 "위상수학적 고려 사항"은 일반적으로 물 * [[위상 끈 이론]] ...5 KB (78 단어) - 2024년 7월 12일 (금) 12:10
- [[게임 이론]]에서 '''칩 토크'''(''Cheap talk''. 값싼 대화, 빈말 게임)는 플레이어 사이에서 이루어지는 게임의 승패에 직접적인 == 크로포드와 소벨의 기본 이론 == ...15 KB (683 단어) - 2024년 4월 22일 (월) 01:05
- [[끈 이론]]에서 '''K-이론 분류'''는 수학의 한 분야인 [[K이론|K-이론]]을 초끈 이론에 적용하여 허용된 [[라몽-라몽 장|라몽-라몽]] 장 세기와 안정적인 [[D-막]]의 전하를 분류하는 것을 말한다. ...드 인용 본문|Minasian|Moore|1997}}에 의해 처음 제안되었다. {{하버드 인용 본문|Witten|1998}}은 IIB 유형 끈이론이 [[타키온 응축]] 후 [[D-막|D9]] 및 반-D9-막의 스택으로서 [[아쇼케 센]]의 임의의 D-막 구성의 실현으로부터 ...21 KB (1,186 단어) - 2023년 11월 13일 (월) 02:29