• 한정기호_정량자_quantifier . . . . 16 matches
        '''한정기호,'''[* https://blog.naver.com/at3650/220216723410 에서 미적분의 ε-δ 들어가기 전 사용][* KU김정현 이산수학 slide file #1 p22 1.3][* 수학백과: 한정사]
        '''양화기호,'''
       KmsE:quantifier = [[https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=quantifier kms quantifier]] : '''한정기호'''
       quantification symbol 정량화 기호
       }를 하는 기호.
       ||정량자 ||기호 명칭 ||기호 ||대응하는 한국어 ||대응하는 영문 ||
       ||전체정량자 ||전칭기호 || ∀ ||모든 ||for all, for every ||
       ||존재정량자 ||존재기호 || ∃ ||어떤 ||there exists, for some ||
        [[전칭기호universal_quantifier]] ∀ : 모든, for all (=보편기호=전칭양화사)
        [[존재기호existential_quantifier]] ∃ : 어떤, there exists ...=존재양화사?
       "한정기호 제거"[* kias horizon]
       모델론 맛보기 1: 한정기호 제거
       관련: 논리식 술어논리 기호
        ([[Date(2023-12-10T01:02:51)]] 첫 문장 "'''한정기호'''란 어떤 [[명제함수]]가 성립하는 범위를 한정하는 데 사용하는 것으로, '''한정사''' 또는 '''양화사'''라고도 한다.")
• 심벌,symbol . . . . 11 matches
       '''symbol, 심볼, 심벌, ''' 번역은 보통 '''기호, 상징'''
       [[기호,symbol]] - ? { [[VG:기호,symbol]] [[사인,sign]]도 비슷한 뜻으로 쓰인다 (저것의 [[부호,sign]] 뜻 빼고) }
        [[레비치비타_기호,Levi-Civita_symbol]] - [[VG:레비치비타_기호,Levi-Civita_symbol]]
        [[크리스토펠_기호,Christoffel_symbol]] w
       대체로 그냥 번역 안하는 듯 하지만 '기호테이블/기호표' 로 번역해도 아무 문제 없을 듯 한데.... [[기호,symbol]]
       [[기호,symbol]] - ''저기에는 정보이론/이산수학 및 논리학/컴퓨터(esp symbolic 뭐뭐)/...의 symbol에 대해''
       [[술어기호,predicate_symbol]] - writing
• 논리학,logic . . . . 10 matches
        Similar: 기호논리학 symbolic_logic
        기호논리학
       메타언어의 기호
       대상언어의 기호
       문장 기호(sentence symbols): A, B, C, ...
       보조 기호(auxiliary symbols): (, ).
       [[기호논리학,symbolic_logic]]
       [[한정기호_정량자_quantifier]]
       기호 ⊤
       기호 ⊥
• 모형,model . . . . 9 matches
        $\mathcal{P}$ : 술어기호들의 집합 .... [[술어,predicate]] [[기호,symbol]] [[집합,set]]
        $\mathcal{F}$ : 함수기호들의 집합 .... [[함수,function]]
        $\mathcal{C}$ : 상수기호들의 집합 .... [[상수,constant]]
        $\mathcal{L}$ 의 특정 기호 각각의 [[해석,interpretation]]이 첨부된''(mapping? correspondence? bijection?)'' 것이다. 기호의 해석이란, =해석 =,interpretation .
        * $P$ 가 $n$ 항 술어기호 WtEn:predicate_symbol WpEn:predicate_symbol 이면 이것의 해석 $P_M$ 은 $|M|^n$ 의 한 [[부분집합,subset]]이고
        * $f$ 가 $n$ 항 함수기호 WtEn:function_symbol WpEn:function_symbol 이면 이것의 해석 $f^M$ 은 한 함수 $|M|^n\to|M|$ 이며
        * $c$ 가 상수기호 WtEn:constant_symbol? WpEn:constant_symbol 이면 이것의 해석 $c^M$ 은 $|M|$ 의 한 [[원소,element]]이다.
