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

پاورپوینت محاسبات لامبدا
رشته تحصیلی : پاورپوینت

فرمت فایل : ppt

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

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

فرمت دانلود : رار/ زیپ

مبلغ : 800 تومان

خرید و دانلود

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

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

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

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

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

تاریخچه : 

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

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

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

تز Church

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

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

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

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

 توابع

اعلانها

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

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

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

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