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

دسته بندی : پاورپوینت
نوع فایل : پاورپوینت محاسبات لامبدا.ppt( قابل ويرايش و آماده ارائه )
تعداد اسلاید 10 اسلاید
قسمتی از متن .ppt :



سیستمی با سه جزء:
نشانه گذاری برای تعریف توابع
سیستمی برای اثبات تساوی گزاره ها
مجموعه ای از قوانین که کاهش (reduction) نام دارد

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