연산의
arity{ 애리티, 항수, ...
항수_(수학) Arity }는, 그것이 사용하는
피연산자,operand의 개수.
- 단항연산 unary_operation = 일항연산
- 이항연산 binary_operation
- 삼항연산 etc. (이 이상은 잘 안보임)
QQQ 그럼 영항연산(or 영항연산자)은 상수,constant?action=highlight&value=nullary_operation 상수함수,constant_function와 본질적으로 동일? or not?
Not iff. n항연산도 상수항수일 수 있음이 당연하므로.
QQQ
계산,computation or
계산,calculation과의 관계? 혹시
연산에서
산술연산,arithmetic_operation인, 연산자가
산술연산자,arithmetic_operator이고 피연산자가
수,number인 경우가 계산인건지? or not?
식,expression
{
2. 집합 연산 ¶
흡수법칙
A∪(A∩B)=A
A∩(A∪B)=A
cf.
A∪A=A
A∩A=A (identity?)
A∪∅=A
A∪U=U
A∩∅=∅
A∩U=A
드 모르간의 법칙 de_Morgan_law
(A∪B)C=AC ∩ BC
(A∩B)C=AC ∪ BC
3. 논리 연산 ¶
논리연산
logic_operation? or logical_operation?
logic_operator
AND
OR
NOT
XOR
XNOR or NXOR
...TBW
4. 벡터 연산 vector operation ¶
vector_addition
vector_subtraction
벡터의 곱셈 vector_multiplication?
scalar_multiplication
vector_multiplication?
삼중곱,triple_product
5. 행렬 연산 matrix operation ¶
7. 닫혀있다, 닫힘, closed, closure (아래 section) ¶
9. 단항연산 unary operation ¶
예 Examples
부정,negation, not ¬
계승,factorial !
부호,sign +, -, ±
plus_sign minus_sign negative_number ?
클레이니_스타 *
표기 notations
prefix notation - eg.
부호,sign, ¬
postfix notation - eg. factorial !
functional notation - eg. sin(x)
superscript notation - eg.
전치,transpose A
T
앞과 뒤에 기호를
기타 - eg.
제곱근,square_root
(Misc) C에서는 increment/decrement operator를 prefix notation으로 표기하는가, postfix notation으로 표기하는가에 따라 (실행 시간? 평가 시각? 정확히)이 결정됨
10. 이항연산 binary operation ¶
AND 연산
op1 | op2 | op1 && op2 |
T | T | T |
T | F | F |
F | T (평가하지 않음) | F |
F | F (평가하지 않음) | F |
op1이 F이면 결과는 무조건 F이므로, op2를 알 필요가 없으므로 평가하지 않음
OR 연산
op1 | op2 | op1 || op2 |
T | T (평가하지 않음) | T |
T | F (평가하지 않음) | T |
F | T | T |
F | F | F |
op1이 T이면 결과는 무조건 T이므로, op2를 평가 않음
11. 삼항연산, 다항연산, (일반적으로) n항연산 ¶
다항연산
기준이? 3개 이상?
''(이건 일항연산 이항연산 포함하지 않는듯... i.e. 다항연산 ≠ n항연산. n항연산이 모든 경우, 일반적.)
(일반화하면)
n항연산,n-ary_operation
12. 비트연산 bitwise operation ¶
XOR,exclusive_or
배타적 논리합
⊕
0⊕0=0
0⊕1=1
1⊕0=1
1⊕1=0
parity of two bits, addition mod 2
14. elementwise operation ¶
elementwise_operation
element-wise_operation
가능한 번역:
원소별 연산
...
15. 하이퍼연산 초연산? hyperoperation ¶
hyperoperation or hyper_operation
17. 연산에 대해 닫혀 있다 closed ¶
TBW
....
수의 집합과 사칙연산의 닫힘성에 대해
(too easy? del ok; 나눗셈은 division_by_zero 물론 제외한)
....