수학적 표현 수학적 표현(Mathematical Expression)은 수학적 개념, 관계, 연산 등을 기호와 언어를 통해 명확하고 간결하게 전달하는 수단이다. 수학은 추상적인 사고를 기반으로 하기 때문에, 이를 효과적으로 기술하고 전달하기 위해서는 체계화된 표현 방식이 필수적이다. 수학적 표현은 단순한 기호 나열을 넘어서 논리적 구조와 의미를 내포하며, …
검색 결과
"람다 대수"에 대한 검색 결과 (총 3개)
Types and Programming Languages 개요 《Types and Programming(이하 TAPL)는 벤자민 C. 파이어스(Benjamin C.)가 저술한로그래밍 언어론과 형식스템(formal type)에 관한 대표적인 교과서입니다. 이 책은 프로그래밍어의 설계, 구현 분석에 있어 타입 이론(type theory)의 기초를 깊이 있게 다…
무타입 -대수 (Untyped Lambda Calculus) 1. 개요 무타입 -대수(Untyped Lambda Calculus)는 알론조 처치(Alonzo Church)가 1930년대에 제안한 함수 정의, 함수 적용, 그리고 변수 바인딩을 다루는 형식 체계로, [[계산 가능성]](Computability)을 연구하기 위한 수학적 모델이자 현대 함수형 프로…