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