• 존재성,existence . . . . 27 matches
       ''다른 가능한 pagename: [[존재,existence]] (writing) - 저거로 바꿀까?''
       양화사 quantifier 기호는 ∃ (i.e. [[존재기호existential_quantifier]])
       backsrch [[존재성,existence]] or
       Srch:존재성
       Srch:존재
       '''존재성'''이 있다 = 반드시/필연적으로 존재한다 vs 존재가능하다 ? 전자일듯?
       [[존재가능성]]은 전혀 다른 표현? .... Google:존재성+존재가능성 Naver:존재성+존재가능성
        존재가능성 의 영어 표현? ... Ndict:존재가능성 Google:존재가능성
       Cmp: 존재성+유일성
       '''존재성'''이 있는 게 확실하다면 그 다음에 그것의 유일성을 따짐.
        * 존재성 : 0개인가 아닌가
       ... Ndict:존재성+유일성 Google:존재성+유일성
       수학에서 말하는 '''존재성'''은 물리에서 말하는 존재성과 그 뜻이 전혀 다르다.[* (실수든 허수든,) "따지고 보면 모든 수는 상상의 산물이지 구체적으로 존재하는 그 무엇은 아니지 않은가." 박부성, https://terms.naver.com/entry.naver?docId=3570142&cid=58944&categoryId=58970]
        curr at [[존재기호existential_quantifier]]
       ... Ndict:존재성+existence Google:존재성+existence
• 네트워크과학,network_science . . . . 17 matches
       hypergraph : hyperedge 가 존재하는 graph.
        vertex를 두 그룹으로 나누어, 그룹 안에는 edge가 존재하지 않으며, 모든 edge가 그룹 사이에만 존재하는 graph.
        bipartite matrix에는 incidence_matrix 가 존재한다.
       [[트리,tree]] : connected, undirected_network 의 일종, closed_loop 가 존재하지 않는 graph.
        parent가 단 하나만 존재하는 graph.
        rel. density ( graph_density ?) = connectance : 전체 존재 가능한 edge와 실제 존재하는 edge(수?)의 비율
        edge의 방향이 존재하는, 즉 directed_graph 에서만 정의
        vertex들의 sequence인데, 그 모든 consecutive vertex pair가 connected edge인 - 연결된 그래서 edge가 존재하는 - ?
        connectivity : (위 상황에서) 주어진 vertex pair 사이에 존재하는 모든 independent path의 개수. /// 그럼 얼마나 '갈 수 있는 길들'이 많은지 여부?
        무언가 유용한 정보를 가진 vertex. directed_network 에만 존재.
        authority 중 최고를 찾을 수 있는 곳이 어디인지 알려줄 수 있는 vertex들. directed_network 에만 존재.
        graph에 존재하는 모든 [[최단경로,shortest_path]]들에 대해, 한 vertex가 얼마나 많이 그 경로에 속하는지를 나타내는 지표.
        (그래프이론에서 component란 단순히...) 어떤 [[경로,path]]를 통해 다른 구성원''(QQQ vertex? 아님 vertex or edge 둘다?)'' 에 도달할 수 있으면 그것을 component 라고 한다. 즉 어떤 k-component 안에 있는 임의의 vertex는 같은 k-component에 존재하는 다른 임의의 vertex로 반드시 갈 수 있다.
        "평균 edge의 개수는 모든 pair의 개수에서 edge가 존재할 확률인 p를 곱한"
       random_network 는 실제 네트워크와 맞지 않는 점이 존재. 가장 큰 문제는 degree_distribution 과 clustering_coefficient 가 실제 network와 '반하다'(?) 반한다 - 다르다? 는 점.
• 네트워크과학,network_science,netsci . . . . 17 matches
       hypergraph : hyperedge 가 존재하는 graph.
        vertex를 두 그룹으로 나누어, 그룹 안에는 edge가 존재하지 않으며, 모든 edge가 그룹 사이에만 존재하는 graph.
        bipartite matrix에는 incidence_matrix 가 존재한다.
       [[트리,tree]] : connected, undirected_network 의 일종, closed_loop 가 존재하지 않는 graph.
        parent가 단 하나만 존재하는 graph.
        rel. density ( graph_density ?) = connectance : 전체 존재 가능한 edge와 실제 존재하는 edge(수?)의 비율
        edge의 방향이 존재하는, 즉 directed_graph 에서만 정의
        vertex들의 sequence인데, 그 모든 consecutive vertex pair가 connected edge인 - 연결된 그래서 edge가 존재하는 - ?
        connectivity : (위 상황에서) 주어진 vertex pair 사이에 존재하는 모든 independent path의 개수. /// 그럼 얼마나 '갈 수 있는 길들'이 많은지 여부?
        무언가 유용한 정보를 가진 vertex. directed_network 에만 존재.
        authority 중 최고를 찾을 수 있는 곳이 어디인지 알려줄 수 있는 vertex들. directed_network 에만 존재.
        graph에 존재하는 모든 [[최단경로,shortest_path]]들에 대해, 한 vertex가 얼마나 많이 그 경로에 속하는지를 나타내는 지표.
        (그래프이론에서 component란 단순히...) 어떤 [[경로,path]]를 통해 다른 구성원''(QQQ vertex? 아님 vertex or edge 둘다?)'' 에 도달할 수 있으면 그것을 component 라고 한다. 즉 어떤 k-component 안에 있는 임의의 vertex는 같은 k-component에 존재하는 다른 임의의 vertex로 반드시 갈 수 있다.
        "평균 edge의 개수는 모든 pair의 개수에서 edge가 존재할 확률인 p를 곱한"
       random_network 는 실제 네트워크와 맞지 않는 점이 존재. 가장 큰 문제는 degree_distribution 과 clustering_coefficient 가 실제 network와 '반하다'(?) 반한다 - 다르다? 는 점.
• 극한(limit) . . . . 13 matches
       의 뜻은, 각 $\epsilon>0$ 에 대해 자연수 $M$ 이 존재하여 such that
        * 대응하는 $\delta>0$ 이 존재하여
       $\lim_{x\to 0}\sin\frac1x$ 는 존재하지 않는다.
       어떤 델타냐면 $0<|x-c|<\delta$ 일 때, $|f(x)-L|<\epsilon$ 인 그런 델타가 모든 입실론에 대해 존재한다.
       의 뜻은, $\epsilon>0$ 에 대해 대응하는 $M$ 이 존재하여
       의 뜻은, $\epsilon>0$ 에 대해 $M$ 이 존재하여
       k가 0일 경우는 trivial. k가 0이 아닌 것으로 가정. 극한값이 존재하고 L이라고 가정. 식
       을 만족하는 $\delta$ 가 존재.
       다음을 만족하는 $\delta_1,\delta_2$ 가 존재.
       주어진 $\epsilon>0$ 에 대응하는 $\delta_1>0$ 가 존재한다. such that
       하지만 $\lim_{x\to c}g(x)=L$ 이므로, 주어진 $\delta_1>0$ 에 대해, 대응하는 $\delta_2>0$ 이 존재한다. such that
       ② $\lim_{n\to\infty}a_n$ 이 존재할 때, {a,,n,,}은 수렴한다고 하고, $\lim_{n\to\infty}a_n$ 을 {a,,n,,}의 극한이라 한다.
       극한값이 존재하지 않으면 발산.
• 관계relationship . . . . 10 matches
       두 개 사이에 존재하는 [[binary_relationship]]
       세 개 사이에 존재하는 [[ternary_relationship]]
       개체 B가 독자적으로 존재할 수 없고, 개체 A의 존재 여부에 의존적이면, B는 A에 종속되어 있다.
       A가 존재해야 B가 존재할 수 있고,
       이런 것을 존재종속(existence dependence)이라 한다.
       다른 개체의 존재 여부를 결정하는 개체: 오너 개체(owner entity)
       다른 개체의 존재 여부에 의존적인 개체: 약한 개체(weak entity)
       학교 DB에선 학생 개체가 있어야 학부모 객체가 존재하고, 학생 개체가 없으면 학부모 객체가 필요없다.
• 문제,problem . . . . 7 matches
        * 존재하는가? [[존재,existence]] [[존재성,existence]] Ndict:existence KmsE:existence
        * 아님 존재하지 않는가?
        * 혹시 존재하는지 존재하지 않는지 [[결정,determination]]할 수도 없는 것인가?
        * 그리고 존재한다면, 그걸 찾아내는 방법 / 해법 (Ndict:해법 NdEn:해법 Ggl:해법 ... 이것도 영어로 solution? chk Ggl:solution WtEn:solution ) / 해결방법 / 해결 [[방법,method]] ... (rel. [[전략,strategy]])은 무엇인가?
• 반도체공학,semiconductor_engineering . . . . 7 matches
        * P형 쪽에는 음의 acceptor 원자가 존재하며
        * N형 쪽에는 양의 donor 원자가 존재하는데
       여기에는 이온화된 acceptor/donor 원자들만 존재하며, 움직일 수 있는 캐리어([[운반자,carrier]])가 없다.
       $E=E_F$ 일 때 $f(E)=1/2$ 즉 50% 확률로 전자 존재. 이건 온도와 무관.
        * 낮은 전자는 100% 확률로 존재하며
        * 높은 전자는 존재할 수 없다
       하나의 [[에너지상태,energy_state]]에 하나의 입자만 존재할 수 있다고 정의한 함수.
• 가설,hypothesis . . . . 6 matches
       두 세트 사이에 서로 관계가 존재하지 않는다는 주장.
        $s=-2,-4,-6,\ldots$ 같이 음의 정수일 때 나타난다.(존재한다)
        일 때 존재하며 그 개수가 무수히 많다.
        그리고 $\operatorname{Re}(s)>1$ 일 때는 영점이 존재하지 않으며, Euler_product_formula Ggl:"Euler product formula" 로 증명이 가능한데, 여기선 스킵하겠다.
       $0\lt x\lt 1$ 인 저 strip에서, 특히 $x=\frac12$ 인 임계선(critical line)에서'만' (자명하지 않은) 영점들이 존재한다 - 는 것이 바로 리만 가설.
       을 만족하는 집합 $X$ 는 존재하지 않는다.
• 급수,series . . . . 5 matches
        (iii) 적당한 양수 $R$ 이 존재하여
        $f$ 의 거듭제곱 급수 표현이 존재할 경우
        $f$ 의 $(n+1)$ 계 도함수가 $a$ 를 포함하는 적당한 구간 $I$ 에서 존재할 때, $I$ 에 속한 $x$ 에 대하여 $x$ 와 $a$ 사이에 적당한 실수 $z$ 가 존재하여
        $-|x|\lt z\lt |x|$ 인 $z$ 가 존재하여
• 존재명제 . . . . 5 matches
       '집합 A의 원소 x 중에서 p(x)가 참이 되도록 하는 것이 하나 이상 존재함'을
       사용하는 기호/양화사: [[존재기호existential_quantifier]]
       '''존재명제'''와 [[쌍대,dual]]: [[전칭명제]]
       ... Ndict:존재명제 Ggl:존재명제
• OnlineLectures . . . . 4 matches
        * 실제로 존재하는 대상과, 개념적으로 존재하는 대상
        * 엔티티로 볼 수는 있지만, 다른 엔티티에 종속되어 해당 엔티티가 없다면 존재 하지 않는 종속성을 가지는 엔티티
       전기장과 자기장 현상은 동시에 존재한다. 그런데, 서로 독립적이다 (영향을 안 미친다) - 여기서 독립적이라고 하는 것은 orthogonal. ([[직교성,orthogonality]])
• SQL,structured_query_language . . . . 4 matches
       ⓑ [[기본키primary_key]]로 테이블에 하나만 존재 가능
       ⓒ [[대체키alternate_key]]로 테이블에 여러개 존재 가능
       ⓓ [[외래키foreign_key]]로 테이블에 여러개 존재 가능
       ⓔ 데이터 [[무결성integrity]]을 위한 제약조건([[무결성제약조건integrity_constraint]]? chk)으로 테이블에 여러 개 존재 가능
• 널,null . . . . 4 matches
       [[양,quantity]]의 [[측도,measure]]가 '''영,zero'''라는 것은 없음/無/nothing/none/부재(rel [[존재성,existence]])/...
        (등등 비어있음, 비존재, 무존재 등.)
       "존재하지 않는다는 것을 지시하는데 사용되는 특별한 표시어(special marker)" (wpko)
• 존재기호existential_quantifier . . . . 4 matches
       0은 안됨. 1부터 됨. // ('존재'여부는 그 개수가 0이면 안되고 1개 이상부터 된다는 얘기.)
       [[존재명제]]
       [[existence]] - [[존재성,existence]] or [[존재,existence]]
• 한정기호_정량자_quantifier . . . . 4 matches
       ||존재정량자 ||존재기호 || ∃ ||어떤 ||there exists, for some ||
        [[존재기호existential_quantifier]] ∃ : 어떤, there exists ...=존재양화사?
• 네트워크,network . . . . 3 matches
        * 실제 존재하는 ... 보통 어떤 통신장비(communication_device Ggl:"communication device") ie 통신 [[장치,device]], [[컴퓨터,computer]]들의 연결
        * 그 사이에 존재하는 것은 통신선, link. (edge라고는 보통 안 함.)
        * 그 사이에 존재하는 것은 edge, link // [[에지,edge]] [[링크,link]]
• 미분방정식,differential_equation . . . . 3 matches
       n계 미방에 대한 n개의 임의의 상수를 포함하는 해가 존재할 때, 해를 그 방정식의 일반해라 한다.
       $\frac{\partial f}{\partial x}=M,\frac{\partial f}{\partial y}=N$ 을 만족하는 2변수 $f(x,y)$ 가 존재하지 않는다.
       전부 0은 아닌 $c_1,\cdots,c_n$ 들이 존재해서 이 방정식의 해가 된다.
• 성질,property . . . . 3 matches
       존재하는지 안하는지에 대한 성질: [[존재성,existence]]??
       [[존재,existence]]하는 것의 성질? : [[유일성uniqueness]](db), [[유일성,uniqueness]] // (n.b. 위아래 existence의 pagename 다름)
• 시그마대수,sigma-algebra . . . . 3 matches
        어떠한 [[측도,measure]]를 써도 그 [[크기,size]]를 부여할 수 없는 집합이 존재한다([[존재성,existence]]) - 수학적으로 무의미한 측도는 부여할 수 있지만 유용한 측도를 부여할 수는 없다(''없는 경우가 존재한다는 얘기?'') -> 자세한 건 [[바나흐-타르스키_역설,Banach-Tarski_paradox]] (대충 분해 - 재조립 에서 생기는 그 위상/기하/...의 [[역설,paradox]]) { [[Namu:바나흐-타르스키%20역설]] = https://namu.wiki/w/바나흐-타르스키%20역설 - 사실 [[정리,theorem]]임. 직관과 다르기 때문에 역설이란 이름이 붙은 것. } Ggl:"Banach-Tarski paradox"
• 진리,truth . . . . 3 matches
       [[문장,sentence]]은 그 자신을 결론으로 갖는 부당한 [[논증,argument]]이 존재하지 않을 경우에 오직 그 경우에만 '''필연적으로 참'''이다.
       의 귀결이다. ∵ 그 조건문이 거짓인 상황은 존재하지 않으므로 이 문장이 참이면서 그 조건문이 거짓인 상황도 존재할 수 없기 때문이다.
• 판정법,test . . . . 3 matches
       이유: 충분히 큰 $n$ 에 대해 적당한 자연수 $N$ 이 존재하여 $n\ge N$ 일 때 $a_n\approx cb_n$ 이므로
       (i) $n$ 이 크면, 즉 적당한 자연수 $N$ 이 존재하여 $n\ge N$ 이면
       극한 $\lim_{n\to\infty}\frac{a_n}{b_n}$ 이 존재하고 양의 수이면,
• GenPhyExercises . . . . 2 matches
       q,,3,,와 q,,1,,이 매우 가까울 때 +x방향으로 힘이 존재
       P의 아래(-y, -j) 방향으로 net electric field가 존재.
• 가환군,commutative_group . . . . 2 matches
       3. [[항등원,identity_element]]의 [[존재성,existence]]
       4. [[역원,inverse_element]]의 존재성
• 객체,object . . . . 2 matches
       [[메모리,memory]]의 어딘가에 존재.
       객체 이름을 가지고 객체의 주소를 얻는(알아내는) 방법이 존재([[연산자,operator]])든 함수([[펑션,function]])든 뭐든..
• 경우,case . . . . 2 matches
       == 어떤 [[알파벳,alphabet]]에 존재하는 특성 '''case''' : 대소문자 ==
       또한 단어/문장/...에서 어떤 문자를 대문자로 적을 것인지 등에 대한 다양한 관습 ... etc. 가 존재
• 고유,eigen . . . . 2 matches
       여기서 I는 단위행렬(Identity Matrix)입니다. 식 (2)에서 A-λI의 [[역행렬,inverse_matrix]]{ [[VG:역행렬,inverse_matrix]]}이 존재한다고 가정하면 어떻게 될까요? 식 (3)을 보면,
       이 되므로 v=0 즉 '''고유벡터'''가 항상 0이 되어버립니다. 우리는 0이 아닌 벡터를 찾으려고 하고 이렇게 하기 위해서는 A-λI의 역행렬이 존재하지 않아야 됩니다.
• 관계,relation . . . . 2 matches
       0인 경우도 존재.
       ''그럼 infinitary_relation 라는 것도 존재?'' QQQ
• 기호논리학,Elementary_Logic . . . . 2 matches
       — 의 각각에 대해 합당하게 엄밀한 정의를 부여하고자 노력했다. 이 [[정의,definition]]들의 존재가 이 책의 스타일을 특징 지운다. ...."
       ... 라이프니츠는 때때로 [[상상가능성,conceivability]]{w 한 사태(원어? event?)는 그 사태가 존재한다는 [[가정,assumption]]으로부터 어떠한 [[모순,contradiction]]도 따라 나오지 않는다면 상상가능하다. }의 개념을 가지고 [[가능성,possibility]]과 [[필연성,necessity]]을 설명한다. 문장이 주장하는 바의 정반대 상황이 상상되어질 수 없다면 그 문장은 필연적으로 참이다. ....
• 널null . . . . 2 matches
        * 존재하지만 모를 경우
        * 값이 존재하는지 여부를 모를 경우
• 논리학,logic . . . . 2 matches
       한정명제: 전칭명제 + 존재명제
       존재명제: $\exists x, ..$
• 라플라스변환Laplace_transform . . . . 2 matches
       이것은 $s$ 에 대한 함수이다. (존재할 경우)
       참고로 𝓛{1/t}는 존재하지 않는다. (s≤0일 때도, s>0일 때도 ∞로 발산)
• 릴레이션relation . . . . 2 matches
        어느 한 시점에 relation에 존재하는 tuple들의 집합.
        * tuple의 유일성 : 한 relation에는 동일한 tuple이 존재할 수 없음.
• 마르코프_결정과정,Markov_decision_process,MDP . . . . 2 matches
       "마르코프 결정 과정은 마르코프 연쇄([[마르코프_연쇄,Markov_chain]])의 확장된 형태로 볼 수 있다. ''([[일반화,generalization]]?)'' 마르코프 연쇄와의 차이점은 의사결정자의 선택이 개입된 행동이 존재한다는 것과, 의사결정자에게 동기를 부여하는 보상이 존재한다는 점이다. 바꾸어 말하면, 각 상태에서 오직 한 가지 행동만이 가능하며 모든 전이에 대한 보상이 같은 마르코프 결정 과정은 마르코프 연쇄와 동일하다. "
• 모노이드,monoid . . . . 2 matches
       "추상대수학에서 '''모노이드'''는 [[항등원,identity_element]]을 갖는, [[결합법칙,associativity]]을 따르는 [[이항연산,binary_operation]]을 갖춘 [[대수구조,algebraic_structure]]이다. [[군,group]]의 정의에서 [[역원,inverse_element]]의 존재를 생략하거나, [[반군,semigroup]]([[semigroup]])의 정의에서 [[항등원,identity_element]]의 존재를 추가하여 얻는다."
• 방정식,equation . . . . 2 matches
        * 그것을 [[만족,satisfaction]]?하는 [[해,solution]]가 ie [[근,root]]이 있는지? ([[존재,existence]] 여부, [[존재성,existence]])
• 상계,upper_bound . . . . 2 matches
       집합 E에 '''상계,upper_bound'''가 존재하면 그 원소는 [[최대원소]]. /// KmsK:최대원소 greatest element or maximum element ? 둘다 ok?
       집합 E에 [[하계,upper_bound]]가 존재하면 그 원소는 [[최대원소]].[* 두산백과: 상계]
• 상태,state . . . . 2 matches
        ''QQQ 그렇다면 "infinite-state machine"은 존재하지 않음?'' - No, (이론적으로는 얼마든지) 존재함
• 연속,yeonsok . . . . 2 matches
        * 그 점에서 정의되어 있다. $\exists f(x_0)$ 즉 함수값이 존재한다.
        * 좌극한과 우극한이 일치한다. $\lim_{x\to x_0^-}f(x) = \lim_{x\to x_0^+}f(x)$ 즉 극한값이 존재한다. $\exists\lim_{x\to x_0}f(x)$
• 완전미분exact_differential . . . . 2 matches
       명칭은 [[VG:선적분,line_integral]]과 관련. [[미분,differential]] $df$ 가 존재하면 '''완전미분'''(exact differential), 존재하지 않으면 불완전 미분(inexact differential).
• 이희원_일반물리학및실험2_2014 . . . . 2 matches
       전하가 공간에 있으면 '존재를 선포'한다. 그게 뭐냐면 주위에 전기장을 만든다.
       그러면 $Q_1$ 이 존재를 드러내는 전기장은
• 정리,theorem . . . . 2 matches
       [[곱셈,multiplication]] 표현의 유일성을, [[소인수분해,prime_factorization]]가 존재하고 유일함을([[존재성,existence]] [[유일성,uniqueness]]) ... (수백)
• 조인join . . . . 2 matches
       ''아래 분류 sections 여러곳을 참고하여서 체계적이지 않음, and 겹치는 것도 존재, 나중에 다시 tree 구조로 체계적으로 분류''
       두 테이블에 공통으로 존재하는 [[열column]]의 값이 일치되는 [[행row]]을 연결하여 결과를 생성하는.
• 참조무결성제약조건referential_integrity_constraint . . . . 2 matches
       두 [[테이블table]]/[[릴레이션relation]] 사이에 존재하는 것으로서,
        * the referencing relation and - 참조하는 - ''여기에 [[외래키foreign_key]]가 존재''
• 칼큘러스,calculus . . . . 2 matches
        "보편 양화사([[전칭기호universal_quantifier]])와 존재 양화사([[존재기호existential_quantifier]])를 사용하지 않는 대신, 엡실론(ε) 연산자를 사용한 1차논리 체계"
• 텐서,tensor . . . . 2 matches
       한편 주어진 텐서 __A__의 입력과 출력이 1:1로 대응할 때는 역텐서(inverse tensor)가 존재함을 보일 수 있다. // [[역텐서,inverse_tensor]]
       다음과 같은 성질을 가지는 텐서 __B__가 존재하며,
• 행렬합답형문제 . . . . 2 matches
       A의 역행렬이 존재하므로
       따라서 A^^2^^의 역행렬이 존재.
• 형식,form . . . . 2 matches
        모든 1차논리식들은 [[스콜렘화,Skolemization]] 과정을 통해 그 [[충족가능성,satisfiability]] 변화 없이 스콜렘 표준형으로 변환될 수 있다. ( 존재양화사 = [[존재기호existential_quantifier]] 제거)
• database . . . . 1 match
        공간에 존재하는 점, 선, polygon 등을 포함하는 객체의 data를 저장 및 검색하는데 최적화된 DB
• umask_명령 . . . . 1 match
       이미 존재하는 파일의 퍼미션 지정은 [[chmod_명령]]을 쓴다.
• universal_statement . . . . 1 match
       문장 (cf. [[문장,sentence]] 페이지 존재)
• 가산집합,countable_set . . . . 1 match
        '''가산집합'''은, 자연수잡합으로의 [[단사함수,injective_function]]가 존재하는 집합.
• 값,value . . . . 1 match
       cf. VG에 존재: 최대최소,maximum_and_minimum 최소항과_최대항,minterm_and_maxterm 최대최소정리,extreme_value_theorem,EVT 극값,extremum
• 개체entity . . . . 1 match
        Entity로 볼 수는 있지만, 다른 entity에 종속되어 해당 entity가 없다면 존재 하지 않는 종속성을 가지는 entity.[* 김정준 http://kocw.net/home/search/kemView.do?kemId=1335378 3. 5m]
• 관계해석relational_calculus . . . . 1 match
       두 형태(forms)가 존재한다:
• 기계학습,machine_learning . . . . 1 match
        (빅데이터분석) 이미 존재하는 DB에서 관련된 모든 데이터를 수집.
• 논리기호,logic_symbol . . . . 1 match
       [[논리표기법,logic_notation]] <- 페이지 만들려다 말고 이 페이지('''논리기호,logic_symbol''')만들었다. 페이지명이 맘에 안들어서 (∵ '사전의 표제어'로 좀 부적합한듯 - Ggl:"logic notation" - 보면 'encyclopedic' site의 independent entry로 존재하지 않음) ... 보통 [[논리기호,logic_symbol]]이라 하는 듯 . 그래서 여기 만듦.
• 논리일관성,logical_consistency . . . . 1 match
       한 [[axiomatic_system]]에서 [[모순,contradiction]]의 부존재(absence)가 '''일관성'''이라고 알려져 있다.
• 단사함수,injective_function . . . . 1 match
       [[가산집합,countable_set]]은 자연수집합으로의 '''단사함수'''가 존재하는 집합.[* WpKo:가산_집합]
• 단어,word . . . . 1 match
       근데 각각 mkl [[자유,free]]? [[프리,free]]?? (참고로 속박,,bound,,의 반대말 그쪽 뜻이 아니라, ([[존재,existence]]가) 없다는 뜻의 free.) / [[제곱,square]] [[세제곱,cube]]? / [[스퀘어,square]] [[큐브,cube]] ?
• 대체키alternate_key . . . . 1 match
       [[릴레이션relation]] 안에서 [[기본키primary_key]]는 하나이지만 '''대체키'''는 여러 개 존재 가능.
• 대칭군,symmetric_group . . . . 1 match
        * n! 개의 원소가 존재함
• 라이프니츠_표기법,Leibniz_notation . . . . 1 match
       실수체([[실수,real_number]] [[체,field]])에는 무한소가 존재하지 않으며, (Ggl:"실수의 조밀성" 때문) $\epsilon-\delta$ 논법으로 정의된 [[극한,limit]]으로 미적분을 설명한다. ''(그래서 이전에 무한소를 써서 임시적으로? 엄밀하지 않게? 설명하던 문화가 사라지면서 무한소 개념이 '사라졌다' - 약 백년간 - 아후 초실수 등 비표준해석학이 나오기 전까지. - 이후 Robinson, Nelson등의 수학자가 다시 살려냄 Ggl:"Robinson Nelson infinitesimal" - 무한소를 공리로 받아들임으로써. Ggl:"무한소 공리" Ggl:"infinitesimal axiom")''
• 로직,logic . . . . 1 match
       "Any [[formal_system]] that attempts to deal with [[modality|modalities]], such as [[가능성,possibility]] and [[necessity]], but also [[obligation]] and [[permission]]{ 허가? [[퍼미션,permission]]페이지는 존재 }." (wt)
• 리콜,recall . . . . 1 match
        기억, (존재하는 [[기억,memory]] 말고 다시 떠올림)
• 릴레이션인스턴스relation_instance . . . . 1 match
       어느 한 시점에, [[릴레이션relation]]에 존재하는 [[튜플tuple]]들의 집합.
• 명제proposition . . . . 1 match
        [[존재명제]]
• 무결성integrity . . . . 1 match
        [[기본키제약primary_constraint]]이라고도 함. [[기본키primary_key]]는 null값을 가져서는 안 되며 한 [[릴레이션relation]] 내에 오직 한(unique) 값만 존재해야 함.[* https://deftkang.tistory.com/52 개체 무결성 제약조건]
• 무결성제약조건integrity_constraint . . . . 1 match
       외래키는 자신이 참조하는 릴레이션에 [[기본키primary_key]] 값으로 존재하는 값, 즉 참조 가능한 값만 가져야 함.
• 미분가능성과_연속성의_관계 . . . . 1 match
        즉 $f'(a)$ 가 존재하면,
• 민법 . . . . 1 match
        대리행위에 있어서 대리권의 존재
• 바인딩,binding . . . . 1 match
       [[변수,variable]]가 [[메모리,memory]] 상의 실제 data가 존재하는 위치(position, location)를 가리키게(point, rel [[포인터,pointer]]) 하는 것??
• 범주,category . . . . 1 match
        * 사상은 자기 자신으로 가는 [[항등사상,identity_morphism]]이 존재해야 함 // (curr at [[아이덴티티,identity]])
• 세계,world . . . . 1 match
       ... 라이프니츠는 때때로 [[상상가능성,conceivability]]{w 한 사태(원어? event?)는 그 사태가 존재한다는 [[가정,assumption]]으로부터 어떠한 [[모순,contradiction]]도 따라 나오지 않는다면 상상가능하다. }의 개념을 가지고 [[가능성,possibility]]과 [[필연성,necessity]]을 설명한다. 문장이 주장하는 바의 정반대 상황이 상상되어질 수 없다면 그 문장은 필연적으로 참이다. ....
• 세그먼트,segment . . . . 1 match
       global and static variables 존재. [[전역변수,global_variable]] [[정적변수,static_variable]]
• 세기,intensity . . . . 1 match
       ...and [[VG:intensity]]에 존재하는 pages:
• 세포,cell . . . . 1 match
        근소포체 sarcoplasmic retinaculum sarcoplasmic_retinaculum - 가로무늬근 에 존재
• 셸,shell . . . . 1 match
       cd같은 명령들은 외부 실행 파일이 존재하지 않고 셸에 내장되어 있다.
• 속성attribute . . . . 1 match
       모든 개체 인스턴스의 키 속성 값이 다르므로, 키 속성은 개체 집합에 존재하는 각 개체 인스턴스들을 식별하는 데 사용.
• 순서공리 . . . . 1 match
       다음 두 조건을 만족하는 [[집합]] $\mathbb{R}^{+}$ 가 존재한다.
• 스키마schema . . . . 1 match
        DB당 하나만 존재.
• 시스템,system . . . . 1 match
       [[역시스템,inverse_system]]이 존재하는 [[시스템,system]]을 가역시스템이라 한다.
• 아이덴티티,identity . . . . 1 match
       [[범주론,category_theory]]에선, 임의의 [[대상,object]] $A$ 에 대해, 다음 arrow 가 존재해야만 한다는 것[* https://youtu.be/5Ykrfqrxc8o?si=-aSNRXTxGn_1cNG_&t=237]
• 양자,quantum . . . . 1 match
       MKL(VG에 존재)
• 여러가지증명 . . . . 1 match
       $\sqrt r$ 을 유리수라고 가정하면 다음과 같은 [[정수,integer]] $m,n$ 이 존재한다.
• 역함수,inverse_function . . . . 1 match
       어떤 함수가 저거인지 여부와 '''역함수'''의 존재성의 관계를 정확히 tbw
• 완전미방exact_DE . . . . 1 match
       를 만족하는 $f(x,y)$ 가 존재한다.
• 원소,element . . . . 1 match
       [[역원,inverse_element]]의 [[존재성,existence]]과 밀접. tbw.
• 이항_뜻 . . . . 1 match
       ( $a$ 가 뭔지는 몰라도 $a$ 에 대한 덧셈의 역원^^[additive_inverse]^^이 즉 $-a$ 가 존재한다면 )
• 인버스,inverse . . . . 1 match
        A의 inverse(이를테면 A^^−1^^로 자주 표기하는, 그런거)가 [[존재,existence]]하는지 여부? 즉 [[인버스,inverse]]를 갖는지 여부? / or 정의가능한지 여부?? ?? - 명확히. TODO
• 인터네트워킹,internetworking . . . . 1 match
        네트워크에 이중 경로가 존재할 경우 잘못된 라우팅 정보가 있을 수 있는데, 이 때 비순환형태로 구성해야 하므로... 최상위 브리지를 루트로 설정하고, 다른 브리지에 이르는 최단경로 트리를 구성.
• 일대일함수,one-to-one_function . . . . 1 match
       [[역함수,inverse_function]] 의 존재성과 정확한 관계?
• 전자구름,electron_cloud . . . . 1 match
       ||상쇄조합에 의해 ||반결합성 오비탈 형성 ||σ^^*^^,,1s,, ||핵 사이에 마디 평면 존재 ||에너지 높음 ||
• 전칭기호universal_quantifier . . . . 1 match
       비교: [[존재기호existential_quantifier]]
• 전칭명제 . . . . 1 match
        '''전칭명제'''는 [[존재명제]]]와 쌍대이다.
• 정규형normal_form . . . . 1 match
       //// 각 종류마다 <(xxx)정규화에 해당하는 (xxx)정규형> 이 존재...
• 정의역,domain . . . . 1 match
       Sub: [[irreducible_logical_matrix]] =,irreducible_logical_matrix . irreducible_logical_matrix {'''irreducible logical matrix''' [[정사각행렬,square_matrix]]의 A^^n^^의 원소가 [[strictly_positive]]한 그런 n이 존재. WtEn:irreducible_logical_matrix https://proofwiki.org/wiki/Definition:Irreducible_Logical_Matrix "irreducible logical matrix"}
• 중첩,superposition . . . . 1 match
       둘 이상의 [[상태,state]]s들이 동시에(i.e. 같은 [[시간,time]]에) 존재하는 [[현상,phenomenon]].[* 김세순 https://youtu.be/EuAjgGHqJ5A?si=ObGvQanJXzSL7hRa&t=98]
• 증명,proof . . . . 1 match
       [[해,solution]]의 부존재( nonexistence ? WtEn:nonexistence NdEn:nonexistence )와 cmp.
• 진리집합 . . . . 1 match
        * [[존재명제]] $(\exists x \in X)p(x)$ 가 참
• 진리표,truth_table . . . . 1 match
        1. 𝔇가 부당함을 가정. 다시 말해, A,,1,,, …, A,,n,,이 참이면서 B가 거짓인 해석이 존재함을 가정.
• 진술,statement . . . . 1 match
        * 명제함수(statement function = statement_function =,statement_function) $p(x)$ 는 [[변수,variable]] $x$ 에 따라 참과 거짓을 구분할 수 있는 문장이다. 이 경우 $p(x)$ 를 만족하는 $x$ 가 존재하지 않을 수 있다.
• 질의query . . . . 1 match
       EXISTS 연산자 : 부 질의문의 실행 결과로 반환되는 행이 존재하는지 유무.
• 철학,philosophy . . . . 1 match
       [[존재론,ontology]] - 순수인문학관련,
• 최권휴_신호및선형시스템_2017 . . . . 1 match
       memoryless : 입력이 인가되는 시간 t에서만 출력이 존재
• 최정환_미분방정식및연습_2013 . . . . 1 match
       존재성과 유일성의 정리
• 추론,inference . . . . 1 match
       (ws) 존재하는 [[지식,knowledge]] 및 [[규칙,rule]]s들로부터 새로운 지식을 만들어내는([[데리베이션,derivation]]) [[과정,process]].
• 추론규칙,inference_rule . . . . 1 match
       [[형식체계,formal_system]]에 추가되어도 그 체계의 [[정리,theorem]]를 바꾸지 않는 [[추론규칙,inference_rule]]. 사실 이게 없이도 이미 존재하는 규칙들로부터 모든 formula가 derive될 수 있으므로, 이것은 redundant하다고 볼 수 있음.
• 충족가능성,satisfiability . . . . 1 match
       wff의 집합 Σ의 모든 원소를 만족하는 Boolean_interpretation 이 존재하면 Σ는 satisfiable.
• 커서,cursor . . . . 1 match
       '''커서'''는 그 존재이유상 [[위치,position]]가 중요 - 커서의 위치 [[커서위치,cursor_position]]
• 컴퓨터,computer . . . . 1 match
       21세기에는 기계가 이 역할을 완전히 대체하였지만 역사적으로 여러 종류가 존재. (대체로 수학자/천문학자를 보조하거나, etc)
• 컴퓨터과학이여는세계_이광근 . . . . 1 match
       "기계적인 방식만으론 사실인지 판정할 수 없는 그런 명제가 존재한다"
• 클레로_정리,Clairaut_theorem . . . . 1 match
       $f_x,\,f_y,\,f_{xy},\,f_{yx}$ 가 존재하고, 연속이면
• 키key . . . . 1 match
        : [[외래키foreign_key]]는 참조할 수 없는 값을 가질 수 없다. 외래키는 자신이 참조하는 릴레이션에 기본키 값으로 존재하는 값, 즉 참조 가능한 값만 가져야 한다. 외래키가 자신이 참조하는 릴레이션의 기본키와 상관이 없는 값을 가지면, 두 릴레이션을 연관시킬 수 없으므로, 외래키라는 의미가 없어진다.[* https://terms.naver.com/entry.naver?docId=3431155&cid=58430&categoryId=58430&expCategoryId=58430]
• 페르미_준위,Fermi_level . . . . 1 match
       [[열평형,thermal_equilibrium]]상태에서 '''페르미 준위''': 저 상태에 있는 system에 대해 단 하나의 페르미 준위만 존재한다.
• 페르미온,fermion . . . . 1 match
        * [[VG:파울리_배타원리,Pauli_exclusion_principle]]를 따른다(즉 두 개 이상의 입자가 같은 [[양자상태]]에 동시에 존재하지 않는다.
• 페이지,page . . . . 1 match
        보통 '''웹페이지''' 하나가 [[웹서버,web_server]]{ 'httpd'라는 이름이 많이 쓰임 - [[HTTP]] [[daemon]] }에 존재하는 하나의 [[파일,file]]이며
• 평형,equilibrium . . . . 1 match
        balance 페이지를 만든다면 평형보다는 [[균형,balance]]가 어울릴 듯? - 이미 페이지 존재. [[Date(2023-11-17T11:47:52)]]
• 포인터,pointer . . . . 1 match
       [[dangling_reference]] - 존재하지 않는 것에 대한 [[참조,reference]]?
• 한정명제 . . . . 1 match
       Sub: [[전칭명제]]와 [[존재명제]]를 '''한정명제'''라고 함.
• 함자,functor . . . . 1 match
       예를 들어서 [[부등호,inequality_sign]]도 범주론에선 [[관계,relation]]가 존재한다고 보고 이를 사상으로 취급할 수 있다.
• 해,solution . . . . 1 match
       $n$ 계 미방에 대한 $n$ 개의 임의의 상수를 포함하는 해가 존재할 때, 해를 그 방정식의 일반해라 한다.
• 형법 . . . . 1 match
       뜻: 행위에 형벌을 과하려면 먼저 성문법규의 존재가 필요하다
• 형용사,adjective . . . . 1 match
       간단히 얘기하면 bijection의 [[존재성,existence]].
• 호몰로지,homology . . . . 1 match
       1930년대 중반 "위트니Whitney와 체흐Čech"에 의해 코호몰지에 [[곱셈,multiplication]] [[구조,structure]]가 존재함이 발견됨.
• 확률,probability . . . . 1 match
       Q: 경보가 울렸을 때 실제로 비행기가 존재할 확률?

You can also click here to search title.