مشاهده و دانلود پاورپوینت آماده; محاسبات لامبدا ۱۰ اسلاید
مطالب اسلایدهای ابتدایی این پاورپوینت به شرح زیر است تعداد اسلاید : ۱۰ اسلاید محاسبات لامبدا کیوان شفیعی محاسبات لامبدا سیستمی با سه جزء:نشانه گذاری برای تعریف توابعسیستمی برای اثبات تساوی گزاره هامجموعه ای از قوانین که کاهش (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. f (f x)) (y. y+1)= x. (y. y+1) ((y. y+1) x)= x. (y. y+1) (x+1)= x. (x+1)+1 روندی مشابه، با استفاده ا …
فروشگاه فایل پروژه برتر : project20.ir
فروشگاه فایل مارکتینگ پروژه : project20marketing.ir
قوانین ارسال دیدگاه در سایت