무타입 -대수 (Untyped Lambda Calculus) 1. 개요 무타입 -대수(Untyped Lambda Calculus)는 알론조 처치(Alonzo Church)가 1930년대에 제안한 함수 정의, 함수 적용, 그리고 변수 바인딩을 다루는 형식 체계로, [[계산 가능성]](Computability)을 연구하기 위한 수학적 모델이자 현대 함수형 프로…
검색 결과
"자유 변수"에 대한 검색 결과 (총 2개)
가우스 소법 개요 가스 소거법(Gaussianination)은 선형 연립방정을 풀기 위한 가장 대표적인 알고리즘 중 하나로, 행렬을 기약 사다리꼴(reduced row echelon form) 또는사다리꼴row echelon form)로 변환하여 해를 구하는 방법이다. 이 방법은 독일의 수학자 카를 프리드리히 가우스의 이름을 따 명명되었으며, 선형대수학에서…