דף 1 מתוך 1

שאלה בנוגע לפונקציית satisfies2

נשלח: 11:53 20/11/2009
על ידי gilyos
לפי מיטב הבנתי אני אמור ליצור אותו פונקציה satisfies בשם satisfies2 אך בעזרת הפונקציות הקודמות שיצרתי.
השאלה היא האם בפונקציה שאני מכין satisfies2 המערך phi חייב להיות פסוק אמת כדי לקבל אותן תשובות כמו satisfies ?
כי רשום בעבודה בTask 4.5 בעמוד 7 "..after substituting all literals of mu in phi , phi is true..."

כי כאשר אני מכניס למשל :
phi שהוא {{2-},{1-},{2,1}}
ו mu שהוא {1-,2-,1}
אז בפונקציה שבנוייה כבר (satisfies) הוא מחזיר אמת
אך בפונקציה שלי (satisfies2) הוא מחזיר שקר

Re: שאלה בנוגע לפונקציית satisfies2

נשלח: 11:56 20/11/2009
על ידי talshum
שרפתי על זה שעתיים
הMU שהכנסת הוא לא תקין , יש בו מינוס 1 וגם 1...
לדעתי זו הבעיה

Re: שאלה בנוגע לפונקציית satisfies2

נשלח: 12:19 20/11/2009
על ידי gilyos
נכון ה mu שהכנסתי הכן לא תקין , אבל עוד פעם ב substitute שלהם אם אני מכניס מערך של mu לא תקין והתשובה יוצאת שונה
האם יש לי שגיאה ? או שזה בסדר , כי הם אמרו שהתשובות צריכות לצאת זהות בשתי הפונקציות

Re: שאלה בנוגע לפונקציית satisfies2

נשלח: 11:48 22/11/2009
על ידי TA_Isana
ניתן להניח כי הארגומנט mu מייצג השמה תקינה.
(אתה כמתכנת לא תהיי אחראי ולא צריך לבדוק התנהגות של הפונקציה עבור ארגומנט mu שאינו תקין).