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

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

دسته : -پاورپوینت

فرمت فایل : powerpoint

حجم فایل : 847 KB

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

بازدیدها : 254

برچسبها : دانلود پاورپوینت

مبلغ : 800 تومان

خرید این فایل

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

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

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

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

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

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

تاریخچه : 

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

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

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

تز Church

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

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

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

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

 توابع

اعلانها

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

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

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

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

خرید و دانلود آنی فایل

به اشتراک بگذارید

Alternate Text

آیا سوال یا مشکلی دارید؟

از طریق این فرم با ما در تماس باشید