(۲۶ آذر ۱۳۹۳ ۰۱:۲۳ ب.ظ)mmamadi49 نوشته شده توسط:  دوستان عزیز سلام
اگه کسی الگوریتم کلی یکسان سازی رو بلده یه لطفی کنی توضیحش بده ، هر چه قدر میخونم باز تو بعضی سوالا قاطی می کنم، ممنونم

منم همینطور
ویس اقای رهنمون رو گوش کردم کتاب پوران و مقسمی رو خودندم تو هر سوالی هم هر کدومشون یه تحلیلی میارن !!!!!!!!!!!!
دیگه قاطی کردم
یکی از دوستان لطف میکنه یه جمع بندی از قوانین و قواعدش رو بگه

(۲۶ آذر ۱۳۹۳ ۰۴:۰۳ ب.ظ)shayesteNEY نوشته شده توسط:  

(26 آذر ۱۳۹۳ ۰۱:۲۳ ب.ظ)mmamadi49 نوشته شده توسط:  دوستان عزیز سلام
اگه کسی الگوریتم کلی یکسان سازی رو بلده یه لطفی کنی توضیحش بده ، هر چه قدر میخونم باز تو بعضی سوالا قاطی می کنم، ممنونم

منم همینطور
ویس اقای رهنمون رو گوش کردم کتاب پوران و مقسمی رو خودندم تو هر سوالی هم هر کدومشون یه تحلیلی میارن !!!!!!!!!!!!
دیگه قاطی کردم
یکی از دوستان لطف میکنه یه جمع بندی از قوانین و قواعدش رو بگه

سلام

مثال بذارید رو اون توضیح میدم. اسونه راحت یاد میگیرید.

(۳۰ آذر ۱۳۹۳ ۰۱:۲۰ ب.ظ)Imankhani نوشته شده توسط:  

(26 آذر ۱۳۹۳ ۰۴:۰۳ ب.ظ)shayesteNEY نوشته شده توسط:  

(26 آذر ۱۳۹۳ ۰۱:۲۳ ب.ظ)mmamadi49 نوشته شده توسط:  دوستان عزیز سلام
اگه کسی الگوریتم کلی یکسان سازی رو بلده یه لطفی کنی توضیحش بده ، هر چه قدر میخونم باز تو بعضی سوالا قاطی می کنم، ممنونم

منم همینطور
ویس اقای رهنمون رو گوش کردم کتاب پوران و مقسمی رو خودندم تو هر سوالی هم هر کدومشون یه تحلیلی میارن !!!!!!!!!!!!
دیگه قاطی کردم
یکی از دوستان لطف میکنه یه جمع بندی از قوانین و قواعدش رو بگه

سلام

مثال بذارید رو اون توضیح میدم. اسونه راحت یاد میگیرید.

---

ممنون میشم روی این دو مثال توضیح بدین، خدا خیرت بده

(۰۲ دى ۱۳۹۳ ۱۱:۵۰ ب.ظ)mmamadi49 نوشته شده توسط:  

(30 آذر ۱۳۹۳ ۰۱:۲۰ ب.ظ)Imankhani نوشته شده توسط:  

(26 آذر ۱۳۹۳ ۰۴:۰۳ ب.ظ)shayesteNEY نوشته شده توسط:  

(26 آذر ۱۳۹۳ ۰۱:۲۳ ب.ظ)mmamadi49 نوشته شده توسط:  دوستان عزیز سلام
اگه کسی الگوریتم کلی یکسان سازی رو بلده یه لطفی کنی توضیحش بده ، هر چه قدر میخونم باز تو بعضی سوالا قاطی می کنم، ممنونم

منم همینطور
ویس اقای رهنمون رو گوش کردم کتاب پوران و مقسمی رو خودندم تو هر سوالی هم هر کدومشون یه تحلیلی میارن !!!!!!!!!!!!
دیگه قاطی کردم
یکی از دوستان لطف میکنه یه جمع بندی از قوانین و قواعدش رو بگه

