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