- 올바름,correctness . . . . 17 matches
- 시맨틱스,semantics . . . . 10 matches
- 시스템,system . . . . 10 matches
- 칼큘러스,calculus . . . . 9 matches
- 형식문법,formal_grammar . . . . 9 matches
- 필드,field . . . . 8 matches
- 증명,proof . . . . 7 matches
- 메소드,method . . . . 6 matches
- 멱급수,power_series . . . . 6 matches
- 문법,grammar . . . . 6 matches
- 형식언어,formal_language . . . . 6 matches
- 노멀폼,normal_form . . . . 4 matches
- 알파벳,alphabet . . . . 4 matches
- 의미론,semantics . . . . 4 matches
- 형식,form . . . . 4 matches
- 농도,concentration . . . . 3 matches
- 단어,word . . . . 3 matches
- 명세,specification . . . . 3 matches
- 적형식,wff . . . . 3 matches
- 공학,engineering . . . . 2 matches
- 논리학,logic . . . . 2 matches
- 매개변수,parameter . . . . 2 matches
- 신택스,syntax . . . . 2 matches
- 언어,language . . . . 2 matches
- 촘스키_위계,Chomsky_hierarchy . . . . 2 matches
- 프로그램,program . . . . 2 matches
- concur . . . . 1 match
- universal_statement . . . . 1 match
- 결론,conclusion . . . . 1 match
- 공리,axiom . . . . 1 match
- 규칙,rule . . . . 1 match
- 기계어,machine_language . . . . 1 match
- 데리베이션,derivation . . . . 1 match
- 딜레마,dilemma . . . . 1 match
- 로직,logic . . . . 1 match
- 문법시스템,grammar_system . . . . 1 match
- 문자열,string . . . . 1 match
- 문장,sentence . . . . 1 match
- 병렬성,parallelism . . . . 1 match
- 부정,negation . . . . 1 match
- 삼단논법,syllogism . . . . 1 match
- 아규먼트,argument . . . . 1 match
- 원리,principle . . . . 1 match
- 자동기계,automaton . . . . 1 match
- 접사,affix . . . . 1 match
- 정규문법,regular_grammar . . . . 1 match
- 진리,truth . . . . 1 match
- 진리나무,truth_tree . . . . 1 match
- 질의query . . . . 1 match
- 추론규칙,inference_rule . . . . 1 match
- 텀,term . . . . 1 match
- 토큰,token . . . . 1 match
- 평면,plane . . . . 1 match
- 포맷,format . . . . 1 match
Show Context.