سلام

مثال بذارید رو اون توضیح میدم. اسونه راحت یاد میگیرید.

---

ممنون میشم روی این دو مثال توضیح بدین، خدا خیرت بده

دوستانی که پرولوگ کار کردند که مشکلی ندارن ولی فقط یه چیز مهم و و اضح هست اونم اینه که سمت چپ همیشه باید متغیر باشه و یه متغیرم خیلی واضحه که همزمان دو مقدار نمیتونه بگیره. اما مثالا:
مثال اولیه:
از مولفه اولیه شروع میکنیم پس $x\slash F(y)$
میریم بعدی $y\slash F(A)$
حالا اخریه $x\slash F(z)$
گفتم که یه متغیر دو مقدار نمیگیره پس باید $F(y)\: =\: F(z)$ که اینم نتیجه میده $y\: =\: z$
بعد بنابر دومی $y$ مقدار $F(A)$ رو میگیره پس اون جانشین نهایی میشه:
$x\slash F(F(A))\: ,\: y\: \slash\: F(A)\: ,\: z\slash F(A)$

اما دومین مثال :
$x$ باید مقدار $A$ رو بگیره . ولی اگه همین روندو ادامه بدیم x دو مقدار میگیره ولی اینو میشه استاندارسازی کرد یعنی $P\: A,x,x$ رو به $P\: A,y,y$ تبدیل میکنیم.
که این طوری اگه روند مثال قبل رو پی بگیرید به جانشان زیر میرسید:
$x\slash A,\: y\slash F(A)$

بچه ها اگه جاییش غیر قابل فهمه بپرسید تا کامل روشن شه

(۰۳ دى ۱۳۹۳ ۱۲:۲۶ ب.ظ)Imankhani نوشته شده توسط:  

(02 دى ۱۳۹۳ ۱۱:۵۰ ب.ظ)mmamadi49 نوشته شده توسط:  

(30 آذر ۱۳۹۳ ۰۱:۲۰ ب.ظ)Imankhani نوشته شده توسط:  

(26 آذر ۱۳۹۳ ۰۴:۰۳ ب.ظ)shayesteNEY نوشته شده توسط:  

(26 آذر ۱۳۹۳ ۰۱:۲۳ ب.ظ)mmamadi49 نوشته شده توسط:  دوستان عزیز سلام
اگه کسی الگوریتم کلی یکسان سازی رو بلده یه لطفی کنی توضیحش بده ، هر چه قدر میخونم باز تو بعضی سوالا قاطی می کنم، ممنونم

منم همینطور
ویس اقای رهنمون رو گوش کردم کتاب پوران و مقسمی رو خودندم تو هر سوالی هم هر کدومشون یه تحلیلی میارن !!!!!!!!!!!!
دیگه قاطی کردم
یکی از دوستان لطف میکنه یه جمع بندی از قوانین و قواعدش رو بگه

سلام

مثال بذارید رو اون توضیح میدم. اسونه راحت یاد میگیرید.

---

ممنون میشم روی این دو مثال توضیح بدین، خدا خیرت بده

دوستانی که پرولوگ کار کردند که مشکلی ندارن ولی فقط یه چیز مهم و و اضح هست اونم اینه که سمت چپ همیشه باید متغیر باشه و یه متغیرم خیلی واضحه که همزمان دو مقدار نمیتونه بگیره. اما مثالا:
مثال اولیه:
از مولفه اولیه شروع میکنیم پس $x\slash F(y)$
میریم بعدی $y\slash F(A)$
حالا اخریه $x\slash F(z)$
گفتم که یه متغیر دو مقدار نمیگیره پس باید $F(y)\: =\: F(z)$ که اینم نتیجه میده $y\: =\: z$
بعد بنابر دومی $y$ مقدار $F(A)$ رو میگیره پس اون جانشین نهایی میشه:
$x\slash F(F(A))\: ,\: y\: \slash\: F(A)\: ,\: z\slash F(A)$