• 술어,predicate . . . . 6 matches
       [[술어기호,predicate_symbol]] =술어기호,predicate_symbol =,predicate_symbol 술어기호 predicate_symbol - writing
       [[기호,symbol]] or [[심벌,symbol]]
       Ndict:술어기호 Ggl:술어기호
• 논리연결사,logical_connective . . . . 5 matches
       논: 논리 기호
       C: C style? 기호
       Cb: C bitwise operator 기호 (논리 기호는 아니지만 참고로)
       A: 수식 유래 기호? .. arithmetical? (이 둘은 명칭 정확히 모르겠음)
• 반도체공학,semiconductor_engineering . . . . 5 matches
        기호: $n_i$
       기호: $V_T$
       기호: $I_D$
       기호: $f(E)$
       기호: $\phi$
• 인덱스,index . . . . 5 matches
        기호 $J$
       기호 $H(G)$
        기호 $\text{MTI}$
        기호 $W$
        기호 $WS$
• 존재성,existence . . . . 5 matches
       양화사 quantifier 기호는 ∃ (i.e. [[존재기호existential_quantifier]])
        curr at [[존재기호existential_quantifier]]
        Cmp: [[universal_quantifier]] - curr at [[전칭기호universal_quantifier]]
        Up: [[quantifier]] = logical_quantifier - curr at [[한정기호_정량자_quantifier]], --[[양화사quantifier]]--(redir page)
• 퀀티피케이션,quantification . . . . 5 matches
       ... (see also [[한정기호_정량자_quantifier]])
       ||양화 ||양화사 양화기호 ||
       ||한정 ||한정사 한정기호 ||
       ||정량 ||정량사 정량기호 ||
       [[quantifier]] - curr. [[한정기호_정량자_quantifier]] - KmsE:quantifier
