arity, 항수

항수의 정의

• 함수나 연산이 취하는 인수 또는 피연산자의 개수를 나타내는 개념이다.

 

항수의 속성

• 함수나 연산이 받아들이는 입력값(피연산자)의 수를 의미한다.

 

항수의 영어 표현

• 'arity'로 표현되며, 발음은 /ˈærɪti/이다.

 

항수의 유형

• 단항 연산: 항수가 1인 경우
• 이항 연산: 항수가 2인 경우
• 삼항 연산: 항수가 3인 경우

 

단항 연산의 예시

• 부정, 삼각함수 등이 있다.

 

이항 연산의 예시

• 덧셈, 뺄셈, 곱셈, 나눗셈 등이 있다.

 

삼항 연산의 예시

• 조건 연산자 ?:가 있다.

 

수학에서 항수의 정의

• 함수 \(f: X_1 \times \cdots \times X_n \to Y\)의 항수는 \( n \)이다.

 

프로그래밍 언어에서 항수의 사용

• 함수 참조 표현에 사용되며, 예로 Erlang의 fun LocalFunc/Arity 표현이 있다.

 

C#에서 항수의 역할

• 연산자의 종류(단항, 이항, 삼항)를 구분하는 데 사용된다.

 

논리학에서 항수의 속성

• 각 술어변수는 고유한 항수를 가지며, 이항 관계는 항수가 2인 관계를 의미한다.

 

영항 연산의 정의

• 항수가 0인 연산으로, 상수를 나타낸다.

 

무한항 연산의 정의

• 무한 항수를 가진 연산을 의미한다.

 

항수의 역할

• 함수의 입력 구조를 명확히 정의하고, 연산의 특성을 이해하는 데 중요한 역할을 한다.