دسته بندی : پاورپوینت نوع فایل: ppt _ pptx ( قابلیت ویرایش ) قسمتی از اسلاید پاورپوینت : تعداد اسلاید : 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 …
