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