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

مطالب اسلایدهای ابتدایی این پاورپوینت به شرح زیر است   تعداد اسلاید : 10 اسلاید محاسبات لامبدا کیوان شفیعی محاسبات لامبدا سیستمی با سه جزء:نشانه گذاری برای تعریف توابعسیستمی برای اثبات تساوی گزاره هامجموعه ای از قوانین که کاهش (reduction) نام دارد تاریخچه هدف اصلی:تئوری اصلی جانشینیبرای توابع قابل محاسبه موفق تر بودجانشینی ? محاسبه سمبلیکتز Churchطراحی لیسپ، ML و زبانهای دیگر را تحت تأثیر قرار داده است. دلایل مطالعه نشانه گذاری های نحوی پایهمتغیر های آزاد(free) و مقید(free) توابعاعلانهاقانون محاسباتارزیابی سمبولیک مناسب برای توصیف برنامهدر بهینه سازی و توسعه ی ماکرو کاربرد داردایده هایی در مورد حوزه ی مقید سازی(binding) را ارائه می دهد. عبارتها و توابع عبارتها:x + y x + 2*y + zتوابع:?x. (x+y) ?z. (x + 2*y + z)کاربرد:(?x. (x+y)) 3 = 3 + y(?z. (x + 2*y + z)) 5 = x + 2*y + 5 توابع مرتبه ی بالاتر با داشتن تابع f، تابع fof را برمی گرداند:?f. ?x. f (f x)طریقه ی عمل کردن:(?f. ?x. f (f x)) (?y. y+1)= ?x. (?y. y+1) ((?y. y+1) x)= ?x. (?y. y+1) (x+1)= ?x. (x+1)+1 روندی مشابه، با استفاده ا ...