#noindex
n. 1.
 [[조건]]
n. 2.
 [[상황]]

----
rel.

||n.          ||adj.       ||해당 조건            ||
||necessity   ||necessary  ||necessary_condition  ||
||sufficiency ||sufficient ||sufficient_condition ||

i.e.
||n.                                            ||adj.                                       ||해당 조건                 ||                                  ||
||necessity WtEn:necessity NdEn:necessity       ||necessary WtEn:necessary NdEn:necessary    ||WtEn:necessary_condition  ||[[필요조건,necessary_condition]]  ||
||sufficiency WtEn:sufficiency NdEn:sufficiency ||sufficient WtEn:sufficient NdEn:sufficient ||WtEn:sufficient_condition ||[[충분조건,sufficient_condition]] ||

[[조건,condition]] =조건,condition =,condition .
(not in VG) !vg
{
WtEn:condition

[[필요조건,necessary_condition]] =필요조건,necessary_condition =,necessary_condition 필요조건 necessary_condition
{
necessary condition
필요조건
[[https://terms.naver.com/entry.naver?docId=3338061&cid=47324&categoryId=47324 수학백과: 필요조건]]
...
Ndict:필요조건
Ggl:필요조건
}

[[충분조건,sufficient_condition]] =충분조건,sufficient_condition =,sufficient_condition 충분조건 sufficient_condition
{
sufficient condition
충분조건
...
충분조건
Ndict:충분조건
Ggl:충분조건
}

''pagename?? 필요충분조건 necessary and ... 이거너무긴데 그냥 iff로 할까???''
필충조건
필충조건
필요충분조건
WpKo:필요충분조건 = https://ko.wikipedia.org/wiki/필요충분조건
 interwiki en: WpEn:Necessity_and_sufficiency = https://en.wikipedia.org/wiki/Necessity_and_sufficiency
[[https://terms.naver.com/entry.naver?docId=3338063&cid=47324&categoryId=47324 수학백과: 필요충분조건]]
...
필요충분조건
Ndict:필요충분조건
Ggl:필요충분조건

[[경계조건,boundary_condition]] - [[VG:경계조건,boundary_condition]]
[[초기조건,initial_condition]] - [[VG:초기조건,initial_condition]]
}
----
[[조건부,conditional]] - [[VG:조건부,conditional]] vg
and
[[conditional]] (writing at local) =,conditional .
{

conditional (adj./prefix)
조건 // ex. [[VG:조건수렴,conditional_convergence]]
조건부 (가장 흔한 번역인듯)
조건부의
조건에 따른
...

conditional (n.)
...

WtEn:conditional

Sub:

// PL에서

[[conditional_statement]] (writing)
 조건문 이 대세 번역.
 [[statement]]는 문/문장?
 WtEn:conditional_statement

[[conditional_operator]] (writing)
 [[연산자,operator]]
 https://everything2.com/title/conditional+operator
 WtEn:conditional_operator
 conditional+operator
 ... Ndict:conditional+operator Google:conditional+operator

[[conditional_compilation]]

[[conditional_construct]]
 ... Google:conditional+construct

...
[[WpEn:Conditional_(computer_programming)]]

// CPU/[[컴퓨터구조,computer_architecture]]/[[assembly_language]]에서

[[conditional_branch]]

// 컴퓨터 여러곳에서 (esp [[자원,resource]]을 관리하는 OS라던가....)

[[race_condition]] =,race_condition =,race_condition . race_condition
{
race condition

가능한 번역은
경쟁|경합 조건|상태 ...


[[WtEn:race_condition]] = https://en.wiktionary.org/wiki/race_condition

"race condition"
Ggl:"race condition"
Ndict:"race condition"
Naver:"race condition"
} // race condition


// logic

[[conditional_proposition]]
 is: [[명제,proposition]] - curr [[명제proposition]]
 [[조건명제,conditional_proposition]]로 작성중?
 curr at [[VG:명제,proposition]] 중간쯤

Cmp:
[[biconditional]]
 ... WtEn:biconditional Naver:biconditional Google:biconditional
 [[biconditional_elimination]]
  [[WpEn:Biconditional_elimination]] = https://en.wikipedia.org/wiki/Biconditional_elimination
  ... Naver:biconditional+elimination Google:biconditional+elimination
  [[소거,elimination]]?
}

= 수학 esp [[범주론,category_theory]]에서 =
[[coherence_condition]] =,coherence_condition =,coherence_condition . coherence_condition
WtEn:coherence_condition
https://en.wikipedia.org/wiki/Coherence_condition
 MKL
 [[coherence]] OR [[coherency]] =,coherence . coherence =,coherency . coherency {
  NdEn:"coherence coherency"
  WtEn:coherence WtEn:coherency
  KmsE:coher

  둘 다 일반적인 뜻은 일관성
  물리에서 [[파동,wave]]에 대해선 두 파동이 뭐뭐가 비슷해서(나중에 정확히) [[간섭,interference]]이 잘되는? 가간섭성 ... kps에선 그런 표현 안쓰고 '결맞음'으로 통일. KpsE:coher
  [[category_theory]] / [[homotopy_theory]] 에서의 뜻이 이제 관심거리

  [[WpEn:Coherency_(homotopy_theory)]]
  Ggl:coherence Ggl:coherency
  Ggl:coherence+vs+coherency+difference

  참고로 이름(만?) 관련 : 이것의 형용사형 coherent 에서? - Coherent 는 [[유닉스,Unix]]의 일종. [[WpEn:Coherent_(operating_system)]] = https://en.wikipedia.org/wiki/Coherent_(operating_system) =  https://en.wikipedia.org/wiki/Coherent_%28operating_system%29 ... Ggl:"Coherent Unix"
  }
 [[coherence_theorem]] =,coherence_theorem . coherence_theorem {
  coherence theorem
  WtEn:coherence_theorem x
  
  https://en.wikipedia.org/wiki/Mac_Lane_coherence_theorem
  WpEn:Coherence_theorem redir to [[WpEn:Coherency_(homotopy_theory)#Coherence_theorem]]
  https://ncatlab.org/nlab/show/coherence+theorem 
  ...
  Ggl:coherence+theorem 
  coherence+theorem "coherence theorem"
  }
 위 둘은 REL: [[호모토피,homotopy]] and [[동형사상,isomorphism]]

RENAMETHISPAGE