پاورپوینت محاسبات لامبدا

سیستمی با سه جزء:

نشانه گذاری برای تعریف توابع

سیستمی برای اثبات تساوی گزاره ها

مجموعه ای از قوانین که کاهش (reduction) نام دارد

تاریخچه : 

هدف اصلی: تئوری اصلی جانشینی

برای توابع قابل محاسبه موفق تر بود

جانشینی محاسبه سمبلیک

تز Church

طراحی لیسپ، ML و زبانهای دیگر را تحت تأثیر قرار داده است.

دلایل مطالعه :

نشانه گذاری های نحوی پایه:

متغیر های آزاد(free) و مقید(free)

 توابع

اعلانها

قانون محاسبات:

ارزیابی سمبولیک مناسب برای توصیف برنامه

در بهینه سازی و توسعه ی ماکرو کاربرد دارد

ایده هایی در مورد حوزه ی مقید سازی(binding)  را ارائه می دهد.