حسابات اللامدا
حسابات اللامدا, هي لغة شكلية. بمساعدتها يمكن فحص بعض الاستعمالات. هذه اللغة طورت من قبل الونسو شيرش سنة (1930) بمشاركة من ألان تيرنغ وكونراد سوزي حدث تغيير في لغات البرمجة.
اللامبدا
اللغة نفسها مكونة من ثلاث عوامل, المصطلح مكون من متغير, استعمال وما يسمى بالتغيير. الاستعمال مبنية على اساس λ <متغير>.<مصطلح>. والتغيير وهي ملخص من استعمالين. حسابات اللامبدا λ تحسب من اليسار إلى اليمين وأيضا يقرؤون حسب هذا الترتيب. اسماء المتغيرات يمكن تبديلهم. دالة بسيطة تكون على هذا المنوال :- λ ""أ"".""أ"", مبنى التغيير يكون كالتالى λ (""أ"".""أ"") ""ص"". ويكون اختزالها كالتالى ان ننقل ال ""ص"" مكان اللامدا ومن بعدها ننقلها إلى ال ""أ"" وهكذا يبقى لنا ال ""ص"".
bn:ল্যাম্ডা ক্যালকুলাস ca:Càlcul lambda cs:Lambda kalkul de:Lambda-Kalkül el:Λογισμός λάμδα en:Lambda calculus eo:Lambda-kalkulo es:Cálculo lambda fr:Lambda-calcul he:תחשיב למדא hr:Lambda račun hu:Lambda-kalkulus it:Lambda calcolo ja:ラムダ計算 ko:람다 대수 nl:Lambdacalculus pl:Rachunek lambda pt:Cálculo lambda ru:Лямбда-исчисление sh:Lambda račun simple:Lambda calculus sk:Lambda kalkul sv:Lambdakalkyl ta:லம்டா நுண்கணிதம் uk:Лямбда-числення vi:Giải tích lambda zh:Λ演算