מה ההבדל בין משימה 1 למשימה 2?

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

שלח תגובה
ortal_at
הודעות: 9
הצטרף: 23:50 28/10/2009

מה ההבדל בין משימה 1 למשימה 2?

שליחה על ידי ortal_at » 18:43 21/11/2009

היי,
אני לא בטוחה שהבנתי את ההבדל בין משימה 1, למשימה 2..
האם זה נכון שבמקרים הבאים:
1. {{}, {1,2}} - פו' 1 מחזירה true ופו' 2 מחזירה false?
2. { {} } - פו' 1 מחזירה true, ופו' 2 מחזירה true?
3. { {}, {} } - פו' 1 מחזירה true, ופו' 2 מחזירה true?

תודה רבה,
אורטל.

ronenhe
הודעות: 182
הצטרף: 10:27 28/10/2009

Re: מה ההבדל בין משימה 1 למשימה 2?

שליחה על ידי ronenhe » 19:03 21/11/2009

נסי להבין מה המשמעות של פתרון טריוואלי של מערכת...
לפי עמוד 4 למעלה
יש מקרה שבו לא משנה מה תציבי תקבלי אמת וכנל לגבי שקר...
משימה 1 בודקת את הפתרון הטריוואלי שבו הפסוק שקר
משימה 2 בודקת את הפתרון הטריוואלי שבו הפסוק אמת
בהצלחה!

rubichi
הודעות: 77
הצטרף: 18:50 22/10/2009

Re: מה ההבדל בין משימה 1 למשימה 2?

שליחה על ידי rubichi » 16:44 22/11/2009

לפי מיטב הבנתי, הפונקציה isTrue מחזירה ערך אמת אם ורק אם phi הוא {} (כלומר שאין לו פסוקיות כלל)
האם אני צודק?

borisyu
הודעות: 14
הצטרף: 21:48 29/10/2009

Re: מה ההבדל בין משימה 1 למשימה 2?

שליחה על ידי borisyu » 20:08 23/11/2009

מישהו יכול להסביר לי מה זה ריקה?
אם זה לא NULL ולא 0?
תודה.

moshes
הודעות: 60
הצטרף: 00:15 24/10/2009

Re: מה ההבדל בין משימה 1 למשימה 2?

שליחה על ידי moshes » 21:02 23/11/2009

ריקה זה אומר שהמערך בגודל 0 .
NULL זה אומר כאילו שלא קיים מערך בכלל. זה לא כזה מדוייק אבל לפשטות של העניין תנסי להבין את זה ככה.
כאשר את מגדירה מערך כNULL זה כאילו אמרת שהמערך בכלל לא קיים. ואילו מערך בגודל 0 זה מערך שפשוט אין לו איברים. כלומר שהגודל שלו 0.

TA_nimrod
הודעות: 196
הצטרף: 00:07 17/11/2008

Re: מה ההבדל בין משימה 1 למשימה 2?

שליחה על ידי TA_nimrod » 14:43 24/11/2009

הרעיון מאחורי המשימות הוא כך:
1. פסוק שמכיל אפס פסוקיות (פסוק בעל אורך אפס) הוא פסוק אמת, היות ואין עוד פסוקיות שיש לתת להן ערך אמת
2. פסוק אשר מכיל פסוקית כלשהי אשר אינה מכילה אף ליטרל הוא פסוק שקר מכיוון שאין אפשרות לתת לפסוקית הזאת ערך אמת

מקווה שעזרתי.
צוות הקורס (מתרגל)

שלח תגובה

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