החיפוש הניב 110 תוצאות

על ידי TA_Isana
12:33 24/11/2009
פורום: - מבוא למדעי המחשב 2010
נושא: משימה 4.5
תגובות: 3
צפיות: 346

Re: משימה 4.5

לא ברורה לי כל כך השאלה. (בבקשה תנסח שוב או תגיע לש. קבלה)
על ידי TA_Isana
12:31 24/11/2009
פורום: - מבוא למדעי המחשב 2010
נושא: שאלה בנוגע לשאלה 4 בעבודה
תגובות: 1
צפיות: 341

Re: שאלה בנוגע לשאלה 4 בעבודה

לא. אין הנחה כזו.
(עקרונית, אם לא כתוב אז לא ניתן להניח דברים נוספים)
על ידי TA_Isana
12:30 24/11/2009
פורום: - מבוא למדעי המחשב 2010
נושא: שאלה בקשר לפרוייקט
תגובות: 3
צפיות: 455

Re: שאלה בקשר לפרוייקט

לא. אל תשנה טיפוס ערך החזרה של פונקציות (return type).
הפונקציות בעבודה נבדקות לפי מה שהן מחזירות.
על ידי TA_Isana
12:58 23/11/2009
פורום: - מבוא למדעי המחשב 2010
נושא: שאלה טכנית למתרגל האחראי בנוגע לעבודה 3 משימה 11
תגובות: 1
צפיות: 300

Re: שאלה טכנית למתרגל האחראי בנוגע לעבודה 3 משימה 11

אם האסטרטגיה לשיפור שלך מציעה ביטול של הרקורסיה, אציע את האפשרויות הבאות. 1. ליצור עותק של הקובץ SatSolver.java שלך לאחר שסיימת עם חלק א' ולשמור אותו בצד. לבצע את השינויים של האופטימיזציות על עותק נוסף (למשל SatSolverOpt.java) ולהפעיל אותו בבדיקות. (יש לשנות את שם המחלקה בכל מקום ). תוכל להגיש את Sa...
על ידי TA_Isana
00:49 23/11/2009
פורום: - מבוא למדעי המחשב 2010
נושא: TASK 4
תגובות: 4
צפיות: 480

Re: TASK 4

לא מצוין, אז זה נתון לשיקולך.
על ידי TA_Isana
00:47 23/11/2009
פורום: - מבוא למדעי המחשב 2010
נושא: שאלה בנוגע לבדיקה של task 6
תגובות: 12
צפיות: 942

Re: שאלה בנוגע לבדיקה של task 6

בדקתי שוב את הנוסחה המדוברת. היא אכן מסתפקת. הנה השמה אפשרית (לא בהכרח יחידה) שתספק את phi7. 98 10 22 114 115 96 9 76 75 70 69 118 62 48 61 46 63 59 43 83 60 47 42 117 55 37 122 113 112 73 71 111 65 97 26 53 33 105 119 57 1 14 31 110 67 108 106 107 109 41 44 104 54 38 30 103 39 28 -82 -52 -34 -58 -5...
על ידי TA_Isana
20:27 22/11/2009
פורום: - מבוא למדעי המחשב 2010
נושא: משימה 8... מה הכוונה?
תגובות: 7
צפיות: 608

Re: משימה 8... מה הכוונה?

תרגום חופשי קצת פחות: הפונקציה מחזירה נוסחת CNF שהוא נכון אם ורק אם בדיוק משתנה אחד ממערך המשתנים (שהפונקציה מקבלת) הוא true. הסבר: ההשמה היחידה שתספק את הנוסחה המוחזרת היא כזו שתיתן ערך true לבדיוק משתנה יחיד מהמערך הנתון. ניתן להניח כי המערך אינו null ושכל ערך במערך הוא מספר חיובי. הסבר: כל ערך מס...
על ידי TA_Isana
17:07 22/11/2009
פורום: - מבוא למדעי המחשב 2010
נושא: הגדרת ההגדרות - החשובה לתרגיל.
תגובות: 4
צפיות: 516

Re: הגדרת ההגדרות - החשובה לתרגיל.

בכל מקום בתרגיל שכתוב כי הארגומנט הינו formula מצורת CNF אז קיבלת מערך דו מימדי. (שמו של הארגומנט phi וזה מופיע בחתימה של הפונקציה שקובעת את הטיפוס).
בכל זאת, ישנן משימות שבהן ישנם ארגומנטים אחרים שהם מערך חד מימדי. למשל, במשימה 4.5 שבה יש ארגומנט mu. צריך לשים לב מהם טיפוסי הארגומנטים.
על ידי TA_Isana
14:05 22/11/2009
פורום: - מבוא למדעי המחשב 2010
נושא: TASK 4
תגובות: 4
צפיות: 480

Re: TASK 4

בלעדיהם.
על ידי TA_Isana
14:03 22/11/2009
פורום: - מבוא למדעי המחשב 2010
נושא: משימה 4.5
תגובות: 3
צפיות: 443

Re: משימה 4.5

במקרה של נוסחה {{1-},{1-},{1-}} והשמה 1 התשובה תהייה אכן false. אותה תשובה כמו של substitute.
על ידי TA_Isana
13:59 22/11/2009
פורום: - מבוא למדעי המחשב 2010
נושא: משימה 6
תגובות: 1
צפיות: 386

Re: משימה 6

ההשמה שהיא התשובה צריכה להיכנס (ע"י פעולת השמה) למשתנה ans ואז תשובה זו מוחזרת.
הפונקציה רקורסיבית. מומלץ לקרוא טוב את ה coaching של המשימה.
על ידי TA_Isana
13:50 22/11/2009
פורום: - מבוא למדעי המחשב 2010
נושא: הגדרת ההגדרות - החשובה לתרגיל.
תגובות: 4
צפיות: 516

Re: הגדרת ההגדרות - החשובה לתרגיל.

בתרגיל זה תמיד הנוסחה תהיה מיוצגת ע"י מערך דו-מימדי
על ידי TA_Isana
13:48 22/11/2009
פורום: - מבוא למדעי המחשב 2010
נושא: תרגיל 3 מטלה 2
תגובות: 1
צפיות: 250

Re: תרגיל 3 מטלה 2

כן. אפשר לשנות שורה ראשונה זו בשלד.
על ידי TA_Isana
13:47 22/11/2009
פורום: - מבוא למדעי המחשב 2010
נושא: תרגיל 3 - מטלה 4 (substitue)
תגובות: 1
צפיות: 407

Re: תרגיל 3 - מטלה 4 (substitue)

לא ברור לי מה כוונתך בליטרלים ריקים.
הארגומנט int literal צריך להיות ליטרל לפי שמוגדר בשאלה.
You may assume
that literal is not zero and that phi is a legal CNF.

נראה ש"ירוץ יותר מהר" ו"יקח פחות זמן" זה שקול. ההעדפה היא שהפונקציה תעבוד נכון (לפי המתואר) ושתהיה כתובה ברור. אח"כ יעילות. 

עבור לחיפוש מתקדם