تكامل لامدا: الفرق بين النسختين
[مراجعة غير مفحوصة] | [مراجعة غير مفحوصة] |
تم حذف المحتوى تمت إضافة المحتوى
لا ملخص تعديل |
|||
سطر 5:
'''حسابات اللامدا''', هي [[نظام شكلي|نظام شكلي]] (تكتب أيضا حساب λ) هو النظام الرسمي في [[منطق رياضي|المنطق الرياضي]] للتعبير عن [[الحاسوبية|الحساب]] على أساس وظيفة [[تجريد (حاسوب)|التجريد]] و[[تطبيق الدالة|التطبيق]] باستخدام [[اسناد المتغيرات]] و[[الاستبدال]]. انه [[نموذج حوسبة|نموذج عام للحوسبة]] والذي يمكن استخدامه لمحاكاة أي [[آلة تورنج|آلة تورينغ]] واحدة مسجلة على شريط. قدم لأول مرة من قبل عالم الرياضيات [[ألونزو تشرتش]] في الثلاثينيات من القرن الماضي في اطار التحقيقات في أسس الرياضيات.
حساب لامدا هو [[كمال تورينج|تورينج كاملة]] وهو نموذج عام من الحوسبة والتي يمكن استخدامها لمحاكاة أي آلة تورينج ذات شريط واحد. تحمل الاسم الحرف اليوناني لامدا (λ)، ويستخدم في [[تعبير لامدا|تعبيرات لامدا]] و[[شروط لامدا]] لاسناد متغير في تابع.
يمكن ان يكون حساب لامدا منمطاً أو غير منمط. في حساب لامدا المنمط لا يمكن تطبيق التوابع إلا إذا كانت قادرة على قبول أنماط البيانات المدخلة.
حسابات اللامبدا λ تحسب من اليسار إلى اليمين وأيضا يقرؤون حسب هذا الترتيب. أسماء المتغيرات يمكن تبديلهم. '''دالة بسيطة''' تكون على هذا المنوال :- λ ""أ"".""أ"", مبنى التغيير يكون كالتالى λ (""أ"".""أ"") ""ص"". ويكون اختزالها كالتالى ان ننقل ال ""ص"" مكان اللامدا ومن بعدها ننقلها إلى ال ""أ"" وهكذا يبقى لنا ال ""ص"".
{{شريط بوابات|منطق|رياضيات}}
|