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