صفحه نخست »
عمومی »
گوناگون
»
مشاهده اطلاعات فایل
پاورپوینت بررسی ساختار محاسبات لامبدا در تئوری اصلی جانشینی
شرح فایل
• سیستمی با سه جزء
نشانه گذاری برای تعریف توابع
سیستمی برای اثبات تساوی گزاره ها
مجموعه ای از قوانین که کاهش (reduction) نام دارد
• نشانه گذاری های نحوی پایه
متغیر های آزاد(free) و مقید(free)
توابع
اعلانها
• قانون محاسبات
ارزیابی سمبولیک مناسب برای توصیف برنامه
در بهینه سازی و توسعه ی ماکرو کاربرد دارد
ایده هایی در مورد حوزه ی مقید سازی(binding) را ارائه می دهد.
• متغیر آزاد متغیری که در یک عبارت تعریف نشده باشد
متغیر y در x. (x+y) آزاد است
تابع x. (x+y) با x. (x+z) تفاوت دارد
• متغیر مقید متغیری که آزاد نیست
متغیر x در x. (x+y) مقید است
تابع x. (x+y) با z. (z+y) یکسان است (تغییر نام)
• مقایسه
x+y dx = z+y dz
• مثال
y در x. ((y. y+2) x) + y هم آزاد و هم مقید است
محتوای فایل دانلودی
• سیستمی با سه جزء
نشانه گذاری برای تعریف توابع
سیستمی برای اثبات تساوی گزاره ها
مجموعه ای از قوانین که کاهش (reduction) نام دارد
• نشانه گذاری های نحوی پایه
متغیر های آزاد(free) و مقید(free)
توابع
اعلانها
• قانون محاسبات
ارزیابی سمبولیک مناسب برای توصیف برنامه
در بهینه سازی و توسعه ی ماکرو کاربرد دارد
ایده هایی در مورد حوزه ی مقید سازی(binding) را ارائه می دهد.
• متغیر آزاد متغیری که در یک عبارت تعریف نشده باشد
متغیر y در x. (x+y) آزاد است
تابع x. (x+y) با x. (x+z) تفاوت دارد
• متغیر مقید متغیری که آزاد نیست
متغیر x در x. (x+y) مقید است
تابع x. (x+y) با z. (z+y) یکسان است (تغییر نام)
• مقایسه
x+y dx = z+y dz
• مثال
y در x. ((y. y+2) x) + y هم آزاد و هم مقید است
- پرداخت با کلیه کارتهای بانکی عضو شتاب امکانپذیر است.
- پس از پرداخت آنلاین، بلافاصله لینک دانلود فعال می شود و می توانید فایل را دانلود کنید. در صورتیکه ایمیل خود را وارد کرده باشید همزمان یک نسخه از فایل به ایمیل شما ارسال میگردد.
- در صورت بروز مشکل در دانلود، تا زمانی که صفحه دانلود را نبندید، امکان دانلود مجدد فایل، با کلیک بر روی کلید دانلود، برای چندین بار وجود دارد.
- در صورتیکه پرداخت انجام شود ولی به هر دلیلی (قطعی اینترنت و ...) امکان دانلود فایل میسر نگردید، با ارائه نام فایل، کد فایل، شماره تراکنش پرداخت و اطلاعات خود، از طریق تماس با ما، اطلاع دهید تا در اسرع وقت فایل خریداری شده برای شما ارسال گردد.
- در صورت وجود هر گونه مشکل در فایل دانلود شده، حداکثر تا 24 ساعت، از طریق تماس با ما اطلاع دهید تا شکایت شما مورد بررسی قرار گیرد.
- برای دانلود فایل روی دکمه "خرید و دانلود فایل" کلیک کنید.