MKL/MKCLEAR
명제,proposition
명제식,propositional_formula
포뮬러,formula
논리식,logical_formula =
논리식,logic_formula ~=
적형식,wff
연산자,operator 연산,operation and
피연산자,operand(ex
수,number 상수,constant 변수,variable ...) 이것들을
연결,connection ...
문장,sentence
Sub:
} // 수식
symbolic_expression =,symbolic_expression =,symbolic_expression . symbolic_expression
{
symbolic expression
기호식 ? 심볼식 심벌식 ?
이것은 좁게는 Lisp의 s-expression = sexp 를 뜻하는 경우도 있고, 넓게는 symbolic_computation 이 가능한 그 (정확히 tbw)...
s-expression =,s-expression =,s-expression . s-expression
{
s식,s-expression이 최선의 pagename??
작성중인곳은
S식,S-expression라고 써놓았긴 한데 capitalization을 할지 말지 TBD
2023-11-07 ... wpen 보면 capitalize하는 게 맞는 것 같다
=s식,s-expression =,s-expression =,sexp .
=S식,S-expression =,s-expression =,sexp . s-expression sexp
S-expression, s-expr, sexpr, sexp.
S는 'symbolic'에서. // (
심벌,symbo 심볼,symbol 기호,symbol symbolic...중?)
p SExpression
MKL
리스프,Lisp
트리,tree
리스트,list
John_McCarthy
Cmp
m-expression M식,M-expression //바로아래section
code와 data 둘다 표현
Sub:
canonical_S-expression =,canonical_S-expression =,canonical_S-expression . canonical_S-expression |=,csexp csexp
{
canonical s-expression
} // canonical S-expression
} // s-exp
proper_subexpression =,proper_subexpression . proper_subexpression
{
proper subexpression
진부식 ? 진부분식?
ADDHERE
한국어 단어 '식'의 다른 뜻
식,,
식, 그리고
expression으로 검색해 적당히 링크 - atom, formula 이런것들
방정식,equation
공식,formula
등식
부등식,inequality vg =부등식,inequality =,inequality . 부등식 inequality
{
https://ko.wikipedia.org/wiki/벨_부등식
https://simple.wikipedia.org/wiki/Bell's_theorem
https://en.wikipedia.org/wiki/Bell's_theorem
https://namu.wiki/w/벨의 부등식
벨 부등식
벨 부등식
}
다항식,polynomial
점화식 recurrence_equation ? - curr. 점화관계. (curr.
점화식,recurrence_relation)
...
무리식 // 이상 wikify TODO ¶
수학백과: 무리식(https://terms.naver.com/entry.naver?docId=3338461&cid=47324&categoryId=47324)
무리식
atomic expression ¶
원자식
원자적 식
atomic_expression =,atomic_expression =,atomic_expression . atomic_expression
{
atomic expression
} // atomic_expression
Compare: expression vs statement ¶
영단어 expression의 다른 뜻 ¶
표현,expression
최근에는 expression을 '표현식'으로 번역하기도 하는데... 이게 좋은건지 나쁜건지 ...?
CS에서 식
수식