زمان کنونی: ۲۸ آذر ۱۴۰۳, ۰۹:۳۹ ب.ظ مهمان گرامی به انجمن مانشت خوش آمدید. برای استفاده از تمامی امکانات انجمن می‌توانید عضو شوید.
گزینه‌های شما (ورود — ثبت نام)
ارسال‌های امروز | سوالات بی‌پاسخ | پاسخ ناقص | پاسخ کامل

حساب لاندا ... کمک در اثبات..... کمک

۰
subtitle
ارسال: #۱
  

maryam.iii پرسیده:

حساب لاندا ... کمک در اثبات..... کمک

سلام. وقت تمام اساتید و مهندسین بخیر.....
کمکم کنید...
یه عکسی گذاشتم از کتاب طراحی و پیاده سازی زبان های برنامه سازی .....
من نمیدونم true و false را چطوری اثبات کرده ... لطفا توضیح بدین...
و همین طور تعریف هایی که برای not.... or ...... and اورده شده چطوری اثبات میشه؟؟؟؟؟؟
تو رو خدا کمک کنیددددددHeart

مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمی‌باشید. جهت مشاهده پیوندها ثبت نام کنید.
نقل قول این ارسال در یک پاسخ

۰
ارسال: #۲
  

maryam.iii پاسخ داده:

RE: حساب لاندا ... کمک در اثبات..... کمک

دوستان کمککککککک
خط اولی که برای t رو نوشته حداقل توضیح بدین
نقل قول این ارسال در یک پاسخ

۰
ارسال: #۳
  

maryam.iii پاسخ داده:

RE: حساب لاندا ... کمک در اثبات..... کمک

از پاسختون بی نهایت ممنونم....
فقط جایی که مشخص دارم:
F(x)=λy.x این تابع..... چرا شده لاندا y نقطه x ?????
چرا لاندا x را در نظر نگرفته؟؟؟؟
بازم ممنونم.....
یه زحمت هم دارم میشه and و or را هم توضیح بدین.......
نقل قول این ارسال در یک پاسخ

۰
ارسال: #۴
  

maryam.iii پاسخ داده:

RE: حساب لاندا ... کمک در اثبات..... کمک

میشه حداقل and یا or را بنویسید فردا امتحان دارممم هر کدوم راحته
به خدا دعاتون می کنم
نقل قول این ارسال در یک پاسخ

ارسال: #۵
  

saeid_masoumi_88 پاسخ داده:

RE: حساب لاندا ... کمک در اثبات..... کمک

λx. x F T
یعنی یک پارامتر از نوع bool میگیرد و اگر true بود عبارت false را بر می گرداند و اگر false بود عبارت true را برمیگرداند. این می شود تعریف not
and , or هم بدین شکل هستند ولی دو تا پارامتر می گیرند
یافتن تمامی ارسال‌های این کاربر
نقل قول این ارسال در یک پاسخ

ارسال: #۶
  

vahidsamimi پاسخ داده:

RE: حساب لاندا ... کمک در اثبات..... کمک

(۲۳ خرداد ۱۳۹۴ ۰۴:۰۳ ب.ظ)saeid_masoumi_88 نوشته شده توسط:  λx. x F T
یعنی یک پارامتر از نوع bool میگیرد و اگر true بود عبارت false را بر می گرداند و اگر false بود عبارت true را برمیگرداند. این می شود تعریف not
and , or هم بدین شکل هستند ولی دو تا پارامتر می گیرند
چطوری حساب کردین
یافتن تمامی ارسال‌های این کاربر
نقل قول این ارسال در یک پاسخ

    پاسخ جدید به سوال اصلی موضوع


موضوع‌های مرتبط با این موضوع...
موضوع: نویسنده پاسخ: بازدید: آخرین ارسال
  آموزش زبان انگلیسی:اصطلاح حساب حساب کاکا برادر! cyruskingsolomon ۰ ۲,۶۵۴ ۱۴ اردیبهشت ۱۴۰۰ ۱۲:۴۵ ق.ظ
آخرین ارسال: cyruskingsolomon
  اثبات به کمک استنتاج Xzrix ۲ ۳,۲۵۱ ۲۶ آبان ۱۳۹۹ ۱۱:۴۶ ب.ظ
آخرین ارسال: ghaderZ
  سن واقعی بدن خود را حساب کنید fahimehazimi ۷۱ ۴۰,۱۹۹ ۲۰ مرداد ۱۳۹۹ ۰۴:۱۰ ب.ظ
آخرین ارسال: gerdoo_456
  اثبات بومی بودن sirvan.t ۸ ۶,۱۴۰ ۱۰ اسفند ۱۳۹۸ ۰۹:۴۶ ب.ظ
آخرین ارسال: WILL
  نحوه محاسبه دفیق لگاریتم بدون ماشین حساب mcse2010 ۲ ۸۲,۹۱۷ ۲۸ مهر ۱۳۹۸ ۰۹:۳۸ ق.ظ
آخرین ارسال: chemical_darton29
Exclamation کمک کمک کمک در مورد ادامه تحصیل در مقطع دکتری !!! aminomidi ۳ ۴,۷۳۵ ۱۷ مهر ۱۳۹۷ ۰۵:۴۵ ب.ظ
آخرین ارسال: negarin_
  کمک کمک : دوستان به نظرتون این سوال ها رو از کدوم منبع آوردند؟؟؟؟؟ امیدوار ۰ ۱,۹۲۴ ۰۳ آبان ۱۳۹۶ ۰۹:۰۷ ب.ظ
آخرین ارسال: امیدوار
  این روش برای اثبات پایایی یک مقاله صحیحه؟ zohre321 ۴ ۴,۳۵۲ ۱۹ خرداد ۱۳۹۶ ۰۵:۰۶ ب.ظ
آخرین ارسال: lili36
  حساب رابطه ای Hopegod ۰ ۱,۹۳۸ ۰۹ بهمن ۱۳۹۵ ۱۲:۵۸ ب.ظ
آخرین ارسال: Hopegod
  اثبات np- complete بودن یک پازل؟ فوریییی baharkhanoom ۰ ۱,۷۶۹ ۲۹ آذر ۱۳۹۵ ۰۷:۲۵ ب.ظ
آخرین ارسال: baharkhanoom

پرش به انجمن:

Can I see some ID?

به خاطر سپاری رمز Cancel

Feeling left out?


نگران نباش، فقط روی این لینک برای ثبت نام کلیک کن. رمزت رو فراموش کردی؟ اینجا به یادت میاریم! close

رمزت رو فراموش کردی؟

Feeling left out?


نگران نباش، فقط روی این لینک برای ثبت نام کلیک کن. close