ش | ی | د | س | چ | پ | ج |
1 | 2 | 3 | ||||
4 | 5 | 6 | 7 | 8 | 9 | 10 |
11 | 12 | 13 | 14 | 15 | 16 | 17 |
18 | 19 | 20 | 21 | 22 | 23 | 24 |
25 | 26 | 27 | 28 | 29 | 30 |
دسته بندی | حسابداری |
فرمت فایل | pptx |
حجم فایل | 198 کیلو بایت |
تعداد صفحات فایل | 10 |
پاورپوینت محاسبات لامبدا در 10 اسلاید زیبا و قابل ویرایش با فرمت pptx
محاسبات لامبدا
¨سیستمی با سه جزء: ¡نشانه گذاری برای تعریف توابع
سیستمی برای اثبات تساوی گزاره ها
مجموعه ای از قوانین که کاهش (reduction) نام دارد
تاریخچه
¨هدف اصلی:
تئوری اصلی جانشینی
برای توابع قابل محاسبه موفق تر بود
جانشینی محاسبه سمبلیک
تز Church
طراحی لیسپ، ML و زبانهای دیگر را تحت تأثیر قرار داده است.