تكامل لامدا: الفرق بين النسختين
[مراجعة غير مفحوصة] | [مراجعة غير مفحوصة] |
تم حذف المحتوى تمت إضافة المحتوى
ط ←اللامبدا: clean up, .الأخطاء المصححة: اساس → أساس |
|||
سطر 6:
حسابات اللامبدا λ تحسب من اليسار إلى اليمين وأيضا يقرؤون حسب هذا الترتيب. أسماء المتغيرات يمكن تبديلهم. '''دالة بسيطة''' تكون على هذا المنوال :- λ ""أ"".""أ"", مبنى التغيير يكون كالتالى λ (""أ"".""أ"") ""ص"". ويكون اختزالها كالتالى ان ننقل ال ""ص"" مكان اللامدا ومن بعدها ننقلها إلى ال ""أ"" وهكذا يبقى لنا ال ""ص"".
[[تصنيف:طرق شكلية]]
[[تصنيف:معلوماتية نظرية]]
[[تصنيف:اختراعات أمريكية]]
[[تصنيف:نماذج حاسوبية]]
|