۹۵۷ پاورپوینت آماده: بررسی ساختار محاسبات لامبدا در تئوری اصلی جانشینی ۱۰ اسلاید
- takbook
- سایر محصولات
- 7th ژانویه 2018
- بدون نظر
۹۵۷ پاورپوینت آماده: بررسی ساختار محاسبات لامبدا در تئوری اصلی جانشینی ۱۰ اسلاید
¨ سیستمی با سه جزء:
¡ نشانه گذاری برای تعریف توابع
¡ سیستمی برای اثبات تساوی گزاره ها
¡ مجموعه ای از قوانین که کاهش (reduction) نام دارد
¨ نشانه گذاری های نحوی پایه
¡ متغیر های آزاد(free) و مقید(free)
¡ توابع
¡ اعلانها
¨ قانون محاسبات
¡ ارزیابی سمبولیک مناسب برای توصیف برنامه
¡ در بهینه سازی و توسعه ی ماکرو کاربرد دارد
¡ ایده هایی در مورد حوزه ی مقید سازی(binding) را ارائه می دهد.
¨ متغیر آزاد:…
به نکات زیر توجه کنید