حسابات اللامدا

من ويكيبيديا، الموسوعة الحرة
اذهب إلى: تصفح، ‏ ابحث

حسابات اللامدا, هي نظام شكلي (تكتب أيضا حساب λ) هو النظام الرسمي في المنطق الرياضي للتعبير عن الحساب على أساس وظيفة التجريد والتطبيق باستخدام اسناد المتغيرات والاستبدال. انه نموذج عام للحوسبة والذي يمكن استخدامه لمحاكاة أي آلة تورينغ ذات شريط واحد [1]. قدم لأول مرة من قبل عالم الرياضيات ألونزو تشرتش في الثلاثينيات من القرن الماضي في اطار التحقيقات في أسس الرياضيات.

الشرح والتطبيقات[عدل]

حساب لامدا هو تورينج كاملة وهو نموذج عام من الحوسبة والتي يمكن استخدامها لمحاكاة أي آلة تورينج ذات شريط واحد. تحمل الاسم الحرف اليوناني لامدا (λ)، ويستخدم في تعبيرات لامدا وشروط لامدا لاسناد متغير في الوظيفة او التابع.

يمكن ان يكون حساب لامدا منمطاً أو غير منمط. في حساب لامدا المنمط لا يمكن تطبيق الوظائف إلا إذا كانت قادرة على قبول أنماط البيانات المدخلة.

حساب لامدا له تطبيقات في مجالات مختلفة في الرياضيات، الفلسفة، [2] اللسانيات، [3] [4] وعلم الحاسوب. [5] وقد لعب حساب لامدا دورا هاما في تطوير نظرية لغات البرمجة. تطبق لغات البرمجة الوظيفية حساب لامدا. حساب لامدا أيضا هو موضوع البحث الحالي في نظرية الأصناف [6].

مراجع[عدل]

  1. ^ Turing, A. M. (December 1937). "Computability and λ-Definability". The Journal of Symbolic Logic. 2 (4): 153–163. doi:10.2307/2268280. JSTOR 2268280.
  2. ^ Coquand, Thierry, "Type Theory", The Stanford Encyclopedia of Philosophy (Summer 2013 Edition), Edward N. Zalta (ed.).
  3. ^ Categorial Investigations: Logical and Linguistic Aspects of the Lambek Calculus - Michael Moortgat - Google Books, Books.google.co.uk, 1988-01-01, ISBN 9789067653879, retrieved 2013-09-15
  4. ^ Computing Meaning - Google Books, Books.google.co.uk, 2008-07-02, ISBN 9781402059575, retrieved 2013-09-15
  5. ^ Mitchell, John C. (2003), Concepts in Programming Languages, Cambridge University Press, p. 57, ISBN 9780521780988.
  6. ^ Basic Category Theory for Computer Scientists, p. 53, Benjamin C. Pierce