تكامل لامدا: الفرق بين النسختين

'''حسابات اللامدا''', هي [[نظام شكلي|نظام شكلي]] (تكتب أيضا حساب λ) هو النظام الرسمي في [[منطق رياضي|المنطق الرياضي]] للتعبير عن [[الحاسوبية|الحساب]] على أساس وظيفة [[تجريد (حاسوب)|التجريد]] و[[تطبيق الدالة|التطبيق]] باستخدام [[اسناد المتغيرات]] و[[الاستبدال]]. انه [[نموذج حوسبة|نموذج عام للحوسبة]] والذي يمكن استخدامه لمحاكاة أي [[آلة تورنج|آلة تورينغ]] واحدةذات مسجلةشريط على شريطواحد <ref> Turing, A. M. (December 1937). "Computability and λ-Definability". The Journal of Symbolic Logic. 2 (4): 153–163. doi:10.2307/2268280. JSTOR 2268280.</ref>. قدم لأول مرة من قبل عالم الرياضيات [[ألونزو تشرتش]] في الثلاثينيات من القرن الماضي في اطار التحقيقات في أسس الرياضيات.