식,expression

Difference between r1.31 and the current

@@ -1,5 +1,6 @@
#noindex
식은 [[수,number]]와 [[변수,variable]]들을 [[연산,operation]]으로 연결한다.[* https://brilliant.org/courses/pre-algebra/variables/day-2-expressions/2/ An expression connects numbers and variables with operations such as addition, subtraction, multiplication, and division.]
표현식(expression)은 [[값,value]], 변수, [[연산자,operator]]의 조합이다.[* https://thebook.io/006878/0029/]

식은 [[평가,evaluation]]의 대상?
이 때 [[대입,assignment]]이 일어남?
@@ -18,6 +19,7 @@
[[텀,term]] = [[항,term]]
[[상수,constant]]
[[연결사,connective]]
[[괄호,gwalho]]

MKL/MKCLEAR
[[명제,proposition]]
@@ -36,8 +38,13 @@
mathematical_expression - 현재 this page와 구분을 두고 있지는 않은데 나중에 분리?
//한다면 [[수식,mathematical_expression]]
{
'''mathematical expression'''

WtEn:mathematical_expression ???? qqqqqqqqqiiiiiiii
[[변수,variable]]와 [[상수,constant]]를 [[연산자,operator]]를 사용하여 표현한 [[식,expression]].[* https://thebook.io/080246/0008/]
 
Ggl:"define: mathematical expression"
 
WtEn:mathematical_expression x 2024-07

rel. [[표기법,notation]] > 수학적표기법 [[mathematical_notation]]
{
@@ -342,7 +349,7 @@

= 영단어 expression의 다른 뜻 =
[[표현,expression]]
최근에는 expression을 '표현식'으로 번역하기도 하는데... 이게 좋은건지 나쁜건지 ...?
최근에는 expression을 '표현식'으로 번역하기도 하는데... 표현+식 둘의 절충같은. 이게 좋은건지 나쁜건지 ...?

----
[[WtEn:expression]] = https://en.wiktionary.org/wiki/expression


식은 수,number변수,variable들을 연산,operation으로 연결한다.[1]
표현식(expression)은 값,value, 변수, 연산자,operator의 조합이다.[2]

식은 평가,evaluation의 대상?
이 때 대입,assignment이 일어남?
복잡한 식은 단순화,simplification의 대상.

식을 평가,evaluation한다는 것은, 그 값,value을 찾는 것. 변수,variable대입,assignment을 한다던지.
chk 평가의 과정 중에서 식,expression의 구성요소들에 대한 연산,operation이 일어남?






Sub:

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




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



} // 수식

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




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

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

WtEn:symbolic_expression = https://en.wiktionary.org/wiki/symbolic_expression
여기선 sexp와 동의어로 나옴. 2023-11-22 근데 항상 그런가? 에 대한 대답은 No.

WpEn:Symbolic_expression = https://en.wikipedia.org/wiki/Symbolic_expression
...
"symbolic expression"
Ndict:symbolic expression
Ggl: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
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 둘다 표현
이거 분명 ,homoiconicity ... 같은건지 아님 관련인지 chk

Sub:
canonical_S-expression =,canonical_S-expression =,canonical_S-expression . canonical_S-expression |=,csexp csexp
{
canonical s-expression



"canonical S-expression"
Ggl:canonical S-expression

} // canonical 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
WpEn:M-expression = https://en.wikipedia.org/wiki/M-expression
Wiki: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)












common_subexpression_elimination =,common_subexpression_elimination . common_subexpression_elimination
}

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


... Ggl:proper subexpression
"proper subexpression"
}

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



algebraic_expression =,algebraic_expression =,algebraic_expression . algebraic_expression
대수식 ?
대수적 식 ?
대수적 수식 ? ...
MKL
algebraic_function 대수함수 (wk) 대수적 함수 Opp. "Nonalgebraic functions are called transcendental_function s."(mw) https://mathworld.wolfram.com/AlgebraicFunction.html https://en.wikipedia.org/wiki/Algebraic_function https://ko.wikipedia.org/wiki/대수함수 https://planetmath.org/AlgebraicFunction Up: 함수,function
algebraic_equation "algebraic equation or polynomial equation"(we) AKA: polynomial_equation =,polynomial_equation . https://mathworld.wolfram.com/AlgebraicEquation.html https://en.wikipedia.org/wiki/Algebraic_equation
algebraic_operation 대수연산 ? 대수적 연산 https://en.wikipedia.org/wiki/Algebraic_operation Up: 연산,operation
https://en.wikipedia.org/wiki/Algebraic_expression
algebraic_number "The roots of an algebraic_equation in one variable are known as algebraic numbers."[4]
transcendental_function =,transcendental_function . https://mathworld.wolfram.com/TranscendentalFunction.html
https://mathworld.wolfram.com/AlgebraicExpression.html


analytical_expression
analytical expression
"analytical expression"
대수식 ?
KmsE:analytical expression
Ndict:analytical expression
Ggl:analytical expression

arithmetic_expression
arithmetic expression
산술식 ?
"arithmetic expression"
KmsE:arithmetic expression
Ndict:arithmetic expression
Ggl:arithmetic expression

ADDHERE


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


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

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

한국어 단어 '식'의 다른 뜻
식,, VG:식, 그리고 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/벨의 부등식
Ndict:벨 부등식
Ggl:벨 부등식
}
다항식,polynomial
점화식 recurrence_equation ? - curr. 점화관계. (curr. VG:점화식,recurrence_relation)
...

무리식 // 이상 wikify TODO

atomic expression

원자식
원자적 식

atomic_expression =,atomic_expression =,atomic_expression . atomic_expression
{
atomic expression


ex. PL에선 이런 것들
https://narucode.org/0/원자적_표현식

REL: 원자식,atom(atomic_formula)

"atomic expression"
Ggl:atomic expression

} // atomic_expression

Compare: expression vs statement

쉬운 뻔한거지만.. 그래도 tbw - 특히 pl에 따라 (제어구조,control_structure 제어흐름,control_flow 인) if-else suite가 단순히 statement인 경우도 있는데, expression인 경우도 있어서 이런것들은 정리할 필요가 있다

statement의 번역 결정 후.



----