식은 수,number와 변수,variable들을 연산,operation으로 연결한다.[1]

식은 평가,evaluation의 대상?
복잡한 식은 단순화,simplification의 대상.

식을 평가,evaluation한다는 것은, 그 값,value을 찾는 것. 변수,variable에 대입,assignment을 한다던지.

Cmp
formula { 논리식,logical_formula 논리식,logic_formula 논리식,formula REL: 원자식,atom(atomic_formula) 명제식,propositional_formula .... }
well-formed_formula - 적형식,wff

MKL
문자열,string
텀,term = 항,term
상수,constant
연결사,connective

MKL/MKCLEAR
명제,proposition
명제식,propositional_formula
포뮬러,formula
논리식,logical_formula = 논리식,logic_formula ~= 적형식,wff
연산자,operator 연산,operation and 피연산자,operand(ex 수,number 상수,constant 변수,variable ...) 이것들을 연결,connection ...
문장,sentence

Sub:

mathematical expression 수식
수식,mathematical_expression ?
수식
mathematical_expression - 현재 this page와 구분을 두고 있지는 않은데 나중에 분리?
//한다면 수식,mathematical_expression
{

mathematical_expression ???? qqqqqqqqqiiiiiiii

rel. 표기법,notation > 수학적표기법 mathematical_notation
{
수학적표기법

수학적표기법

MathematicalNotation
= http://wiki.c2.com/?MathematicalNotation
} // 수학적표기법

} // 수식

대수식,algebraic_expression =대수식,algebraic_expression =,algebraic_expression 대수식 algebraic_expression
algebraic expression
algebraic expression
대수식 via algebraic expression
via 리듀스,Reduce매뉴얼

불_식,Boolean_expression

람다식,lambda_expression

well-defined_expression - well-definedness - curr at 정의,definition?action=highlight&value=well-defined_expression

symbolic_expression =,symbolic_expression =,symbolic_expression . symbolic_expression
{
symbolic expression
기호식 ? 심볼식 심벌식 ?

이것은 좁게는 Lisp의 s-expression = sexp 를 뜻하는 경우도 있고, 넓게는 symbolic_computation 이 가능한 그 (정확히 tbw)...

symbolic_expression = https://en.wiktionary.org/wiki/symbolic_expression
Symbolic_expression = https://en.wikipedia.org/wiki/Symbolic_expression
...
"symbolic expression"
symbolic expression
symbolic expression

Up: symbol( 심벌,symbol 기호,symbol .. ) 식,expression
} // symbolic expression

s-expression =,s-expression =,s-expression . s-expression
{
s식,s-expression이 최선의 pagename??
작성중인곳은 S식,S-expression라고 써놓았긴 한데 capitalization을 할지 말지 TBD
=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-expressions = https://en.wikipedia.org/wiki/Canonical_S-expressions
https://en.wiktionary.org/wiki/canonical_S-expression

https://en.wiktionary.org/wiki/csexp x 2023-11-07

"canonical S-expression"
canonical S-expression

} // canonical S-expression

Twins:
S-표현식 = https://ko.wikipedia.org/wiki/S-표현식
S-expression = https://en.wikipedia.org/wiki/S-expression
S式 = https://ja.wikipedia.org/wiki/S式
EssExpressions = http://wiki.c2.com/?EssExpressions

Up: data_serialization_format 식,expression 표기법,notation?

s-expression
s-expression
s-expression
s-expression

} // s-exp

m-expression
M-expression 이것도
M식,M-expression으로 할지 (w)
m식,m-expression으로 할지 + 뒤에 ,mexp 를 붙일지, TBD
=M식,M-expression =,m-expression =,mexp . m-expression mexp
{
meta-expression. M은 'meta'에서.
mklink: John_McCarthy
M-expression = https://en.wikipedia.org/wiki/M-expression
EmExpressions = https://wiki.c2.com/?EmExpressions
Up: 식,expression 표기법,notation?
}

let_expression =,let_expression . let_expression
{
let expression

두 형태: let or let rec. "let_rec is an extension of the simple let expression which uses the fixed-point_combinator to implement 재귀,recursion." (we)

rel
람다추상화,lambda_abstraction
scope

let_expression = https://en.wiktionary.org/wiki/let_expression x 2023-11-22

Let_expression = https://en.wikipedia.org/wiki/Let_expression
... let expression let expression
} // let expression

정규식,regular_expression,regex - 정규식,regular_expression,regexp

논리식,logical_expression ? - 현재 논리식,logic_formula 논리식,logical_formula 페이지는 있는데... TBD

식트리,expression_tree - 트리,tree
{
MKLINK
abstract_syntax_tree (AST)
계산그래프,computational_graph

Expression_tree redir to Binary_expression_tree (2023-07-20)
... expression.tree
}

불_식,boolean_expression

free_expression =,free_expression . free_expression { 모든 변수가 free_variable인 expression. https://wiki.haskell.org/Free_expression .... free_expression ? Sub: maximal_free_expression ... free expression free expression }
subexpression =,subexpression . subexpression
{
부식? 부분식?

subexpression ?
subexpression ?

common_subexpression_elimination =,common_subexpression_elimination . common_subexpression_elimination
}

proper_subexpression =,proper_subexpression . proper_subexpression
{
proper subexpression
진부식 ? 진부분식?

proper_subexpression

... proper subexpression
"proper subexpression"
}

reducible_expression = redex
=,reducible_expression | =,redex .
{
reduction 가능한 식?
https://wiki.haskell.org/Reducible_expression

reducible_expression
redex

... reducible.expression
}

algebraic_expression =,algebraic_expression =,algebraic_expression . algebraic_expression
대수식 ?
대수적 식 ?
대수적 수식 ? ...
MKL
https://en.wikipedia.org/wiki/Algebraic_expression
https://mathworld.wolfram.com/AlgebraicExpression.html

analytical_expression
analytical expression
"analytical expression"
대수식 ?
analytical expression
analytical expression
analytical expression

arithmetic_expression
arithmetic expression
산술식 ?
"arithmetic expression"
arithmetic expression
arithmetic expression
arithmetic expression

ADDHERE

식의 표현,expression 표기법,notation에는
prefix_notation
infix_notation
suffix_notation
괄호,parenthesis 가 쓰임

MKLINK
시퀀트,sequent
명제,proposition

(수식) = 0 으로 두어 등식,equation 을 만들면 방정식,equation??

같은 영단어 다른 표현: expression의 가장 일반적인 뜻은 표현,expression.

한국어 단어 '식'의 다른 뜻
식,, 식, 그리고 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)
...