본문 바로가기

프로그래밍 패러다임/함수형 프로그래밍6

대수(Algebra), 증명(Proof), 법칙(Law)의 개념과 예시 1. 대수(Algebra)란? 대수는 수학의 한 분야로, 숫자와 연산 및 그들 간의 관계, 패턴, 구조를 연구합니다. 이는 기본적인 산수(덧셈, 뺄셈, 곱셈, 나눗셈)에서부터 더 복잡한 연산까지 포함합니다. 예시: x + 3 = 7 과 같은 방정식을 생각해보세요. 여기서 x의 값을 찾는 것이 대수의 기본적인 예입니다. 이 경우 x = 4가 됩니다. 2. 증명(Proof)이란? 증명은 수학적 진리를 논리적으로 보여주는 과정입니다. 어떤 명제가 참임을 보이기 위해 논리적 추론을 사용합니다. 증명은 수학의 근본적인 요소로, 수학 이론의 타당성을 확인하는 데 필수적입니다. 예시: '짝수의 합은 항상 짝수이다'는 명제에 대한 증명을 생각해봅시다. 임의의 두 짝수를 2a와 2b라고 하면(여기서 a와 b는 정수), .. 2023. 11. 21.
Pure Function (순수 함수) 순수 함수는 주어진 입력에 대해 항상 동일한 출력을 반환하며, 외부 상태를 변경하지 않고 외부 상태에 의존하지도 않는 함수입니다. 순수 함수의 특징: 동일한 입력에 대한 동일한 출력: 동일한 인자가 주어졌을 때 항상 동일한 결과를 반환해야 합니다. 부작용(Side Effects)이 없음: 외부 상태를 변경하지 않아야 하며, 함수 내에서도 외부 상태에 의존해서는 안 됩니다. Pure Function 예시: // 순수 함수 예시 fun add(x: Int, y: Int): Int { return x + y } val result = add(3, 4) // 항상 7을 반환 이 함수는 입력된 두 숫자의 합을 반환합니다. 외부의 어떤 상태에도 영향을 받지 않으며, 외부 상태를 변경하는 부작용도 없습니다. Non-.. 2023. 8. 28.
728x90