• 기호논리학,Elementary_Logic . . . . 4 matches
       (실제로 [[기호논리학,symbolic_logic]]에서 첫 번째 조건은 무의미하므로, 'validity'와 'soundness'의 구분은 기호논리학 내에서는 별다른 의미가 없다.)
       벤슨 메이츠 <기호논리학> 1장 해답 (Solutions for Benson Mates's Elementary Logic, Chapter 1.)
       Up: [[논리학,logic]] > [[기호논리학,symbolic_logic]] [[책,book]]
• 논리기호,logic_symbol . . . . 4 matches
       [[심벌,symbol]] - [[기호,symbol]]
       [[논리표기법,logic_notation]] <- 페이지 만들려다 말고 이 페이지('''논리기호,logic_symbol''')만들었다. 페이지명이 맘에 안들어서 (∵ '사전의 표제어'로 좀 부적합한듯 - Ggl:"logic notation" - 보면 'encyclopedic' site의 independent entry로 존재하지 않음) ... 보통 [[논리기호,logic_symbol]]이라 하는 듯 . 그래서 여기 만듦.
       ''입력 귀찮아서 피연산자 기호를 $\phi\to p,\,\psi\to q$ 로 했음 / 대문자는 연산자. / 작성중 연산자에도 p가 있길래 [[아래첨자,subscript]] ,,p,,로 처리함. ''
• 시스템,system . . . . 4 matches
       또한 이를 표기하기 위한 기호들(alphabets) ''// Rel. [[기호,symbol]] [[심벌,symbol]] [[알파벳,alphabet]]''
       형식체계는 20세기 초 수학기초론을 세우는 과정에서 성립하였으며 현대 기호논리학의 기초적 개념으로 쓰인다. 이를 모든 논리의 기초로 보는 입장을 형식주의(formalism)이라 한다."
       symbol : [[심벌,symbol]] [[기호,symbol]] [[상징,symbol]]
• 알파벳,alphabet . . . . 4 matches
       [[자연어,natural_language]]의 '''alphabet''' 서술을 분리해야 하나? 나중엔 [[기호학,semiotics]] [[논리,logic]]의 것도? TBD
       보통 (형식언어의 것만? or 일반적?) 알파벳을 나타내는 기호는 대문자 시그마 Σ가 가장 널리 쓰이는 듯
       [[심벌,symbol]] = [[기호,symbol]] { rel. [[식별자,identifier]] [[WpEn:Symbol_(programming)]] }
       한자 Hanja WpSimple:Hanja / Hanzi / Kanji WpSimple:Kanji - WpSimple:Chinese_characters WpKo:한자 WpEn:Chinese_characters ... 이건 alphabet보다는 character / [[기호,symbol]]?
• 전칭기호universal_quantifier . . . . 4 matches
       비교: [[존재기호existential_quantifier]]
       Up: [[한정기호_정량자_quantifier]]
       다른가능한분류? : 수식기호 [[modifier]] ? [[기호,symbol]] ?
• 책,book . . . . 4 matches
       = 기호논리학 Elementary Logic =
       기호논리학
       기초논리학에 가까운 이름인데 책 제목 번역을 [[기호논리학,symbolic_logic]]으로 했다. 전자는 너무 쉬워보여서인가?
       Page: [[기호논리학,Elementary_Logic]]
• degree . . . . 3 matches
        [[기호]]: °
        기호: 섭씨(℃), 화씨(℉)
       기호: $k$
• 교대,alternating . . . . 3 matches
        AKA [[순환기호,permutation_symbol]]
        AKA [[레비치비타_기호,Levi-Civita_symbol]] .... [[VG:레비치비타_기호,Levi-Civita_symbol]]
• 논리상수,logical_constant . . . . 3 matches
       [[언어,language]] $\mathcal{L}$ 의 '''논리상수'''는, 모든 [[해석,interpretation]]에서 같은 [[의미값,semantic_value]]을 갖는 [[기호,symbol]].''(or [[심벌,symbol]])''
       '''논리상수''의 두 중요한 타입은 [[논리연결사,logical_connective]]와 [[한정기호_정량자_quantifier]]가 있다.
       Up: [[논리,logic]]/[[논리학,logic]] [[상수,constant]] symbol([[기호,symbol]] [[심벌,symbol]])
• 논증,argument . . . . 3 matches
       논증을 복합명제의 변수(기호)로 표현한 것.
       // from [[기호논리학,Elementary_Logic#s-2.1.1]]
       // from [[기호논리학,Elementary_Logic#s-2.1.2]]
• 마크업,markup . . . . 3 matches
       보통 [[태그,tag]]를 사용하여 ? 어떤 특수문자나 기호나 특별한 형식 - indentation이나... [[신택스,syntax]]?
       보통 특수기호/[[특수문자,special_character]]를 나타내는 데 쓴다. (일반 기호는 그냥 표기하면 되므로)
• 미분연산자,differential_operator . . . . 3 matches
       기호: ''일단 [[prefix_operator]]만 보이는데..''
       미적분학에서는 종종 $\frac{dy}{dx}=Dy$ 로 미분을 표시한다. 기호 $D$ 는 미분가능한 함수를 또 다른 함수로 변환시키기 때문에 '''미분연산자(differential operator)'''라 한다.
       공간 X의 원소 u가, 공간 Y의 원소 v__로__ 대응할 때, 이 대응을 함수기호
• 식,expression . . . . 3 matches
       기호식 ? 심볼식 심벌식 ?
       Up: symbol( [[심벌,symbol]] [[기호,symbol]] .. ) [[식,expression]]
       S는 'symbolic'에서. // ([[심벌,symbo]] [[심볼,symbol]] [[기호,symbol]] [[symbolic]]...중?)
• 전칭명제 . . . . 3 matches
       [[전칭기호universal_quantifier]]
        라는 명제를 '''전칭명제''' 또는 '''전칭한정명제'''라고 하며, [[전칭기호universal_quantifier]] ∀를 써서
        (...기타 [[충분조건,sufficient_condition]] [[필요조건,necessary_condition]] 얘기 / 한정기호를 여러 개 쓴 Ggl:"다변수 명제함수" 얘기 ... easy )
• 존재기호existential_quantifier . . . . 3 matches
       = 기호 =
       비교: [[전칭기호universal_quantifier]]
       Up: [[한정기호_정량자_quantifier]]
• 퍼텐셜,potential . . . . 3 matches
       기호: $\vec{A}, \mathbf{A}$
        기호 ψ, $\psi$
        "[[열역학,thermodynamics]]에서 '''화학 퍼텐셜(chemical potential)'''은 주어진 온도에서 단위 입자당 추가되는 [[[자유에너지,free_energy]]이다. 통상적인 기호는 그리스 소문자 μ.
• 함수공간,function_space . . . . 3 matches
        의 notation 목록 (많음) 보면 [[연속성,continuity]]/[[매끄러움,smoothness]]/...-rel 기호 C^^뭐뭐^^ 이것들이랑 [[적분가능성,integrability]]-rel 기호 L^^뭐뭐^^(이건 아마 0/1/2/p/∞ 가 나오는 걸 보니 rel. metric, [[노름,norm]] 의 L-뭐뭐 관련인데, chk and 정확한 관계 tbw) 이것들 등등 기호 정리 있음
• 해석,interpretation . . . . 3 matches
       = 기호의 해석 =
       [[기호,symbol]] [[심벌,symbol]]의 해석에 대해서는 curr at [[모형,model#modeltheory]]
       rel [[semiotics]] =,semiotics =,semiotics . semiotics { semiotics WtEn:semiotics 기호학 NdEn:semiotics Ndict:semiotics Bing:semiotics Ggl:semiotics semiotics }
• OnlineLectures . . . . 2 matches
        /// 바로 위에 \to 가 아니라 \mapsto 인데 google chart api에선 기호가 제대로 안 나온다.
       p≡q는 두 명제에 대해 모든 논리적 가능성에 대해 항상 그 진리값이 같을 때를 표현하는 기호.
• 가능성,possibility . . . . 2 matches
       ''(misc. delme. 위 두 기호 ㅁ+한자키로 입력했는데 크기가 너무 차이난다. 어떻게 하는게 최선? TeX 기호 사용하면 $\qed \diamond$ 도 별로인데 어떻게 하는게 최선일지)''
• 기호학,semiotics . . . . 2 matches
       ##=======기호학,semiotics =,semiotics 기호학 semiotics OR =,semiology .
• 명제함수 . . . . 2 matches
       '''명제함수'''가 성립하는 범위(range? scope?)를 한정(limit? 암튼 quantification)하는 데 사용하는 것이 한정사=양화사=한정기호(curr [[한정기호_정량자_quantifier]]).[* [[https://terms.naver.com/entry.naver?docId=3338067&cid=47324&categoryId=47324 수학백과: 한정사]]]
• 문자열,string . . . . 2 matches
       자주 쓰이는 기호는 ε,
        기호로는 $\lvert \epsilon \rvert =0$
• 브래킷,bracket . . . . 2 matches
       // 일단 기호 '''[]''' 뜻만 적음
       // 기호의 일종의 뜻으로 볼 때 보이는 번역들은
• 사이클릭,cyclic . . . . 2 matches
       [[순환기호,permutation_symbol]] = [[레비치비타_기호,Levi-Civita_symbol]].
• 신택스,syntax . . . . 2 matches
       [[기호학,semiotics]]
       [[기호,symbol]] - curr [[심벌,symbol]]
• 연결사,connective . . . . 2 matches
       ||조건, 함의 ||conditional, implication ||p→q ||기호 p: 전건, q: 후건 ||
       || 명칭 || 기호 ||읽는 법 ||
• 자모,jamo . . . . 2 matches
       기호 [[기호,symbol]]
• 조인join . . . . 2 matches
       기호 ⨝
       기호 *
• 존재명제 . . . . 2 matches
       사용하는 기호/양화사: [[존재기호existential_quantifier]]
• 최대항,maxterm . . . . 2 matches
       최소항 = 표준곱(standard product) 기호 m
       최대항 = 표준합(standard sum) 기호 M
• 추론규칙,inference_rule . . . . 2 matches
       부정도입 ... =부정기호도입 ? 부정기호도입규칙?
• 칼큘러스,calculus . . . . 2 matches
        "보편 양화사([[전칭기호universal_quantifier]])와 존재 양화사([[존재기호existential_quantifier]])를 사용하지 않는 대신, 엡실론(ε) 연산자를 사용한 1차논리 체계"
• 평행성,parallelism . . . . 2 matches
       관련 TeX 기호: \parallel → $\parallel$
        QQQ 사선기호가 많이 쓰이는데 그건 표준이 뭐지? 슬래시 두개를 // 하면 $//$ 인데 너무 떨어져 있어서 그걸 강제로 negative space로 붙이면 $/\!/$ ....이긴 한데 임시변통일 뿐이고. Ggl:"slanted parallel symbol latex" ?
• 프래그매틱스,pragmatics . . . . 2 matches
       기호론
       [[Date(2023-12-21T15:05:12)]] Page name via 발음기호 and '프래그매틱스': 네이버 국어사전 ( https://ko.dict.naver.com/#/entry/koko/e720d72fdf1f4540b5c19c232a9370df )
• 형식,form . . . . 2 matches
        ( universal_quantifier = universal_quantification ... [[전칭기호universal_quantifier]] ) 만으로 이루어진 prenex_normal_form 1차 논리식을 말한다.
        모든 1차논리식들은 [[스콜렘화,Skolemization]] 과정을 통해 그 [[충족가능성,satisfiability]] 변화 없이 스콜렘 표준형으로 변환될 수 있다. ( 존재양화사 = [[존재기호existential_quantifier]] 제거)
• 형식언어,formal_language . . . . 2 matches
       반대인 top/bot 기호는 위아래반대로.
       commutative operation인 and/or 기호를 좌우대칭으로. (의도된 것)
• FrontPage . . . . 1 match
        기호 논리학 Symbolic Logic, by Lewis Carroll | [[Lewis_Carroll]] | 뉴가출판사 - 교보ebook https://ebook-product.kyobobook.co.kr/dig/epd/ebook/480D200726960?LINK=NVE
• GenPhyExercises . . . . 1 match
       ?는 이상한 기호
• Principia_Mathematica . . . . 1 match
        검색하면 WtEn:⊃ 이 맨위에. 참고로 집합 포함 기호(연산자) 아니고 [[material_implication]] (tmp curr [[함의,implication?action=highlight&value=material_implication]])
• WikiSandBox . . . . 1 match
       메타언어는 언어 그 자체를 서술/언급하는 언어나 [[심벌,symbol]]([[기호,symbol]]).
• complement . . . . 1 match
       여사건을 집합기호로 표현하면
• database . . . . 1 match
       er diagram의 기호들 설명.
• universal_statement . . . . 1 match
        mentioned on [[전칭기호universal_quantifier]]
• 가설,hypothesis . . . . 1 match
       ($\pi(x)$ 는 $x$ 이하의 [[소수,prime_number]]의 개수 .... [[prime_counting_function]] Ggl:prime_counting_function Ggl:소수계량함수 Ndict:소수계량함수 소수의 첫글자 p에 해당하는 그리스문자 기호를 씀 - hence the name.
• 개수밀도,number_density . . . . 1 match
       기호: ''n'' 또는 ''ρ'',,N,,
• 검정통계량,test_statistic . . . . 1 match
       QQQ 그럼 기호가 T?
• 결과,result . . . . 1 match
       리설턴트 ? - 발음기호 보면 z.... 리절턴트 ? 리절튼트 ??
• 곡선,curve . . . . 1 match
       [[크리스토펠_기호,Christoffel_symbol]]
• 관계,relation . . . . 1 match
       //이하몇개는 [[언어학,linguistics]] [[언어,language]] [[단어,word]] [[기호학,semiotics]] [[ontology]] 쪽.
• 관계relationship . . . . 1 match
       = ER diagram 기호 =
• 귀결,consequence . . . . 1 match
       번역 via [[기호논리학,Elementary_Logic]]
• 네트워크과학,network_science . . . . 1 match
        기호: node $i$ 의 degree를 $k_i$ 로 표기.
• 네트워크과학,network_science,netsci . . . . 1 match
        기호: node $i$ 의 degree를 $k_i$ 로 표기.
• 단어,word . . . . 1 match
       and [[코드,code]] [[부호,code]] [[심벌,symbol]] [[기호,symbol]] [[숫자,digit]]
• 데이터,data . . . . 1 match
        [[값,value]]이 [[문자,character]]나 [[기호,symbol]]의 형태^^''shape? form?''^^
• 디그리,degree . . . . 1 match
       기호는 deg(v)
• 디바이저,divisor . . . . 1 match
        greatest 대신 highest, divisor 대신 factor를 써서 gcf hcf 기호도 쓴다. (수백)
• 따옴표 . . . . 1 match
        이런 기호의 분류의 명칭이 있었는데 unicode 관련 어떤 문서였던걸로 기억하는데... tbw
• 라디칼,radical . . . . 1 match
       * 수학에서 기호.. rel: surd
• 레터,letter . . . . 1 match
       symbol([[심벌,symbol]] [[기호,symbol]])
• 로직,logic . . . . 1 match
       [[심벌,symbol]] [[기호,symbol]] https://proofwiki.org/wiki/Definition:Symbolic_Logic
• 릴레이션relation . . . . 1 match
        ''그리고 r(R)이 그것의 instance(state)임을 부분집합 기호로 나타낸 듯. - chk''
• 마크,mark . . . . 1 match
       Sub: (사람이 보는 그 문자 비슷한??) ~ [[심벌,symbol]] [[기호,symbol]] [[문자,character]]와 비슷? [[letter]]([[레터,letter]] [[글자,letter]])는 아닐듯하고....
• 명제논리,propositional_logic . . . . 1 match
       3. '''명제논리'''에서 [[연결사,connective]]란 한 개 이상의 명제 기호에 덧붙여짐으로써 해당 명제(들)에 새로운 의미를 더한다.
• 모션,motion . . . . 1 match
       Brownian motion with drift 표류를 갖는 브라운 운동 // [[드리프트,drift]] =,drift { 유동 표동 표류 등등... pagename 정하기 까다로움... 아무튼 발음기호가 English spelling과 똑같은 단어
• 몰_질량,molar_mass . . . . 1 match
       기호 $m_0$ ? chk
• 문자,character . . . . 1 match
       [[기호,symbol]]
• 미분연산자,differentiation_operator . . . . 1 match
       See also [[VG:미적분%2Ccalculus#s-5]] (기호)
• 부정,negation . . . . 1 match
       기호: not, ~, !, ￢ 등등? chk
• 부호,code . . . . 1 match
       (특히 code와) cmp: symbol([[심벌,symbol]] [[기호,symbol]] [[상징,symbol]]), [[정보,information]], data([[자료,data]] [[데이터,data]]) [[메시지,message]] [[문자,character]] letter([[글자,letter]]?) [[알파벳,alphabet]] digit([[숫자,digit]]?) signal([[신호,singal]] [[시그널,signal]])
• 분산,variance . . . . 1 match
       기호: σ^^2^^
• 비트,bit . . . . 1 match
       MKL 원소 두 개인 [[집합,set]] [[Boolean_domain]] Boolean_domain { Boolean domain 불_도메인 ? 불_정의역 ?? 기호: $\{0,1\}$ 또는 $\mathbb{B}$ [[원소,element]]의 개수가 2이고[* rel. [[둘,two]] / [[two-valued_logic]] ]각각 [[거짓,false]] [[참,true]]으로 [[해석,interpretation]]되는 것을 포함한 [[집합,set]]. .... CS에서 한 [[불_변수,Boolean_variable]] Boolean_variable 는 '''Boolean_domain'''의 원소에서 [[값,value]]을 가질 수 있다. (rel. Boolean_type = Boolean_data_type = Boolean_datatype .... [[WpEn:Boolean_data_type]] = https://en.wikipedia.org/wiki/Boolean_data_type ) (we) [[WpEn:Boolean_domain]] = https://en.wikipedia.org/wiki/Boolean_domain Up: domain([[정의역,domain]] ? [[도메인,domain]]?), [[집합,set]] }
• 뺄셈,subtraction . . . . 1 match
        [[이항연산,binary_operation]] [[이항연산자,binary_operator]] // 뺄셈은 이항연산이나 그 연산자 기호가 unary_operation ([[부호,sign]]바꾸기, [[negation]]) 부호로도 동일하게 쓰이는 특징.
• 사이드,side . . . . 1 match
       기호/부호/sign임. VG: [[부호,sign]]
• 세계,world . . . . 1 match
       ([[기호논리학,Elementary_Logic]] p39)
• 속성attribute . . . . 1 match
       = ER diagram 기호 =
• 순서,order . . . . 1 match
       기호
• 숫자,digit . . . . 1 match
       수를 표현하는 [[문자,character]] ? [[기호,symbol]] ? [[글자,letter]]=[[레터,letter]] ?
• 스펙트럼,spectrum . . . . 1 match
        기호: $\operatorname{Spec}(R)$
• 식별자,identifier . . . . 1 match
       [[기호,symbol]] ... computing에선 symbol은 identifier로 사용 가능. "Symbols can be used as identifiers."([[WpEn:Symbol_(programming)]] 첫 줄)
• 실행,execution . . . . 1 match
       https://ko.wikipedia.org/wiki/기호_실행
• 아보가드로수 . . . . 1 match
       [[기호]](symbol) N,,A,,
• 앨지브라,algebra . . . . 1 match
       실제 [[수,number]]보단 [[기호,symbol]] [[심벌,symbol]]을 manipulation의 대상으로 사용.
• 양,quantity . . . . 1 match
       [[한정기호_정량자_quantifier]]
• 양화사quantifier . . . . 1 match
       goto [[한정기호_정량자_quantifier]]
• 언어학,linguistics . . . . 1 match
       [[기호학,semiotics]]
• 엔탈피,enthalpy . . . . 1 match
       기호 ''H''
• 엡실론,epsilon . . . . 1 match
        ([[Date(2023-11-20T14:44:59)]] 현재 세 문장) "계산기 엡실론(Machine epsilon)은 부동소수점 연산에서 반올림을 함으로써 발생하는 오차의 상한이다. 이 값은 컴퓨터 과학에서 컴퓨터 연산을 통한 수치 해석을 특징짓는다. 기호는 그리스 문자 엡실론 또는 볼드체 로마자 u를 사용한다."
• 연산자,operator . . . . 1 match
        ||{{{버티컬바}}} ||or <- 여기 실제 기호 넣으면 page layout 깨진다... ||
• 용량_리액턴스 . . . . 1 match
       기호 X,,C,,
• 원자번호,atomic_number . . . . 1 match
       기호 Z
• 유도_리액턴스 . . . . 1 match
       기호 X,,L,,
• 유전체,dielectric_material . . . . 1 match
       [[VG:유전상수,dielectric_constant]](비유전율) 기호 κ, $\kappa$ - see [[VG:유전체]]
• 의미론,semantics . . . . 1 match
       [[심벌,symbol]] - [[기호,symbol]]
• 이차,quadratic . . . . 1 match
        rel. [[르장드르_기호,Legendre_symbol]] =,Legendre_symbol =,Legendre_symbol . Legendre_symbol
• 이희원_고등미적분학1_2013 . . . . 1 match
       역삼각함수의 기호에 대해
• 인피니티,infinity . . . . 1 match
       기호
• 일반화,generalization . . . . 1 match
       [[한정기호_정량자_quantifier]]
• 자기장,magnetic_field . . . . 1 match
       자기장의 기호로 B를 사용하는 이유
• 자연수,natural_number . . . . 1 match
       ∀ [[전칭기호universal_quantifier]]
• 전건긍정,modus_ponens . . . . 1 match
        $\vdash$ : 왼쪽 논리식으로부터 오른쪽 논리식을 증명할 수 있음을 나타내는 메타 논리 기호
• 전달함수,transfer_function . . . . 1 match
       기호
• 정보,information . . . . 1 match
       symbol - [[기호,symbol]] [[심벌,symbol]] [[심볼,symbol]]
• 제약조건constraint . . . . 1 match
       == ER diagram에서, partial/total participation 기호 ==
• 중성자수,neutron_number . . . . 1 match
       [[원자핵,atomic_nucleus]]을 이루는 [[중성자,neutron]](n)의 수. 기호는 N.
• 진술,statement . . . . 1 match
       기호:
• 차원,dimension . . . . 1 match
       ㅊㄱ: 차원의 기호
• 최권휴_신호및선형시스템_2017 . . . . 1 match
       ''그래서 기호를 정리하면,''
• 최소항,minterm . . . . 1 match
       (표의 마지막 열에서 보이듯) [[진리표,truth_table]]의 row number가 ''i''가 되도록 하는 '''최소항,minterm'''을 줄여서 기호로 ''m'',,''i'',,로 나타냄.
• 콤마,comma . . . . 1 match
       분류확실히... [[기호,symbol]] [[문자,character]] [[특수문자,special_character]] ?? Naver:문장부호 ? [[마크,mark]]?
• 퀴리,query . . . . 1 match
       물음표 - 이건 자연어 질문 문장 끝에 붙는 기호?
• 클로저,closure . . . . 1 match
        ''(번역어를 대체하는 얘기 도중)'' '닫힌 식(closure)'을 '폐쇄식'으로 바꾸었다 ... (기호논리학 p10)
• 특수해,particular_solution . . . . 1 match
       기호는 보통 $y_p$ 가 자주 보이는데. (Zill, )
• 폰트,font . . . . 1 match
       [[WpKo:발음_구별_기호]] = http://ko.wikipedia.org/wiki/%EB%B0%9C%EC%9D%8C_%EA%B5%AC%EB%B3%84_%EA%B8%B0%ED%98%B8
• 프레임,frame . . . . 1 match
        -> goto [[https://terms.naver.com/entry.naver?docId=5669280&cid=60207&categoryId=60207 수학백과: 크리스토펠 기호]] 앞부분.
• 프로그래밍패러다임,programming_paradigm . . . . 1 match
       [[심벌,symbol]] [[기호,symbol]]
• 플랑크_상수,Planck_constant . . . . 1 match
       기호 $h$
• 하한,infimum . . . . 1 match
       기호: 집합 A에 대해, A의 하한은 inf A
• 핵자,nucleon . . . . 1 match
       기호 A
• 형식_문자열,format_string . . . . 1 match
        이건 C style?(정확한 이름은 모르겠는데 ... 암튼 퍼센트 기호 뒤에 라틴알파벳 하나) ...가 여러 언어에서 많이 쓰이는 듯

You can also click here to search title.