¨سیستمی با سه جزء:
نشانه گذاری برای تعریف توابع
سیستمی برای اثبات تساوی گزاره ها
مجموعه ای از قوانین که کاهش (reduction) نام دارد
تاریخچه:
¨هدف اصلی:
تئوری اصلی جانشینی
¨برای توابع قابل محاسبه موفق تر بود
جانشینی ß محاسبه سمبلیک
تز Church
¨طراحی لیسپ، ML و زبانهای دیگر را تحت تأثیر قرار داده است.
دلایل مطالعه:
¨نشانه گذاری های نحوی پایه
متغیر های آزاد(free) و مقید(free)
توابع
اعلانها
¨قانون محاسبات
ارزیابی سمبولیک مناسب برای توصیف برنامه
در بهینه سازی و توسعه ی ماکرو کاربرد دارد
ایده هایی در مورد حوزه ی مقید سازی(binding) را ارائه می دهد.
شامل 10 اسلاید powerpoint
دانلود پاورپوینت محاسبات لامبدا