اما دومین مثال :
$x$ باید مقدار $A$ رو بگیره . ولی اگه همین روندو ادامه بدیم x دو مقدار میگیره ولی اینو میشه استاندارسازی کرد یعنی $P\: A,x,x$ رو به $P\: A,y,y$ تبدیل میکنیم.
که این طوری اگه روند مثال قبل رو پی بگیرید به جانشان زیر میرسید:
$x\slash A,\: y\slash F(A)$

بچه ها اگه جاییش غیر قابل فهمه بپرسید تا کامل روشن شه

ممنونم دوست عزیز ، باید بیشتر تمرین حل کنم .

(۳۰ آذر ۱۳۹۳ ۰۱:۲۰ ب.ظ)Imankhani نوشته شده توسط:  

(26 آذر ۱۳۹۳ ۰۴:۰۳ ب.ظ)shayesteNEY نوشته شده توسط:  

(26 آذر ۱۳۹۳ ۰۱:۲۳ ب.ظ)mmamadi49 نوشته شده توسط:  دوستان عزیز سلام
اگه کسی الگوریتم کلی یکسان سازی رو بلده یه لطفی کنی توضیحش بده ، هر چه قدر میخونم باز تو بعضی سوالا قاطی می کنم، ممنونم

منم همینطور
ویس اقای رهنمون رو گوش کردم کتاب پوران و مقسمی رو خودندم تو هر سوالی هم هر کدومشون یه تحلیلی میارن !!!!!!!!!!!!
دیگه قاطی کردم
یکی از دوستان لطف میکنه یه جمع بندی از قوانین و قواعدش رو بگه

سلام

مثال بذارید رو اون توضیح میدم. اسونه راحت یاد میگیرید.

سلام

۱) این عبارت یکسان سازی میشه؟

