زمان کنونی: ۰۹ بهمن ۱۳۹۸, ۱۲:۱۶ ب.ظ مهمان گرامی به انجمن مانشت خوش آمدید. برای استفاده از تمامی امکانات انجمن می‌توانید عضو شوید.
گزینه‌های شما (ورودثبت نام)

یکسان سازی (تمربن۴ فصل ۹)

ارسال:
  

rad.bahar پرسیده:

یکسان سازی (تمربن۴ فصل ۹)

ایا این ۲ یکسان سازی ممکن است
Q(y,G(A,B و Q(G(x,y),y
knows(x,x و knows(father(y),y
مشاهده‌ی وب‌سایت کاربر
نقل قول این ارسال در یک پاسخ

۰
ارسال:
  

atharrashno پاسخ داده:

تمربن۴ فصل ۹

جمله اول واضح نیست
جمله دوم:
امکان پذیر نیست
چون تابع اف ایکس نمیتونه با ایکس یونیفای بشه
مشاهده‌ی وب‌سایت کاربر
نقل قول این ارسال در یک پاسخ

۰
ارسال:
  

fe_atash پاسخ داده:

تمربن۴ فصل ۹

تابع( f(x نداریم که...
نقل قول این ارسال در یک پاسخ

۰
ارسال:
  

rad.bahar پاسخ داده:

RE: تمربن۴ فصل ۹

من فکر می کتم که درسته که به جای x نمی توان father(x) را به کار برد ولی به حای father(x می توان x را به کار برد و بنابراین می توان از جایگزینی زیر استفاده کرد
به جای y متغیر x و به جای father(x متغیر x را استفاده کرد و نتیحه حاصل knows(x,x میشود
اگر اشتباه می کنم لطفا توضیح دهید
مشاهده‌ی وب‌سایت کاربر
نقل قول این ارسال در یک پاسخ

۰
ارسال:
  

atharrashno پاسخ داده:

تمربن۴ فصل ۹

دوست من بهار اشتباه میکنید
ایکس در هیچ صورتی نمیتونه با تابعی که بهش وابسته است جایگزین باشه حالا اگر بخوای جهت یکسان سازی را عوض کنی فرقی نداره
اتش جان شما هم اگر دقت کنی چون توی جمله دوم وای با ایکس یونی فای میشه (از طریق عنصر دوم تابع )در ادامش به اف ایکس میرسیم که همون چیزی که میگیم غیر قابل یونیفای شدنه
مشاهده‌ی وب‌سایت کاربر
نقل قول این ارسال در یک پاسخ

۰
ارسال:
  

fe_atash پاسخ داده:

تمربن۴ فصل ۹

فرشته هستم عزیزم....
الان x جایه y‌ها میشینه..بعد میشه فادر ِ ایکس ،میشناسه ایکس رو...یکسان شدند دیگه !!
knows (father (x ),x) l

بعد چرا میخواید x و (father(x رو یکسان کنید!؟
نقل قول این ارسال در یک پاسخ

۰
ارسال:
  

atharrashno پاسخ داده:

تمربن۴ فصل ۹

چون تابع دوم باید دو عنصرش با هم برابر باشه ایکس ایکس
خوب وقتی فادر ایکس عنر اول باشه باید با ایکس عنصر دوم برابر بشمه میشه ایکس برابر فادر ایکس باشه؟نمیشه
مشاهده‌ی وب‌سایت کاربر
نقل قول این ارسال در یک پاسخ

۰
ارسال:
  

fe_atash پاسخ داده:

تمربن۴ فصل ۹

knows(x,x و knows(father(y),y
____________________________________________________________


ای خدا....نمیدونم من دیگه خیلی درس خوندم دارم یک اشتباه واضح میکنم یا شما؟(احتمالا من Big Grin)

الان جمله اول میگه پدرِ Y میشناسه Y رو !!
بعد با جمله دوم یکسانش میکنیم میشه پدر ِ X میشناسه X رو !!

الان تمومه دیگه...چرا باید x با تابع پدر ِ X یکسان بشه!؟
نقل قول این ارسال در یک پاسخ

ارسال:
  

atharrashno پاسخ داده:

RE: تمربن۴ فصل ۹

ببین فرشته حق داری اخه تقسیر این یکسان سازیه خیلی سهل ممتنه است
ما میخوایم یکسان سازی کنیم خوب
از عنصر دوم هر دو تابع میفهمیم که
x=y
خوب به جا همه y‌ها بزا رx
خوب چه اتفاقی می افته

[tex]knows(x,x) knows(father(x),x)[/tex]
حالا باید عنصرر اول تابع اول با عنصر اول تابع دوم قابل یکسان سازی باشه
و عنصر دوم تابع اول با عنصر دوم تابع دوم قابل یکسان سازی باشه:
x=x

father(x)=x
یعنی یک شخص می تونه پدر خودش باشه
به نظرت یعنی میتونه؟Big Grin
مشاهده‌ی وب‌سایت کاربر یافتن تمامی ارسال‌های این کاربر
نقل قول این ارسال در یک پاسخ

۰
ارسال: #۱۰
  

fe_atash پاسخ داده:

تمربن۴ فصل ۹

نه درسته...این جوری دو تا جمله اصلا یکسان نیستند....
نقل قول این ارسال در یک پاسخ



موضوع‌های مرتبط با این موضوع...
موضوع: نویسنده پاسخ: بازدید: آخرین ارسال
  مهمترین فصل های ذخیره و بازیابی مقسمی enofcom ۱۰ ۵۰۲ ۲۵ آبان ۱۳۹۸ ۰۵:۲۳ ب.ظ
آخرین ارسال: alma1988
  سئو چیست؟ - سئو - بهینه سازی سایت msnmsn ۲ ۱۹ ۲۳ آبان ۱۳۹۸ ۰۱:۱۳ ب.ظ
آخرین ارسال: xiaomi
  ساختمان داده پوران، فصل اول، راهنمایی برای حل یک مثال ساده marvelous ۲ ۳۸۱ ۲۲ مرداد ۱۳۹۸ ۰۳:۳۰ ب.ظ
آخرین ارسال: marvelous
  مشکل در حل تست ۲۲ فصل اول کتاب گسسته یوسفی pure.yaser ۶ ۱,۶۸۷ ۲۴ اردیبهشت ۱۳۹۸ ۰۴:۲۷ ب.ظ
آخرین ارسال: achitsaz73
  مجموعه آموزش تصویری ابزار شبیه سازی و بررسی پروتکل امنیتی اسکایتر net work ۰ ۳۰۸ ۲۲ فروردین ۱۳۹۸ ۰۳:۲۵ ب.ظ
آخرین ارسال: net work
  برگ برگ سازی Sanazzz ۱ ۳۱۷ ۱۳ فروردین ۱۳۹۸ ۰۸:۱۸ ب.ظ
آخرین ارسال: Sanazzz
  فصل Np , Np hard nazanin2020 ۰ ۲۲۴ ۰۱ اسفند ۱۳۹۷ ۰۳:۲۱ ب.ظ
آخرین ارسال: nazanin2020
  راهنمایی برای انتخاب موضوع قابل پیاده سازی در زمینه بیگ دیتا برای پایان نامه one hacker alone ۱ ۱,۱۵۵ ۱۸ بهمن ۱۳۹۷ ۰۶:۳۶ ب.ظ
آخرین ارسال: Happiness.72
  ابزار شبیه سازی پروتکل های امنیت شبکه - ابزار اسکایتر mavin1200 ۰ ۴۶۵ ۰۱ آذر ۱۳۹۷ ۰۱:۵۰ ق.ظ
آخرین ارسال: mavin1200
  بهینه سازی چند هدفه فازی استوارژنتیک alighasemi ۰ ۳۶۱ ۲۴ آبان ۱۳۹۷ ۰۴:۵۵ ب.ظ
آخرین ارسال: alighasemi

پرش به انجمن:

Can I see some ID?

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

Feeling left out?


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

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

Feeling left out?


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