تالار گفتمان مانشت

عبارت منطقی [tex]f(X,g(X,g(m(Z),n)))[/tex]
با کدامیک از عبارات زیر قابل یکسان سازی است ؟
[tex]f(g(Z),W)[/tex]
[tex]f(g(Y),Y)[/tex]
[tex]f(X,g(n,g(n,Y)))[/tex]
[tex]f(Y,g(Y),g(m(X),n))[/tex]

مورد آخر به دلیل اینکه سه آرگومان داره رد میشه. مورد دوم هم X دو مقدار گرفته یه بار با خودش و یه بار هم با n‌، مورد دوم هم وقتی( g(Y رو میریزیم توی X اونوقت آرگومان دوم عبارت اصلی(صورت سوال) شامل Y خواهد بود خوب دیگه دچار حلقه میشیم اگه به آرگومان دوم مورد دوم نگاه کنی میبینی که Y است پس مورد اول درسته.

(29 دى 1389 02:59 ب.ظ)امیدوار نوشته شده توسط: [ -> ]مورد آخر به دلیل اینکه سه آرگومان داره رد میشه. مورد دوم هم X دو مقدار گرفته یه بار با خودش و یه بار هم با n‌، مورد دوم هم وقتی( g(Y رو میریزیم توی X اونوقت آرگومان دوم عبارت اصلی(صورت سوال) شامل Y خواهد بود خوب دیگه دچار حلقه میشیم اگه به آرگومان دوم مورد دوم نگاه کنی میبینی که Y پس مورد اول درسته.

مورد سوم درسته x دو مقدار میگیره.ولی یکیش متغیره و یکیش ثابته.خوب متغیر که باهرچندمتغیر دیگه میتونه برابر باشه.فقط نباید با چند ثابت برابر بشه.ک خوب اینجاهم فقط یه ثابته دیگه.مشکلی .یش نمیاد که.میاد؟

در یکسان سازی نباید به یه متغییر همزمان دو مقدار بگیره اینجوری تکلیف الگوریتم یکسان ساز ما معلوم نیست که X رو خودش درنظر بگیره یا به جاش مقدار ثابت n رو بریزه.

(29 دى 1389 02:59 ب.ظ)امیدوار نوشته شده توسط: [ -> ]مورد آخر به دلیل اینکه سه آرگومان داره رد میشه. مورد دوم هم X دو مقدار گرفته یه بار با خودش و یه بار هم با n‌، مورد دوم هم وقتی( g(Y رو میریزیم توی X اونوقت آرگومان دوم عبارت اصلی(صورت سوال) شامل Y خواهد بود خوب دیگه دچار حلقه میشیم اگه به آرگومان دوم مورد دوم نگاه کنی میبینی که Y پس مورد اول درسته.

اینطوری که شما گفتین نیست. توجیه تون برای رد کردن گزینه 3 اشتباهه.
اساسا در یکسان سازی هیچ اهمیتی نداره که نام متغیر چی باشه. مثال زیر رو در نظر بگیرید
:
شخص X شخص X رو دوست داره (خودش رو دوس داره و خود شیفته است )
[tex]Loves(X,X)[/tex]

شخص X شخص n رو دوست داره (مثلا همه n رو دوست دارن)
[tex]Loves(X,n)[/tex]

طبق نتیجه گیری شما نباید بشه این دو عبارت یکسان سازی بشن در حالی که با [tex](X/n)[/tex] قابل یکسان سازی هستند.

پاسخ صحیح این سوال همون گزینه 3 هست و توجیه آقای رهنمون (هم در کتاب شون و هم در جزوه پارسه) که گزینه 1 رو پذیرفتن اشتباهه.

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

چون در یکسان سازی شما باید:

اولا برای هر متغیر یک جایگزین انتخاب کنید
ثانیا قوانین جیگزینی رو رعایت کنید
اولین قانون جایگزینی اینه که جایگزینی باید همزمان روی همه متغیرها اعمال بشه و نه یکی یکی
شما در جایگزینی (مورد گزینه یک) به جای X گزاشتید g(Z خوب تا اینجاش قبول
بعدش چی؟ به جای هر متغیر چی گذاشتید که حاصل کل اش شد W ؟؟ جوابی وجود نداره
در جایگزینی باید همیشه حواس تون باشه که یک متغیر باید معلوم باشه که چه مقداری گرفته

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

ممکنه یکی کامل‌تر توضیح بده یکسان سازی رو. این سوال پیچیده ترین سوال یکسان سازی بوده.

(06 بهمن 1389 01:38 ق.ظ)mahdieh67 نوشته شده توسط: [ -> ]ممکنه یکی کامل‌تر توضیح بده یکسان سازی رو. این سوال پیچیده ترین سوال یکسان سازی بوده.

آره لطفا کسی که بلده کامل توضیح بده این یکسان سازی خیلی عجیبه هیچ قاعده مشخصی نداره

قوانین یکسان سازی:

- متغیر‌ها باید یکسان سازی بشن و نه ثوابت
- توابع نمی تونن یکسان سازی بشن
- جانشینی در یکسان سازی باید همزمان انجام بشه، نه اینکه یه متغیر رو کامل جانشین کنی و بعدش بری سراغ متغیر بعدی
- متغیر های آزاد اجازه جانشینی ندارن (اگر طراح خیلی نامرد باشه: دی ممکنه یکسان سازی رو در شکل پرینکس بده) در این حالت باید حواسمون باشه که جانشینی رو برای متغیر های آزاد انجام ندیم
متغیر آزاد متغیری است که در حوزه هیچ سوری ظاهر نشده باشه
- یک متغییر نمی تونه دو مقدار ثابت بگیره، اما می تونه با دومتغیر یکسان سازی بشه
- در یکسان سازی، متغیر‌ها اهمیتی ندارن و می تونن عوض بشن. به عبارت ساده‌تر تغییر متغیر مجازه

مرسیخانم از توضیحاتتون.. ولی اینایی که گفتین می دونم. نمی تونم عملی کنم. روی مثالی ساده و روی یه مثال مشکل‌تر ممکنه حل کنین. کامل. ممنون.