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