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

لینک دانلود و خرید پایین توضیحات
دسته بندی : پاورپوینت
نوع فایل :  powerpoint (..ppt) ( قابل ويرايش و آماده پرينت )
تعداد اسلاید : 12 اسلاید

 قسمتی از متن powerpoint (..ppt) : 
 

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