• 값,value
       이건 PL에서 [[대입,assignment]] / [[대입문,assignment_statement]]에서. PL에 따라 [[대입연산자,assignment_operator]] =,assignment_operator . assignment_operator
       [[변수,variable]]에 '''값'''을 [[대입,assignment]]가능.
• 명제논리,propositional_logic
       2. '''명제논리'''에서 [[해석,interpretation]]이란 각 [[명제,proposition]]에 [[진리값,truth_value]]을 [[할당,assignment]]하는 것이다. // 할당 = [[대입,assignment]]?
• 명제함수
       "[[문장,sentence]]에서 ''(문장 속)'' [[변수,variable]]에 [[값,value]]을 주었을''(i.e. [[대입,assignment]]했을)'' 때 [[명제,proposition]]가 되는 경우, '''명제함수'''라고 부른다"
• 변수,variable
       변수는 [[대입,assignment]]으로 [[값,value]]을 지정하는 대상?
• 사이드,side
       [[대입문,assignment_statement]] ([[대입,assignment]] [[statement]] )
• 스테이트먼트,statement
       [[대입,assignment]]
• 식,expression
        이 때 [[대입,assignment]]이 일어남?
       식을 [[평가,evaluation]]한다는 것은, 그 [[값,value]]을 찾는 것. [[변수,variable]]에 [[대입,assignment]]을 한다던지.
• 연산자,operator
       [[대입,assignment]] or [[할당,assignment]]
       ||대입,assignment ||{{{=}}} ||{{{:=}}} ||
        우변의 값([[우변값,rvalue]])을 좌변으로 [[대입,assignment]]함.
• 집합,set
       이때는 assign v. 대입하다 와 뜻이 같다. // n. [[대입,assignment]]
• 충족가능성,satisfiability
        formula [[공식,formula]]? 은, 그 [[변수,variable]]들에 어떤(적당한) [[대입,assignment]]을 해서 [[참,true]]이 되면, satisfiable.
• 타입,type
       [[대입,assignment]]?
• 포인터,pointer
       포인터가 값을 갖는(포인터에 주소를 [[대입,assignment]]하는) 것 ≡ 포인터가 대상/target/[[객체,object]]를 가리키는 것?

You can also click here to search title.