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.]
식은 [[평가,evaluation]]의 대상?
이 때 [[대입,assignment]]이 일어남?
식은 [[수,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]]
MKL/MKCLEAR
[[명제,proposition]]
[[상수,constant]]
[[연결사,connective]]
[[괄호,gwalho]]
MKL/MKCLEAR
[[명제,proposition]]
@@ -36,8 +38,13 @@
mathematical_expression - 현재 this page와 구분을 두고 있지는 않은데 나중에 분리?
//한다면 [[수식,mathematical_expression]]
{
rel. [[표기법,notation]] > 수학적표기법 [[mathematical_notation]]
{
//한다면 [[수식,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]
표현식(expression)은 값,value, 변수, 연산자,operator의 조합이다.[2]
Cmp
formula { 논리식,logical_formula 논리식,logic_formula 논리식,formula REL: 원자식,atom(atomic_formula) 명제식,propositional_formula .... }
well-formed_formula - 적형식,wff
formula { 논리식,logical_formula 논리식,logic_formula 논리식,formula REL: 원자식,atom(atomic_formula) 명제식,propositional_formula .... }
well-formed_formula - 적형식,wff
MKL/MKCLEAR
명제,proposition
명제식,propositional_formula
포뮬러,formula
논리식,logical_formula = 논리식,logic_formula ~= 적형식,wff
연산자,operator 연산,operation and 피연산자,operand(ex 수,number 상수,constant 변수,variable ...) 이것들을 연결,connection ...
문장,sentence
명제,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
수식,mathematical_expression ?
수식
mathematical_expression - 현재 this page와 구분을 두고 있지는 않은데 나중에 분리?
//한다면 수식,mathematical_expression
{
mathematical expression
} // 수식
대수식,algebraic_expression =대수식,algebraic_expression =,algebraic_expression 대수식 algebraic_expression
algebraic expression
algebraic expression
대수식 via algebraic expression
via 리듀스,Reduce매뉴얼
algebraic expression
algebraic expression
대수식 via algebraic expression
via 리듀스,Reduce매뉴얼
well-defined_expression - well-definedness - curr at 정의,definition?action=highlight&value=well-defined_expression
symbolic_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"
symbolic expression
symbolic expression
여기선 sexp와 동의어로 나옴. 2023-11-22 근데 항상 그런가? 에 대한 대답은 No.
Symbolic_expression = https://en.wikipedia.org/wiki/Symbolic_expression...
"symbolic expression"
symbolic 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-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
{
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
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
"and maximizing the speed of parsing."
https://en.wiktionary.org/wiki/canonical_S-expressionhttps://en.wiktionary.org/wiki/csexp x 2023-11-07
} // 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
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
} // 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?
}
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 or let rec. "let_rec is an extension of the simple let expression which uses the fixed-point_combinator to implement 재귀,recursion." (we)
Let_expression = https://en.wikipedia.org/wiki/Let_expression
... let expression let expression
} // let expression
... let expression let expression
} // let 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 }
{
부식? 부분식?
maximal_free_expression { https://wiki.haskell.org/Maximal_free_expression ... maximal free expression maximal free expression }
subexpression =,subexpression . subexpression{
부식? 부분식?
common_subexpression_elimination =,common_subexpression_elimination . common_subexpression_elimination
}
}
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 .
{
reduction 가능한 식?
https://wiki.haskell.org/Reducible_expression
algebraic_expression =,algebraic_expression =,algebraic_expression . algebraic_expression
대수식 ?
대수적 식 ?
대수적 수식 ? ...
MKL
대수식 ?
대수적 식 ?
대수적 수식 ? ...
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_expressionalgebraic_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
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.htmltranscendental_function =,transcendental_function . https://mathworld.wolfram.com/TranscendentalFunction.html
analytical_expression
analytical expression
"analytical expression"
대수식 ?
analytical expression
analytical expression
analytical expression
analytical expression
"analytical expression"
대수식 ?
analytical expression
analytical expression
analytical expression
arithmetic_expression
arithmetic expression
산술식 ?
"arithmetic expression"
arithmetic expression
arithmetic expression
arithmetic expression
arithmetic expression
산술식 ?
"arithmetic expression"
arithmetic expression
arithmetic expression
arithmetic expression
ADDHERE
(수식) = 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)
...
식,, 식, 그리고 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)
...
Compare: expression vs statement ¶
쉬운 뻔한거지만.. 그래도 tbw - 특히 pl에 따라 (제어구조,control_structure 제어흐름,control_flow 인) if-else suite가 단순히 statement인 경우도 있는데, expression인 경우도 있어서 이런것들은 정리할 필요가 있다
statement의 번역 결정 후.
영단어 expression의 다른 뜻 ¶
CS에서 식
수식
Expression_(mathematics) = mathematical_expression = 수식
= https://en.wikipedia.org/wiki/Expression_(mathematics)
= https://en.wikipedia.org/wiki/Expression_(mathematics)
= https://en.wikipedia.org/wiki/Expression_(mathematics)
= https://en.wikipedia.org/wiki/Expression_(mathematics)
----
- [1] 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.
- [2] https://thebook.io/006878/0029/
- [3] https://thebook.io/080246/0008/
- [4] https://mathworld.wolfram.com/AlgebraicEquation.html