حسابات اللامدا, هي نظام شكلي (تكتب أيضا حساب λ) هو النظام الرسمي في المنطق الرياضي للتعبير عن الحساب على أساس وظيفة التجريد والتطبيق باستخدام اسناد المتغيرات والاستبدال. انه نموذج عام للحوسبة والذي يمكن استخدامه لمحاكاة أي آلة تورنغ ذات شريط واحد [1]. قدم لأول مرة من قبل عالم الرياضيات ألونزو تشرتش في الثلاثينيات من القرن الماضي في اطار التحقيقات في أسس الرياضيات.
الشرح والتطبيقات
حساب لامدا هو تورنغ كاملة وهو نموذج عام من الحوسبة والتي يمكن استخدامها لمحاكاة أي آلة تورنغ ذات شريط واحد. تحمل الاسم الحرف اليوناني لامدا (λ)، ويستخدم في تعبيرات لامدا وشروط لامدا لاسناد متغير في الوظيفة أو التابع.
يمكن أن يكون حساب لامدا منمطاً أو غير منمط. في حساب لامدا المنمط لا يمكن تطبيق الوظائف إلا إذا كانت قادرة على قبول أنماط البيانات المدخلة.
حساب لامدا له تطبيقات في مجالات مختلفة في الرياضيات، الفلسفة، [2] اللسانيات، [3][4] وعلم الحاسوب.[5] وقد لعب حساب لامدا دورا هاما في تطوير نظرية لغات البرمجة. تطبق لغات البرمجة الوظيفية حساب لامدا. حساب لامدا أيضا هو موضوع البحث الحالي في نظرية الأصناف [6].
مراجع
- Turing, A. M. (December 1937). "Computability and λ-Definability". The Journal of Symbolic Logic. 2 (4): 153–163. doi:10.2307/2268280. JSTOR 2268280.
- Coquand, Thierry, "Type Theory", The Stanford Encyclopedia of Philosophy (Summer 2013 Edition), Edward N. Zalta (ed.).
- Categorial Investigations: Logical and Linguistic Aspects of the Lambek Calculus - Michael Moortgat - Google Books, Books.google.co.uk, 1988-01-01, , retrieved 2013-09-15
- Computing Meaning - Google Books, Books.google.co.uk, 2008-07-02, , retrieved 2013-09-15
- Mitchell, John C. (2003), Concepts in Programming Languages, Cambridge University Press, p. 57, .
- Basic Category Theory for Computer Scientists, p. 53, Benjamin C. Pierce