تالار گفتمان مانشت

نسخه‌ی کامل: تست-لامبدا در برنامه سازی
شما در حال مشاهده‌ی نسخه‌ی متنی این صفحه می‌باشید. مشاهده‌ی نسخه‌ی کامل با قالب بندی مناسب.
ماله کامپایلر باید باشه.ولی تو برنامه سازی سوال کامپایلر هم میدن.
لطفا جواب بدبد..
(24 بهمن 1390 11:33 ب.ظ)vijay نوشته شده توسط: [ -> ]ماله کامپایلر باید باشه.ولی تو برنامه سازی سوال کامپایلر هم میدن.
لطفا جواب بدبد..

این سوال از فصل 4 پراته
جوابم گزینه اوله
تو درس پایگاه و منطق ریاضی در مورد زیاد بحث شده
فرمول کلی اش بصورت [tex]\lambda x.M[/tex]
حالا اگه x در M باشه میشه مقید و هر متغیر دیگه ای آزاده
سلام .
قسمت
۲/۱ Variables, bound and free
این آدرس
مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمی‌باشید. جهت مشاهده پیوندها ثبت نام کنید.

در باره متغیر آزاد و مقید خوب توضیح داده.
لینک مرجع