• WikiSandBox
       메타언어는 언어 그 자체를 서술/언급하는 언어나 [[심벌,symbol]]([[기호,symbol]]).
• universal_statement
       '''universal_statement''' ∀x : P(x) 에서, [[심벌,symbol]] x는 [[bound_variable]].
• 관계,relation
       MKL: [[심벌,symbol]] [[letter]] [[술어,predicate]]
• 논리기호,logic_symbol
       [[심벌,symbol]] - [[기호,symbol]]
• 논리상수,logical_constant
       [[언어,language]] $\mathcal{L}$ 의 '''논리상수'''는, 모든 [[해석,interpretation]]에서 같은 [[의미값,semantic_value]]을 갖는 [[기호,symbol]].''(or [[심벌,symbol]])''
       Up: [[논리,logic]]/[[논리학,logic]] [[상수,constant]] symbol([[기호,symbol]] [[심벌,symbol]])
• 단어,word
       and [[코드,code]] [[부호,code]] [[심벌,symbol]] [[기호,symbol]] [[숫자,digit]]
• 레터,letter
       symbol([[심벌,symbol]] [[기호,symbol]])
• 로직,logic
       [[심벌,symbol]] [[기호,symbol]] https://proofwiki.org/wiki/Definition:Symbolic_Logic
• 링커,linker
       REL. [[로더,loader]] [[로딩,loading]] [[메모리주소,memory_address]] [[심벌,symbol]]? [[executable_file]] [[executable_code]]
• 마크,mark
       Sub: (사람이 보는 그 문자 비슷한??) ~ [[심벌,symbol]] [[기호,symbol]] [[문자,character]]와 비슷? [[letter]]([[레터,letter]] [[글자,letter]])는 아닐듯하고....
• 문자,character
       정보의 단위, 대충 [[grapheme]], [[grapheme]]-like, 또는 [[심벌,symbol]](such as in an [[알파벳,alphabet]] or [[syllabary]](음절문자) )와 대응.
• 문자열,string
       '''string''': [[시퀀스,sequence]] of [[심벌,symbol]](또는 [[문자,character]]).
• 부호,code
       (특히 code와) cmp: symbol([[심벌,symbol]] [[기호,symbol]] [[상징,symbol]]), [[정보,information]], data([[자료,data]] [[데이터,data]]) [[메시지,message]] [[문자,character]] letter([[글자,letter]]?) [[알파벳,alphabet]] digit([[숫자,digit]]?) signal([[신호,singal]] [[시그널,signal]])
• 술어,predicate
       [[기호,symbol]] or [[심벌,symbol]]
• 시스템,system
       또한 이를 표기하기 위한 기호들(alphabets) ''// Rel. [[기호,symbol]] [[심벌,symbol]] [[알파벳,alphabet]]''
       symbol : [[심벌,symbol]] [[기호,symbol]] [[상징,symbol]]
• 식,expression
       Up: symbol( [[심벌,symbol]] [[기호,symbol]] .. ) [[식,expression]]
• 신택스,syntax
       [[기호,symbol]] - curr [[심벌,symbol]]
• 알파벳,alphabet
       '''알파벳,alphabet'''은 [[심벌,symbol]]s들을 [[원소,element]]로 하는 [[유한집합,finite_set]].[* http://www.gabormelli.com/RKB/Alphabet]
       [[심벌,symbol]] = [[기호,symbol]] { rel. [[식별자,identifier]] [[WpEn:Symbol_(programming)]] }
        "A visual representation of a [[letter]], [[문자,character]], or [[심벌,symbol]], in a specific [[폰트,font]] and [[스타일,style]]."
• 앨지브라,algebra
       실제 [[수,number]]보단 [[기호,symbol]] [[심벌,symbol]]을 manipulation의 대상으로 사용.
• 앰퍼샌드,ampersand
       letter? [[문자,character]]? [[심벌,symbol]]?
• 의미론,semantics
       [[심벌,symbol]] - [[기호,symbol]]
• 정보,information
       symbol - [[기호,symbol]] [[심벌,symbol]] [[심볼,symbol]]
• 코드,code
       symbol - [[심벌,symbol]] [[기호,symbol]]
• 토큰,token
       (computing) An atomic piece of data, such as a word, for which a meaning may be inferred during [[parsing]]. / Synonym: symbol([[심벌,symbol]])
• 파일,file
       [[심벌,symbol]]
• 프로그래밍패러다임,programming_paradigm
       [[심벌,symbol]] [[기호,symbol]]
• 해상도,resolution
       [[symbol_resolution]] - curr at [[심벌,symbol]] see [[심벌%2Csymbol?action=highlight&value=symbol_resolution]]
• 해석,interpretation
       [[기호,symbol]] [[심벌,symbol]]의 해석에 대해서는 curr at [[모형,model#modeltheory]]

You can also click here to search title.