• Class_2022_1
       [[방정식,equation]]의 수 $m$ 과 [[변수,variable]]의 수 $n$ 에 대해:
       $x,x_1,\cdots,x_k$ : [[변수,variable]]들
• 경계,bound
       bound variable : 종속변수. free variable의 반대말. See [[변수,variable#s-2]] ..... [[묶인변수,bound_variable]]?
• 곱,product
       '''곱항''': [[리터럴,literal]]s들의 [[논리곱,conjunction]]. 여기서 각 literal은 [[변수,variable]]이거나 그것의 [[부정,negation]]. (wpen)
• 곱셈,multiplication
       ''(전자는 [[변수,variable]]에, 후자는 [[계수,coefficient]]에 유사성이 있는?)''
• 다항식,polynomial
        $x$ : [[변수,variable]]
• 단항식,monomial
       보통 [[계수,coefficient]] - [[변수,variable]]문자 - 지수 순으로 씀.
• 독립변수와_종속변수
        [[변수,variable]]
       [[변수,variable]], 변인: [[독립변수와_종속변수]]
       Up: [[변수,variable]]
• 독립성,independence
       [[변수,variable]]
• 람다대수,lambda_calculus
       변수들 (see [[변수,variable#s-2]])
       [[자유변수,free_variable]] vs [[bound_variable]] ........ curr at [[변수,variable#s-2]]
• 로마자,Latin_alphabet
        미지수 혹은 일반적인 [[변수,variable]] 이름으로 가장 흔한 x, y, z
• 명제,proposition
        [[변수,variable]] x의 값이 1일 때 이 술어는 참인 명제가 되고, (컴퓨터 [[식,expression]]으로 표현된 경우 x에 1이 [[대입,assignment]]되면)
        [[변수,variable]] x의 값이 1이 아닌 다른 값일 때 이 술어는 거짓인 명제가 된다.
       [[술어,predicate]]의 [[변수,variable]]에 [[값,value]]이 [[대입,assignment]]되면 '''명제,proposition'''? chk
• 명제논리,propositional_logic
       '''명제논리,propositional_logic'''의 [[변수,variable]]:
       AKA statement_variable =,statement_variable . { statement variable [[RR:진술,statement]] [[변수,variable]]/[[변항,variable]]? .. WtEn:statement_variable x([[Date(2023-08-16T08:25:08)]]) ... Ndict:"statement variable" Ggl:"statement variable" Bing:"statement variable" }
• 미분,derivative
        도함수(=[[미분,derivative]])의 일반화. [[변분법,variational_calculus]]에 등장. 여기선 [[함수,function]]를 [[변수,variable]]에 대해 [[미분,differentiation]]하는 대신에, [[범함수,functional]]를 [[함수,function]]에 대해 미분한다. (MW)
• 변량,variate
        * Q: [[변수,variable]]와 차이? 일단 비슷한 개념이긴 한데....
• 변수,variable
       [[변수,variable]]의 개[[수,number]]는 다음과 비슷하거나 관련있음:
• 변수분리,variable_separation
       ''QQQ 이건 문자가([[변수,variable]]가) 두개일 경우, 등식의 등호 왼쪽에 한 문자를, 다른쪽에 다른 문자를, 이것에만 한정되는지?''
       [[변수,variable]]
• 복소수,complex_number
        The ring of complex numbers(복소수환?복소환?) $\mathbb{C}$ 정의: [[몫환,quotient_ring]] of the [[다항식환,polynomial_ring]] $\mathbb{R}[X]$ in one [[변수,variable]] over the reals by the [[주아이디얼,principal_ideal]] $(X^2+1).$
• 상수,constant
        (수학에서도) 반대의 개념인 [[변수,variable]]
        (PL에서도) [[변수,variable]]와 대비됨
• 선형방정식,linear_equation
       가장 간단한 경우는 [[변수,variable]]가 한 개인 경우? ... ax=b (a≠0) ... 이것의 [[해,solution]]는 물론 x=b/a
       같은 수 (n개)의 [[변수,variable]]들의 (마찬가지로 n개 [[계수,coefficient]]들과 함께) [[선형결합,linear_combination]]한 식 =(이퀄) [[상수,constant]] 로 놓은 방정식??
• 술어,predicate
       A '''predicate''' can be understood as a [[명제,proposition]] whose truth depends on the [[값,value]] of one or more [[변수,variable]]s.
       [[술어,predicate]] [[변수,variable]]
• 스칼라,scalar
       [[펄,Perl]]에서는 단일 값을 담은 [[변수,variable]]와 같은 뜻? or 변수의 일종? Sigil{ 시질? /sídƷil/ } 로 변수 명 앞에 달러($)를 사용. chk ... Google:perl+scalar
• 신호,signal
       물리적 양(physical quantity) 혹은 [[변수,variable]].
• 일차논리,first-order_logic
       CHK: [[술어논리,predicate_logic]]에서 quantifier가 [[변수,variable]]에만 적용되고, [[술어,predicate]]나 [[함수,function]]에 대해 허용하지,,허용되지?,, 않는 경우 이를 일차술어계산(first-order predicate calculus)이라고 한다... (?)
        1. [[변수,variable]]는 term이다.
        [[변수,variable]]에만
• 자료,data
       [[변수,variable]]
       [[변수,variable]] { 비교: 불변량/불변성/invariant }
• 자유도,degree_of_freedom
       [[동역학계,dynamical system]]의 '''자유도'''의 수는 그것의 [[위상공간,phase_space]]의 [[차원,dimension]]. 다시 말해 modeler가 그 [[계,system]]를 완벅하게 기술하기 위해 필요하다고 느끼는 [[변수,variable]]의 수.
• 전산학,compsci
       [[변수,variable]]
       [[변수,variable]] - local에서도 writing
       [[변수,variable#s-5]]에 CS/CE/PL의 변수
       [[변수,variable#s-6]]에 이론적 CS/logic의 변수
• 최적화,optimization
       [[변수,variable]] $x$ 에 대해 '''최적화'''하기 원하는 [[함수,function]]를 $f(x)$ 로 나타냈을 때,
• 칠판_볼드체,blackboard_bold
        보통은 그냥 이탤릭 문자 $d$ 로 쓴다. 좀 더 엄밀한 곳에선 ([[변수,variable]]가 아님을 명확히 하기 위한 의도?) 비-이탤릭 문자 $\operatorname{d}$ 를 쓰기도 한다.
• 통계,statistics
       [[변수,variable]]
• 표기법,notation
       Hungarian_notation - iIntValue lpszParam hHandle 뭐이런거 - [[타입,type]](등)을 [[변수,variable]] [[이름,name]] [[식별자,identifier]]의 prefix로 표기하는. ... Google:헝가리안+표기법
• 함수,function
       [[변수,variable]]들 간의 연관 관계를 묘사함??
• 확률변수,random_variable
        [[변수,variable]] (근데 확률변수는 함수라는 글도 봤는데..)
• 확률분포,probability_distribution
       [[변수,variable]]
• 회귀,regression
       * [[변수,variable]]간의 의존관계(dependency)를 파악

You can also click here to search title.