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

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

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

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