فایلوو

سیستم یکپارچه همکاری در فروش فایل

فایلوو

سیستم یکپارچه همکاری در فروش فایل

پاورپوینت محاسبات لامبدا

پاورپوینت محاسبات لامبدا
پاورپوینت محاسبات لامبدا - پاورپوینت محاسبات لامبدا


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

مشخصات فروشنده

نام و نام خانوادگی : علیرضا خشاوه پور

شماره تماس : 09357717947 - 05137573265

ایمیل :info@cero.ir

سایت :cero.ir

مشخصات فایل

فرمت : ppt

تعداد صفحات : 10

قیمت : 800 تومان

حجم فایل : 847 کیلوبایت

برای خرید و دانلود فایل و گزارش خرابی از لینک های روبرو اقدام کنید...

پرداخت و دانلودگزارش خرابی و شکایت از فایل
پاورپوینت محاسبات لامبدا پاورپوینت ppt
fileNET یکشنبه 10 مرداد 1395 ساعت 15:53
نظرات 0 + ارسال نظر
امکان ثبت نظر جدید برای این مطلب وجود ندارد.