تكامل لامدا: الفرق بين النسختين

والتغيير وهي ملخص من استعمالين.

حسابات اللامبدا λ تحسب من اليسار إلى اليمين وأيضا يقرؤون حسب هذا الترتيب. أسماء المتغيرات يمكن تبديلهم. '''دالة بسيطة''' تكون على هذا المنوال :- λ ""أ"".""أ"", مبنى التغيير يكون كالتالى λ (""أ"".""أ"") ""ص"". ويكون اختزالها كالتالى ان ننقل ال ""ص"" مكان اللامدا ومن بعدها ننقلها إلى ال ""أ"" وهكذا يبقى لنا ال ""ص"".

 

[[تصنيف:طرق شكلية]]