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

لینک دانلود و خرید پایین توضیحات

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

نوع فایل :  .ppt ( قابل ویرایش و آماده پرینت )

تعداد اسلاید : 10 اسلاید

 قسمتی از متن .ppt : 

محاسبات لامبدا

محاسبات لامبدا

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

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

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

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

تاریخچه

هدف اصلی:

تئوری اصلی جانشینی

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

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

تز Church

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

دلایل مطالعه

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

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

توابع

اعلانها

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

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

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

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