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