محاسبات لامبدا

برچسب ها

پاورپوینت نظریه مجموعه ها فازیمجموعه های فازی و كاربردهاي آنرژیم غذایی بیمارستانی تحقیقآزادی بندگی و هدف زندگیپروژه آزادی بندگی و هدف زندگیتاریخ روانشناسی نوینپاورپوینت اصول مدیریتتحقیق پاورپوینت تئوري سازمانپروتکل های تشریفات پاورپوینتدگرامدادی و خود امدادیدانلود پاورپوینت حاکمیت شرکتی

پیوند ها

محاسبات لامبدا

حجم فایل : 221.0 KB
نوع فایل : پاور پوینت
تعداد اسلاید ها : 12
بنام خدا محاسبات لامبدا محاسبات لامبدا سیستمی با سه جزء:
نشانه گذاری برای تعریف توابع
سیستمی برای اثبات تساوی گزاره ها
مجموعه ای از قوانین که کاهش (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 روندی مشابه، با استفاده از نحو لیسپ با داشتن تابع 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 در 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 هم آزاد و هم مقید است تقلیل قانون محاسبات برپایه ی تقلیل  قرار دارد
(x. e1) e2  [e2/x]e1
که جانشین سازی شامل تغییر نام در صورت نیاز است
تقلیل:
اعمال قوانین محاسباتی پایه به هر عبارت
تکرار
اتصال:
نتیجه ی نهایی (در صورت وجود) مستقل از ترتیب ارزیابی ، همیشه یکتا است تغییر نام متغیر های مقید مثال:
(f. x. f (f x)) (y. y+x)

جانشینی ” کورکورانه“
x. [(y. y+x) ((y. y+x) x)] = x. x+x+x
تغییر نام متغیرهای مقید:
(f. z. f (f z)) (y. y+x)
= z. [(y. y+x) ((y. y+x) z))] = z. z+x+x
قانون ساده: همیشه متغیرهایی را تغییر نام می دهیم که مجزا می ...

مبلغ واقعی ~~18,824 تومان~~ 20% تخفیف مبلغ قابل پرداخت 15,059 تومان

انتشار : ۲۷ اسفند ۱۳۹۸ تعداد بازدید : 120

دیدگاه های کاربران (0)

قالب HTML خلاقانه و نمونه کار Daro دارو

طراح و تهیه:ران وب-اورجینال معرفی قالب Daro قالب دارو یک قالب HTML نمونه کار آجاکس با طراحی خلاقانه و مناسب طراحان، عکاسان و آژانس های خلاقیت برای نمایش نمونه کار و طراحی آن بسیار تمیز و با ظرافت کامل انجام شده است. قالب Daro کاملا ریسپانسیو و واکنشگراست و تقریبا از صفحه ... ...

دریافت فایل : قالب HTML خلاقانه و نمونه کار Daro دارو

قالب HTML تک صفحه ای و شرکتی کاسوکا

طراح و تهیه کننده: اورجینال-ران وب معرفی قالب قالب کاسوکا یک محصول ایرانی طراحی شده مخصوص شرکت ها، ارگان ها، سازمان ها و ادارات می باشد که با طراحی تمیز، مدرن و حرفه ایی که دارد به سایت سازمان، ارگان و یا شرکت شما زیبایی خاصی می بخشد. قالب Kasuka کاملا واکنشگرا و ... ...

دریافت فایل : قالب HTML تک صفحه ای و شرکتی کاسوکا

قالب HTML شرکتی سیلرا

معرفی قالب HTML شرکتی سیلرا قالب سیلرا یک محصول ایرانی با UI اختصاصی است و مناسب شرکت های صنعتی، فولاد، نفت و… می باشد. که با طراحی جذاب سایتی زیبا و حرفه ای را در اختیار شما قرار می دهد و با تغییر جزئی برای انواع پروژه‌های شرکتی و خدماتی کاربرد دارد. قالب شرکتی سیلرا ... ...

دریافت فایل : قالب HTML شرکتی سیلرا

قالب HTML فروشگاهی vicodin، ویکودین

طراح و تهیه کننده قالب: اورجینال-ران وب (حمید) توضیحات ومعرفی قالب قالب فروشگاهی ویکودین یک قالب HTML برای فروش محصولات پزشکی و بهداشتی است که ویژگی های آن این محصول را از دیگر محصولات HTML جدا میکند، قالب vicodin از پیشرفته ترین کتابخانه های روز دنیا برای بهبود ظاهری ... ...

دریافت فایل : قالب HTML فروشگاهی vicodin، ویکودین

قالب Tradix، پوسته HTML ارز دیجیتال تریدیکس

