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

מנהלים: TA_nimrod, TA_Igor, TA_Adi

שלח תגובה
gilyos
הודעות: 5
הצטרף: 11:41 20/11/2009

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

שליחה על ידי gilyos » 11:53 20/11/2009

לפי מיטב הבנתי אני אמור ליצור אותו פונקציה 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) הוא מחזיר שקר

talshum
הודעות: 25
הצטרף: 20:54 28/10/2009

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

שליחה על ידי talshum » 11:56 20/11/2009

שרפתי על זה שעתיים
הMU שהכנסת הוא לא תקין , יש בו מינוס 1 וגם 1...
לדעתי זו הבעיה

gilyos
הודעות: 5
הצטרף: 11:41 20/11/2009

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

שליחה על ידי gilyos » 12:19 20/11/2009

נכון ה mu שהכנסתי הכן לא תקין , אבל עוד פעם ב substitute שלהם אם אני מכניס מערך של mu לא תקין והתשובה יוצאת שונה
האם יש לי שגיאה ? או שזה בסדר , כי הם אמרו שהתשובות צריכות לצאת זהות בשתי הפונקציות

TA_Isana
הודעות: 110
הצטרף: 15:19 19/04/2009

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

שליחה על ידי TA_Isana » 11:48 22/11/2009

ניתן להניח כי הארגומנט mu מייצג השמה תקינה.
(אתה כמתכנת לא תהיי אחראי ולא צריך לבדוק התנהגות של הפונקציה עבור ארגומנט mu שאינו תקין).
Course TA: Tamar Pinhas

שלח תגובה

חזור אל “- מבוא למדעי המחשב 2010”