Hard
λ演算基础
探索函数式编程的数学根基及抽象计算模型。
📝 프롬프트 내용
请解释λ演算的基本语法，包括变量抽象、应用和β-归约。论述如何仅通过函数这一概念构建出逻辑运算和数值系统，并阐述λ演算与图灵机的等价性。
일반을(를) 위한 프롬프트 모음
探索函数式编程的数学根基及抽象计算模型。