עבודה מספר 3

מנהלים: ta_gilad, mari

שלח תגובה
Eg1986
הודעות: 12
הצטרף: 21:27 22/11/2009

עבודה מספר 3

שליחה על ידי Eg1986 » 21:43 22/11/2009

שאלה ראשונה
סעיף 1 וסעיף 2 מביאים איתם סתירה מסויימת.
מצד אחד על פי סעיף 2 אם כל המערך הדו מימדי ריק אז ISTRUE מתקיים (כלומר המערך מתיישב)
ואילו בסעיף 1 מספיק שיש שורה אחת=פסקה אחת ריקה אז ISFALSE מתקיים( כלומר אם לא כל הפסקאות ריקות אזי הCNF לא מתיישב בשל הופעת פסקה אחת או יותר ריקה).
כלומר האם יש להוסיף תנאי בסעיף 1 אם לא כל המערך הדו מימדי ריק אז חפש פסקה ריקה...ואם לא אז מהי מטרת הפונקציה?
שאלה שנייה
אם ISFALSE מתקיים בסעיף 4, זאת אומרת שיש לנו פסקה ריקה כזאת שמחזיקה לנו FALSE לכל הCNF, סימן שאנחנו צריכים להעתיק אותה.. כי לפי הבנתי אם היא מחזירה FALSE ובCNF שהוא המערך הראשי יש בעצם שורה של "וגמים" אז כל התנאי יחזיר FALSE ואז אין טעם להעתיק כלום.
שאלה שלישית
מהו ההגיון מאחורי הטענה
שאם פסקה תחזיר FALSE משום שהיא ריקה וכמותה כל המערך הראשי מכיל פסקאות ריקות איך בסופו של דבר אם בינהם שורה של "וגמים" נקבל אמת?

ta_gilad
הודעות: 34
הצטרף: 11:41 18/10/2009

Re: עבודה מספר 3

שליחה על ידי ta_gilad » 10:16 23/11/2009

Eg1986 כתב:סעיף 1 וסעיף 2 מביאים איתם סתירה מסויימת.
מצד אחד על פי סעיף 2 אם כל המערך הדו מימדי ריק אז ISTRUE מתקיים (כלומר המערך מתיישב)
ואילו בסעיף 1 מספיק שיש שורה אחת=פסקה אחת ריקה אז ISFALSE מתקיים( כלומר אם לא כל הפסקאות ריקות אזי הCNF לא מתיישב בשל הופעת פסקה אחת או יותר ריקה).
כלומר האם יש להוסיף תנאי בסעיף 1 אם לא כל המערך הדו מימדי ריק אז חפש פסקה ריקה...ואם לא אז מהי מטרת הפונקציה?
אין סתירה בשאלה. כפי שכתוב בעבודה: אם אין בכלל Clause ב-CNF הנתון, אזי הוא True. אם יש בו Clause ריק (כלומר, יש בו Clause) אזי הוא False.
Eg1986 כתב:אם ISFALSE מתקיים בסעיף 4, זאת אומרת שיש לנו פסקה ריקה כזאת שמחזיקה לנו FALSE לכל הCNF, סימן שאנחנו צריכים להעתיק אותה.. כי לפי הבנתי אם היא מחזירה FALSE ובCNF שהוא המערך הראשי יש בעצם שורה של "וגמים" אז כל התנאי יחזיר FALSE ואז אין טעם להעתיק כלום.
לא ברור לי מה אתה מנסה לשאול.
Eg1986 כתב:מהו ההגיון מאחורי הטענה
שאם פסקה תחזיר FALSE משום שהיא ריקה וכמותה כל המערך הראשי מכיל פסקאות ריקות איך בסופו של דבר אם בינהם שורה של "וגמים" נקבל אמת?
איפה בדיוק יש טענה שכזו?
צוות הקורס - מתרגל

שלח תגובה

חזור אל “- מבוא לתכנות למערכות מידע”