rel.
n. | adj. | 해당 조건 |
necessity | necessary | necessary_condition |
sufficiency | sufficient | sufficient_condition |
i.e.
n. | adj. | 해당 조건 | |
necessity ![]() ![]() | necessary ![]() ![]() | ![]() | 필요조건,necessary_condition |
sufficiency ![]() ![]() | sufficient ![]() ![]() | ![]() | 충분조건,sufficient_condition |
조건,condition
=조건,condition =,condition . 조건 condition
{
(not in VG)
필요조건,necessary_condition =필요조건,necessary_condition =,necessary_condition 필요조건 necessary_condition
{
necessary condition
필요조건
수학백과: 필요조건
...
필요조건
필요조건
}
{
necessary condition
필요조건
![[https]](/wiki/imgs/https.png)
...
![Ndict: Ndict:](/wiki/imgs/interwiki/ndict-16.png)
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
}
충분조건,sufficient_condition =충분조건,sufficient_condition =,sufficient_condition 충분조건 sufficient_condition
{
sufficient condition
충분조건
...
충분조건
충분조건
충분조건
}
{
sufficient condition
충분조건
...
충분조건
![Ndict: Ndict:](/wiki/imgs/interwiki/ndict-16.png)
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
}
pagename?? 필요충분조건 necessary and ... 이거너무긴데 그냥 iff로 할까???
필충조건
필충조건
필요충분조건
필요충분조건 = https://ko.wikipedia.org/wiki/필요충분조건
수학백과: 필요충분조건
...
필요충분조건
필요충분조건
필요충분조건
필충조건
필충조건
필요충분조건
![WpKo: WpKo:](/wiki/imgs/interwiki/wpko-16.png)
![[https]](/wiki/imgs/https.png)
...
필요충분조건
![Ndict: Ndict:](/wiki/imgs/interwiki/ndict-16.png)
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
conditional (n.)
...
...
Sub:
// PL에서
conditional_statement (writing)
conditional_operator (writing)
conditional_operator (writing)
연산자,operator
https://everything2.com/title/conditional operator
conditional_operator
conditional+operator
...
conditional operator
conditional operator
conditional_compilationhttps://everything2.com/title/conditional operator
![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
conditional+operator
...
![Ndict: Ndict:](/wiki/imgs/interwiki/ndict-16.png)
![Google: Google:](/wiki/imgs/interwiki/google-16.png)
// 컴퓨터 여러곳에서 (esp 자원,resource을 관리하는 OS라던가....)
가능한 번역은
경쟁|경합 조건|상태 ...
경쟁|경합 조건|상태 ...
// logic
conditional_proposition
biconditional
}
is: 명제,proposition - curr 명제proposition
조건명제,conditional_proposition로 작성중?
curr at
명제,proposition 중간쯤
Cmp:조건명제,conditional_proposition로 작성중?
curr at
![VG: VG:](/wiki/imgs/interwiki/vg-16.png)
biconditional
}
수학 esp 범주론,category_theory에서 ¶
coherence_condition =,coherence_condition =,coherence_condition . coherence_condition
coherence_condition
https://en.wikipedia.org/wiki/Coherence_condition
![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
https://en.wikipedia.org/wiki/Coherence_condition
MKL
coherence OR coherency =,coherence . coherence =,coherency . coherency {
coherence coherency
coherence
coherency
coher
둘 다 일반적인 뜻은 일관성
물리에서 파동,wave에 대해선 두 파동이 뭐뭐가 비슷해서(나중에 정확히) 간섭,interference이 잘되는? 가간섭성 ... kps에선 그런 표현 안쓰고 '결맞음'으로 통일.
coher
category_theory / homotopy_theory 에서의 뜻이 이제 관심거리
Coherency_(homotopy_theory)
coherence
coherency
coherence vs coherency difference
참고로 이름(만?) 관련 : 이것의 형용사형 coherent 에서? - Coherent 는 유닉스,Unix의 일종.
Coherent_(operating_system) = https://en.wikipedia.org/wiki/Coherent_(operating_system) = https://en.wikipedia.org/wiki/Coherent_(operating_system) ...
Coherent Unix
}
coherence_theorem =,coherence_theorem . coherence_theorem {
RENAMETHISPAGEcoherence OR coherency =,coherence . coherence =,coherency . coherency {
![NdEn: NdEn:](/wiki/imgs/interwiki/nden-16.png)
![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
![KmsE: KmsE:](/wiki/imgs/interwiki/kmse-16.png)
둘 다 일반적인 뜻은 일관성
물리에서 파동,wave에 대해선 두 파동이 뭐뭐가 비슷해서(나중에 정확히) 간섭,interference이 잘되는? 가간섭성 ... kps에선 그런 표현 안쓰고 '결맞음'으로 통일.
![KpsE: KpsE:](/wiki/imgs/interwiki/kpse-16.png)
category_theory / homotopy_theory 에서의 뜻이 이제 관심거리
![WpEn: WpEn:](/wiki/imgs/interwiki/wpen-16.png)
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
참고로 이름(만?) 관련 : 이것의 형용사형 coherent 에서? - Coherent 는 유닉스,Unix의 일종.
![WpEn: WpEn:](/wiki/imgs/interwiki/wpen-16.png)
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
}
coherence theorem
coherence_theorem x
https://en.wikipedia.org/wiki/Mac_Lane_coherence_theorem
Coherence_theorem redir to
Coherency_(homotopy_theory)#Coherence_theorem
https://ncatlab.org/nlab/show/coherence theorem
...
coherence theorem
coherence+theorem "coherence theorem"
}
위 둘은 REL: 호모토피,homotopy and 동형사상,isomorphism![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
https://en.wikipedia.org/wiki/Mac_Lane_coherence_theorem
![WpEn: WpEn:](/wiki/imgs/interwiki/wpen-16.png)
![WpEn: WpEn:](/wiki/imgs/interwiki/wpen-16.png)
https://ncatlab.org/nlab/show/coherence theorem
...
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
coherence+theorem "coherence theorem"
}