۱
subtitle
ارسال: #۱
حساب لامبدا
سلام دوستان وقتتون بخیر
کسی هست قسمت عملیات در حساب لامبدا و تعیین متغییرهای آزاد و مقید رو خوب درک کرده باشه بیاد اینجا توضیح بده یا یه منبع خوب برای این قسمت معرفی کنه
کسی هست آیا؟
مرسی
کسی هست قسمت عملیات در حساب لامبدا و تعیین متغییرهای آزاد و مقید رو خوب درک کرده باشه بیاد اینجا توضیح بده یا یه منبع خوب برای این قسمت معرفی کنه
کسی هست آیا؟
مرسی
۰
ارسال: #۲
RE: حساب لامبدا
(۰۹ مهر ۱۳۹۲ ۱۲:۵۱ ق.ظ)baharan20 نوشته شده توسط: سلام دوستان وقتتون بخیر
کسی هست قسمت عملیات در حساب لامبدا و تعیین متغییرهای آزاد و مقید رو خوب درک کرده باشه بیاد اینجا توضیح بده یا یه منبع خوب برای این قسمت معرفی کنه
کسی هست آیا؟
مرسی
سلام . کلا آره این بخش یکم مبهمه ولی خب غیر از یک سال خاص دیگه ازش سوالی به اون صورت دیده نشده . حالا اگه خواستین که یکم بیشتر بفهمین کتاب پوران توضیح داده والبته کتاب سبستا ویرایش جدیدش هم اشاره ای داشته به این بحث . ولی بحث کلیش تو کتابای منطقه
موفق باشید
۰
ارسال: #۳
RE: حساب لامبدا
هرگاه داشته باشیم: [tex]\lambda x.M[/tex]
که x در عبارت m موجود باشد ،x مقید و بقیه متغیرها آزادند.
که x در عبارت m موجود باشد ،x مقید و بقیه متغیرها آزادند.
Can I see some ID?
Feeling left out?
نگران نباش، فقط روی این لینک برای ثبت نام کلیک کن. رمزت رو فراموش کردی؟ اینجا به یادت میاریم! close