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

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