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

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

ارسال:
  

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 پاسخ داده:

تمربن۴ فصل ۹

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



موضوع‌های مرتبط با این موضوع...
موضوع: نویسنده پاسخ: بازدید: آخرین ارسال
  شبیه سازی مقاله Q-Learning kadoos ۱۶ ۳,۴۶۰ ۲۵ آبان ۱۳۹۹ ۰۹:۱۹ ب.ظ
آخرین ارسال: nasim.nasim۱
  مشکل در حل تست ۲۲ فصل اول کتاب گسسته یوسفی pure.yaser ۷ ۲,۶۰۱ ۰۹ اردیبهشت ۱۳۹۹ ۰۶:۵۴ ب.ظ
آخرین ارسال: mohsentafresh
  کتاب شبیه سازی آمنت omnet++ berkeley ۱ ۱,۵۰۱ ۰۴ اردیبهشت ۱۳۹۹ ۱۲:۳۳ ق.ظ
آخرین ارسال: محمد رستمی
  فصل HEAP از کتاب ساختمان داده طورانی (پارسه) tourani ۳۷ ۱۸,۰۷۴ ۱۲ اسفند ۱۳۹۸ ۰۵:۱۹ ب.ظ
آخرین ارسال: hossein4070
  مهمترین فصل های ذخیره و بازیابی مقسمی enofcom ۱۰ ۱,۴۱۹ ۲۵ آبان ۱۳۹۸ ۰۵:۲۳ ب.ظ
آخرین ارسال: alma1988
  سئو چیست؟ - سئو - بهینه سازی سایت msnmsn ۲ ۲۰ ۲۳ آبان ۱۳۹۸ ۰۱:۱۳ ب.ظ
آخرین ارسال: xiaomi
  ساختمان داده پوران، فصل اول، راهنمایی برای حل یک مثال ساده marvelous ۲ ۹۱۴ ۲۲ مرداد ۱۳۹۸ ۰۳:۳۰ ب.ظ
آخرین ارسال: marvelous
  مجموعه آموزش تصویری ابزار شبیه سازی و بررسی پروتکل امنیتی اسکایتر net work ۰ ۶۸۹ ۲۲ فروردین ۱۳۹۸ ۰۳:۲۵ ب.ظ
آخرین ارسال: net work
  برگ برگ سازی Sanazzz ۱ ۶۶۲ ۱۳ فروردین ۱۳۹۸ ۰۸:۱۸ ب.ظ
آخرین ارسال: Sanazzz
  فصل Np , Np hard nazanin2020 ۰ ۴۳۲ ۰۱ اسفند ۱۳۹۷ ۰۳:۲۱ ب.ظ
آخرین ارسال: nazanin2020

پرش به انجمن:

Can I see some ID?

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

Feeling left out?


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

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

Feeling left out?


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