تالار گفتمان مانشت
تست-لامبدا در برنامه سازی - نسخه‌ی قابل چاپ

تست-لامبدا در برنامه سازی - vijay - 24 بهمن ۱۳۹۰ ۱۱:۳۳ ب.ظ

ماله کامپایلر باید باشه.ولی تو برنامه سازی سوال کامپایلر هم میدن.
لطفا جواب بدبد..

RE: تست-لامبدا در برنامه سازی - پشتکار - ۲۴ بهمن ۱۳۹۰ ۱۱:۴۳ ب.ظ

(۲۴ بهمن ۱۳۹۰ ۱۱:۳۳ ب.ظ)vijay نوشته شده توسط:  ماله کامپایلر باید باشه.ولی تو برنامه سازی سوال کامپایلر هم میدن.
لطفا جواب بدبد..

این سوال از فصل ۴ پراته
جوابم گزینه اوله
تو درس پایگاه و منطق ریاضی در مورد زیاد بحث شده
فرمول کلی اش بصورت [tex]\lambda x.M[/tex]
حالا اگه x در M باشه میشه مقید و هر متغیر دیگه ای آزاده

RE: تست-لامبدا در برنامه سازی - kashti - 30 آذر ۱۳۹۲ ۰۷:۰۷ ق.ظ

سلام .
قسمت
۲/۱ Variables, bound and free
این آدرس
مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمی‌باشید. جهت مشاهده پیوندها ثبت نام کنید.

در باره متغیر آزاد و مقید خوب توضیح داده.