سلام دوستان وقتتون بخیر
کسی هست قسمت عملیات در حساب لامبدا و تعیین متغییرهای آزاد و مقید رو خوب درک کرده باشه بیاد اینجا توضیح بده یا یه منبع خوب برای این قسمت معرفی کنه
کسی هست آیا؟
مرسی
(۰۹ مهر ۱۳۹۲ ۱۲:۵۱ ق.ظ)baharan20 نوشته شده توسط: سلام دوستان وقتتون بخیر
کسی هست قسمت عملیات در حساب لامبدا و تعیین متغییرهای آزاد و مقید رو خوب درک کرده باشه بیاد اینجا توضیح بده یا یه منبع خوب برای این قسمت معرفی کنه
کسی هست آیا؟
مرسی
سلام . کلا آره این بخش یکم مبهمه ولی خب غیر از یک سال خاص دیگه ازش سوالی به اون صورت دیده نشده . حالا اگه خواستین که یکم بیشتر بفهمین کتاب پوران توضیح داده والبته کتاب سبستا ویرایش جدیدش هم اشاره ای داشته به این بحث . ولی بحث کلیش تو کتابای منطقه
موفق باشید
هرگاه داشته باشیم: [tex]\lambda x.M[/tex]
که x در عبارت m موجود باشد ،x مقید و بقیه متغیرها آزادند.