• AltCodes윈도특수기호문자입력
       링크예정: [[기호,symbol]], letter, character, [[유니코드,Unicode]]
       rel? : [[기호,symbol]]
• TeX_및_LaTeX_수식_문법
       https://mathworld.wolfram.com/Macron.html - 한 [[기호,symbol]]나 [[문자,character]] 위의 선
       rel. [[표기법,notation]] [[기호,symbol]]
• 공집합,empty_set
        * [[문자,character]]가/[[기호,symbol]]가/[[RR:심벌,symbol]]이 없는
• 괄호,parenthesis
       Up: [[기호,symbol]]?
• 기수법,numeral_system
       유한개의 [[기호,symbol]]([[문자,character]]나 [[숫자,digit]])를 써서 수를 표현하는 방법.
• 논리,logic
       [[기호,symbol]]
• 독립성,independence
       보면 '헷갈리기 쉬운 [[기호,symbol]]들', [[통신,communication]] 관련임.
• 레비치비타_기호,Levi-Civita_symbol
       Up: [[기호,symbol]]
• 명제논리,propositional_logic
       Standard [[기호,symbol]]s
• 변수,variable
       논리학([[논리,logic]])에서 '''변수'''란, (an arbitrary instantiation of some given type ... 대충, 어떤 주어진 [[타입,type]]의 [[인스턴스화,instantiation]]{ AKA '''인스턴스 생성'''? [[인스턴스,instance]] 생성. [[클래스,classs]]나 [[타입,type]]에서?? } )을 뜻하는 [[기호,symbol]]이다.
• 부호,sign
       'sign'은 수학에서도 부호 뿐만 아니라 기호로 번역 가능. plus sign, minus sign만 있는 것은 아님. ex. radical sign = radical symbol. (WpEn:Radical_symbol) (다만 여기선 기호는 symbol로. [[기호,symbol]])
• 비율,rate
        [[symbol_rate]] - w (at [[기호,symbol]] 잎부분)
• 술어,predicate
       [[함수,function]] [[기호,symbol]] [[술어,predicate]]
• 술어논리,predicate_logic
       [[명제논리,propositional_logic]]의 [[확장,extension]] with separate [[기호,symbol]]s for [[술어,predicate]]s, [[subject]]{링크가 http://foldoc.org/subject 으로 걸려있는데 동형이의어에 잘못 걸린 링크.}s, and [[RR:양화사quantifier]]s.
• 숫자,digit
       [[수,number]]를 표현하기 위한 [[문자,character]] 혹은 [[기호,symbol]].
       cf. 수를 표현/표기하는 방법 - i.e. [[표기법,notation]] - 은 [[기수법,numeral_system]]. 물론 [[기호,symbol]]로 '''숫자'''를 사용. // mkl [[수표현,number_representation]]
• 신호,signal
       [[기호,symbol]]와의 차이
• 언어,language
       [[기호,symbol]]s들의 [[집합,set]]이 [[알파벳,alphabet]]이며, 알파벳의 유한 개의 [[순서쌍,ordered_pair]]''(curr [[튜플,tuple]])''을 '''단어,word'''라 한다.
        [[기호,symbol]]들의 유한 집합?
       [[기호,symbol]]들의 [[집합,set]]을 '''알파벳'''이라고 한다.
• 여유도,redundancy
       통신이론([[통신,communication]])에서는 [[메시지,message]], [[신호,signal]], [[기호,symbol]], [[코드,code]] 등의 [[자료,data]], [[정보,information]]에 적용됨.
• 유니코드,Unicode
       //문자, writing system, character, letter, alphabet, 자소=WpEn:Grapheme 등의 관계 먼저 명확히 해야 함. 그리고 이것들과 [[기호,symbol]], [[숫자,digit]], ..
       [[기호,symbol]]과의 관계? 서술 TBW
       [[기호,symbol]]
• 일차논리,first-order_logic
        1. $P$ 가 $n$ - place predicate symbol([[술어,predicate]] [[기호,symbol]])이고 $t_1,\cdots,t_n$ 이 term이면, $P(t_1,\cdots,t_n)$ 는 atomic statement[* a statement which cannot be broken down into smaller statements. http://mathworld.wolfram.com/AtomicStatement.html]이다.
• 전산학,compsci
        $\Sigma$ : a finite set of input [[기호,symbol|symbol]]s called the alphabet $\Sigma$
• 조합론,combinatorics
        [[기호,symbol]] [[단어,word]] letter alphabet [[수열,sequence]] [[형식언어,formal_language]] Sturmian_word Lyndon_word ...
• 촘스키_위계,Chomsky_hierarchy
        언어에서 직접 쓰이는 [[기호,symbol]] : [[알파벳,alphabet]], [[숫자,digit]], [[연산자,operator]] 등이 해당
• 코드,code
       [[정보,information]]를 표현하기 위한 [[기호,symbol]] 체계.
       [[알파벳,alphabet]]: 유한개의 서로 다른 [[기호,symbol]]들의 집합. codeword를 구성하는 요소들의 집합.
       입력 [[기호,symbol]]들의 sequence to a [[채널,channel]]
        [[기호,symbol]]들의 sequence?
        * [[기호,symbol]]를 부호라고 하기도 함
• 표기법,notation
       [[기호,symbol]]

You can also click here to search title.