( p(f(x), x و ( p (y,f(y
۲)توسوال علوم کامپیوتر گزینه ج ود چرا قابل یکسان سازی نیستن؟

۳)و یه سوال دیگه سمت چپ حتما باید متغیر باشه تو یکی ازعکس ها جواب یه سواله که گفته (alic/mother(ali یکسان سازی نمیشن ولی باجوابای سنجش مغایرت داره که میگه یکسان سازی میشن.
ممنون میشم جواب سوالها یی روکه فرستادم رو بدید. باتشکر

(۰۴ دى ۱۳۹۳ ۰۸:۴۳ ب.ظ)mariy نوشته شده توسط:  

(30 آذر ۱۳۹۳ ۰۱:۲۰ ب.ظ)Imankhani نوشته شده توسط:  [quote='shayesteNEY' pid='322206' dateline='1418816009']
[quote='mmamadi49' pid='322182' dateline='1418806426']

سلام
ببخشید این عبارت یکسان سازی میشه؟

( p(f(x), x و ( p (y,f(y
توسوال علوم کامپیوترگزینه ج ود چرا قابل یکسان سازی نیستن؟
اگه میشه گزینه ها روتوضیح بدید که چرا غلط میشن.
ممنون میشم جواب سوالها یی روکه فرستادم رو بدید. باتشکر

سلام
درمورد سوال اولتون کافیه به جای y بذارید f(X
و به جای x بذارید fy

درمورد سوال بعدیتون اگه به جای X بذارید reza برای y باید بذارید fy که اینطور نیس چون که همین طور که معلومه تو لوپ میوفته یعنی بعد جایگذاری fy به جای y حالا باید y مقدار ffy رو بگیره و همین طور الا اخر پس برای y نتونستیم جانشین پیدا کنیم پس قابل یکسان سازی نیس. اون یکی سوالم شبیهشو بالا حل کردم .

(۰۴ دى ۱۳۹۳ ۰۹:۲۱ ب.ظ)Imankhani نوشته شده توسط:  

(04 دى ۱۳۹۳ ۰۸:۴۳ ب.ظ)mariy نوشته شده توسط:  

(30 آذر ۱۳۹۳ ۰۱:۲۰ ب.ظ)Imankhani نوشته شده توسط:  [quote='shayesteNEY' pid='322206' dateline='1418816009']
[quote='mmamadi49' pid='322182' dateline='1418806426']

سلام
ببخشید این عبارت یکسان سازی میشه؟

( p(f(x), x و ( p (y,f(y
توسوال علوم کامپیوترگزینه ج ود چرا قابل یکسان سازی نیستن؟
اگه میشه گزینه ها روتوضیح بدید که چرا غلط میشن.
ممنون میشم جواب سوالها یی روکه فرستادم رو بدید. باتشکر

سلام
درمورد سوال اولتون کافیه به جای y بذارید f(X
و به جای x بذارید fy

درمورد سوال بعدیتون اگه به جای X بذارید reza برای y باید بذارید fy که اینطور نیس چون که همین طور که معلومه تو لوپ میوفته یعنی بعد جایگذاری fy به جای y حالا باید y مقدار ffy رو بگیره و همین طور الا اخر پس برای y نتونستیم جانشین پیدا کنیم پس قابل یکسان سازی نیس. اون یکی سوالم شبیهشو بالا حل کردم .

مرسی ازجوابتون ولی سوال اول که گفتید بجای y ,fxبزارم و...تو لوپ نمیافته(( y/f(f(y نمیشه؟ .اخه این سوال کامپیوتر۸۱ بود وجز گزینه های غلط بود.
ونگفتید (Alice /mother(ali میشه این ۲تا روباهم یکسان سازی کرد؟

(۰۵ دى ۱۳۹۳ ۰۷:۱۶ ب.ظ)mariy نوشته شده توسط:  

(04 دى ۱۳۹۳ ۰۹:۲۱ ب.ظ)Imankhani نوشته شده توسط:  

(04 دى ۱۳۹۳ ۰۸:۴۳ ب.ظ)mariy نوشته شده توسط:  

(30 آذر ۱۳۹۳ ۰۱:۲۰ ب.ظ)Imankhani نوشته شده توسط:  [quote='shayesteNEY' pid='322206' dateline='1418816009']
[quote='mmamadi49' pid='322182' dateline='1418806426']

سلام
ببخشید این عبارت یکسان سازی میشه؟

( p(f(x), x و ( p (y,f(y
توسوال علوم کامپیوترگزینه ج ود چرا قابل یکسان سازی نیستن؟
اگه میشه گزینه ها روتوضیح بدید که چرا غلط میشن.
ممنون میشم جواب سوالها یی روکه فرستادم رو بدید. باتشکر

سلام
درمورد سوال اولتون کافیه به جای y بذارید f(X
و به جای x بذارید fy

درمورد سوال بعدیتون اگه به جای X بذارید reza برای y باید بذارید fy که اینطور نیس چون که همین طور که معلومه تو لوپ میوفته یعنی بعد جایگذاری fy به جای y حالا باید y مقدار ffy رو بگیره و همین طور الا اخر پس برای y نتونستیم جانشین پیدا کنیم پس قابل یکسان سازی نیس. اون یکی سوالم شبیهشو بالا حل کردم .

مرسی ازجوابتون ولی سوال اول که گفتید بجای y ,fxبزارم و...تو لوپ نمیافته(( y/f(f(y نمیشه؟ .اخه این سوال کامپیوتر۸۱ بود وجز گزینه های غلط بود.
ونگفتید (Alice /mother(ali میشه این ۲تا روباهم یکسان سازی کرد؟

سمت راست دوباره به y بستگی داره مثلا y بجاش دوباره میذاریم f...ffy که تو ان جور مواقع یکسان سازی امکان نداره.
درمورد یکسان سازی بعدی یه ثابت نمیتونه سمت چپ قرار بگیره.

اگه دوستان کسی باشه توضیح بده عالی میشهمنم مشکل دارم