طراح و تهیه: ران وب-اورجینال(خانم کیانی) معرفی قالب HTML ارز دیجیتال تریدیکس قالب Tradix یک قالب HTML ارز رمزنگاری شده که شامل صفحات ورود به سیستم، ثبت نام، بازنشانی، شماره OTP، کد OTP، درباره ما، حریم خصوصی، شرایط و ضوابط است. تمامی کدها به خوبی کامنت گذاری و مستندسازی ... ...

دریافت فایل : قالب Tradix، پوسته HTML ارز دیجیتال تریدیکس

قالب HTML فروشگاهی کافئین

اطلاعات محصول طراح: مهدی کاظمی (کاملا تهیه شده توسط طراح در ران وب و اورجینال است) توضیحات قالب کافئین، یک قالب HTML فروشگاهی حرفه‌ای و مدرن با 22 صفحه طراحی اختصاصی، است که یک انتخاب ایده‌آل برای ایجاد یک وبسایت فروشگاهی به خصوص فروشگاه چای و قهوه و کافی شاپ می‌باشد. ... ...

دریافت فایل : قالب HTML فروشگاهی کافئین

300- مقایسه نتایج فونداسیونهای تحلیل شده توسط نرم افزار SAFE با نرم افزار المان محدود شبیه سازی خاك PLAXIS

مشخصات نویسندگان مقاله مقایسه نتایج فونداسیونهای تحلیل شده توسط نرم افزار SAFE با نرم افزار المان محدود شبیه سازی خاک PLAXIS امین فلامکی - استادیار، دانشکده مهندسی، دانشگاه پیام نورمحمد زاهدی - دانشجوی کارشناسی ارشد مهندسی زلزله دانشگاه آزاد اسلامی واحد بوشهر چکیده ... ...

دریافت فایل : 300- مقایسه نتایج فونداسیونهای تحلیل شده توسط نرم افزار SAFE با نرم افزار المان محدود شبیه سازی خاك PLAXIS

دانلود احیای نوزاد (pdf)

دانلود احیای نوزاد عنوان فایل: دانلود احیای نوزاد نوع فایل : PDF حجم فایل : 2 MB تعداد صفحات یا اسلاید: 43 صفحات شرح مختصر: این فایل شامل اطلاعات جامع و کامل درباره احیای نوزادان است. موضوعات مطرح شده شامل فیزیولوژی تولد، مراقبت‌های فوری پس از تولد، ...

دریافت فایل : دانلود احیای نوزاد (pdf)

دانلود مراقبت‌های بعد از عمل جراحی قلب باز (pdf)

دانلود مراقبت‌های بعد از عمل جراحی قلب باز (pdf) عنوان فایل: دانلود مراقبت‌های بعد از عمل جراحی قلب باز نوع فایل: PDF حجم فایل: 2 MB تعداد صفحات: 11 صفحه شرح مختصر: این فایل شامل اطلاعات جامع و کامل درباره مراقبت‌های پس از عمل جراحی قلب باز است. ...

دریافت فایل : دانلود مراقبت‌های بعد از عمل جراحی قلب باز (pdf)

طرح جابر اعتیاد

طرح جابر اعتیاد طرح جابر اعتیاد مناسب برای پایه سوم دبستان به همراه دفتر کارنما با فرمت ورد و قابل ویرایش این فایل کامل و آماده است و جهت ارائه به همکاران فرهنگی می باشد. این نمونه طرح جابر که برای شما تهیه کرده ایم و با قیمت مناسب در دسترس شما قرار داده ایم طرح جابر کلاس ... ...

دریافت فایل : طرح جابر اعتیاد

تكنولوژی آبرسانی كویر قنات و آب انبار

سرفصل ارائه مقاله: آب و محیط زیست سال انتشار: ۱۳۸۲ نوع ارائه: شفاهی محل انتشار:دهمین کنفرانس دانشجویی مهندسی عمران کد COI مقاله: 308_9669653753 زبان مقاله: فارسی حجم فایل: ۱۹۳.۱۱ کلیوبایت (این مقاله دارای فول تکست است و می توانید فایل آن ... ...

دریافت فایل : تكنولوژی آبرسانی كویر قنات و آب انبار

پاورپوینت معماری سبز (پایدار)

پاورپوینت معماری سبز(پایدار) دارای 63 اسلاید بامباحثی ازجلمله: تعریف معماری سبز یا پایدار، دلایل شکل گیری آن، موضوعات مطرح در معماری سبز، کلیات و اهداف در معماری پایدار، دستورالعمل های اجرای معماری سبز،مصالح و اصول معماری سبز، اصول شهر پایدار، توسعه پایدار،شهرسازی پایدار، ... ...

دریافت فایل : پاورپوینت معماری سبز (پایدار)

پرفروش ترین ها