دسته بندی : پاورپوینت
نوع فایل: ppt _ pptx
( قابلیت ویرایش )
قسمتی از محتوی متن پاورپوینت :
تعداد اسلاید : 10 صفحه
محاسبات لامبدا محاسبات لامبدا سیستمی با سه جزء: نشانه گذاری برای تعریف توابع سیستمی برای اثبات تساوی گزاره ها مجموعه ای از قوانین که کاهش (reduction) نام دارد تاریخچه هدف اصلی: تئوری اصلی جانشینی برای توابع قابل محاسبه موفق تر بود جانشینی uf0df محاسبه سمبلیک تز Church طراحی لیسپ، ML و زبانهای دیگر را تحت تأثیر قرار داده است.
دلایل مطالعه نشانه گذاری های نحوی پایه متغیر های آزاد(free) و مقید(free) توابع اعلانها قانون محاسبات ارزیابی سمبولیک مناسب برای توصیف برنامه در بهینه سازی و توسعه ی ماکرو کاربرد دارد ایده هایی در مورد حوزه ی مقید سازی(binding) را ارائه می دهد.
عبارتها و توابع عبارتها: x + y x + 2*y + z توابع: uf06cx.
(x+y) uf06cz.
(x + 2*y + z) کاربرد: (uf06cx.
(x+y)) 3 = 3 + y (uf06cz.
(x + 2*y + z)) 5 = x + 2*y + 5 توابع مرتبه ی بالاتر با داشتن تابع f، تابع fof را برمی گرداند: uf06cf.
uf06cx.
f (f x) طریقه ی عمل کردن: (uf06cf.
uf06cx.
f (f x)) (uf06cy.
y+1) = uf06cx.
(uf06cy.
y+1) ((uf06cy.
y+1) x) = uf06cx.
(uf06cy.
y+1) (x+1) = uf06cx.
(x+1)+1 روندی مشابه، با استفاده از نحو لیسپ با داشتن تابع f، تابع fof را برمی گرداند: (lambda (f) (lambda (x) (f (f x)))) طریقه ی عمل کردن: ((lambda (f) (lambda (x) (f (f x)))) (lambda (y) (+ y 1)) = (lambda (x) ((lambda (y) (+ y 1)) ((lambda (y) (+ y 1)) x)))) = (lambda (x) ((lambda (y) (+ y 1)) (+ x 1)))) = (lambda (x) (+ (+ x 1) 1)) متغیرهای آزاد و مقید متغیر آزاد: متغیری که در یک عبارت تعریف نشده باشد: متغیر y در uf06cx.
(x+y) آزاد است تابع uf06cx.
(x+y) با uf06cx.
(x+z) تفاوت دارد متغیر مقید: متغیری که آزاد نیست متغیر x در uf06cx.
(x+y) مقید است تابع uf06cx.
(x+y) با uf06cz.
(z+y) یکسان است (تغییر نام) مقایسه uf0f2 x+y dx = uf0f2 z+y dz مثال : y در uf06cx.
((uf06cy.
y+2) x) + y هم آزاد و هم مقید است تقلیل قانون محاسبات برپایه ی تقلیل uf062 قرار دارد (uf06cx.
e1) e2 uf0ae [e2/x]e1 که جانشین سازی شامل تغییر نام در صورت نیاز است تقلیل: اعمال قوانین محاسباتی پایه به هر عبارت تکرار اتصال: نتیجه ی نهایی (در صورت وجود) مستقل از ترتیب ارزیابی ، همیشه یکتا است تغییر نام متغیر های مقید مثال: (uf06cf.
uf06cx.
f (f x)) (uf06cy.
y+x) جانشینی ” کورکورانه“ uf06cx.
[(uf06cy.
y+x) ((uf06cy.
y+x) x)] = uf06cx.
x+x+x تغییر نام متغیرهای مقید: (uf06cf.
uf06cz.
f (f z)) (uf06cy.
y+x) = uf06cz.
[(uf06cy.
y+x) ((uf06cy.
y+x) z))] = uf06cz.
z+x+x قانون ساده: همیشه متغیرهایی را تغییر نام می دهیم که مجزا می شوند.
.
متن بالا فقط قسمتی از محتوی متن پاورپوینت میباشد،شما بعد از پرداخت آنلاین ، فایل را فورا دانلود نمایید
لطفا به نکات زیر در هنگام خرید دانلود پاورپوینت: توجه فرمایید.
- در این مطلب، متن اسلاید های اولیه قرار داده شده است.
- به علت اینکه امکان درج تصاویر استفاده شده در پاورپوینت وجود ندارد،در صورتی که مایل به دریافت تصاویری از ان قبل از خرید هستید، می توانید با پشتیبانی تماس حاصل فرمایید
- پس از پرداخت هزینه ،ارسال آنی پاورپوینت خرید شده ، به ادرس ایمیل شما و لینک دانلود فایل برای شما نمایش داده خواهد شد
- در صورت مشاهده بهم ریختگی احتمالی در متون بالا ،دلیل آن کپی کردن این مطالب از داخل اسلاید ها میباشد ودر فایل اصلی این پاورپوینت،به هیچ وجه بهم ریختگی وجود ندارد
- در صورتی که اسلاید ها داری جدول و یا عکس باشند در متون پاورپوینت قرار نخواهند گرفت.
- هدف فروشگاه ایران پاورپوینت کمک به سیستم آموزشی و رفاه دانشجویان و علم آموزان میهن عزیزمان میباشد.
دانلود فایل 
پرداخت آنلاین
دانلود پاورپوینت محاسبات لامبدا 10 اسلاید