خريد بک لينک

home theater in Los Angeles
فلنج
Barabas Ropa de hombre
پاورپوینت محاسبات لامبدا
تاريخ : 9 شهريور 1395 | <-PostTime-> | نویسنده : moh3en | بازدید : <-PostHit->
پاورپوینت محاسبات لامبدا

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

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

پاورپوینت محاسبات لامبدا
دسته بندیپاورپوینت
فرمت فایلppt
حجم فایل847 کیلو بایت
تعداد صفحات فایل10

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

سیستمی با سه جزء:

نشانه گذاری برای تعریف توابع

سیستمی برای اثبات تساوی گزاره ها

مجموعه ای از قوانین که کاهش (reduction) نام دارد

تاریخچه : 

هدف اصلی: تئوری اصلی جانشینی

برای توابع قابل محاسبه موفق تر بود

جانشینی محاسبه سمبلیک

تز Church

طراحی لیسپ، ML و زبانهای دیگر را تحت تأثیر قرار داده است.

دلایل مطالعه :

نشانه گذاری های نحوی پایه:

متغیر های آزاد(free) و مقید(free)

 توابع

اعلانها

قانون محاسبات:

ارزیابی سمبولیک مناسب برای توصیف برنامه

در بهینه سازی و توسعه ی ماکرو کاربرد دارد

ایده هایی در مورد حوزه ی مقید سازی(binding)  را ارائه می دهد. 

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







ادامه ي مطلب

امتیاز :


طبقه بندی: ،
,

ارسال نظر برای این مطلب
نام شما:
ايميل :
سايت :
متن نظر :
وضعیت نظر:
کد امنیتی : *