!ערעורי מועד ב' נבדקו | |
הציונים המתוקנים הוזנו, ויימסרו למזכירות יחד עם הערעורים בימים הקרובים. !שבוע טוב |
פורסם ב-8/4/2018, 11:07:19 Created on 8/4/2018, 11:07:19 Создано8/4/2018, 11:07:19 تم النشر ب-8/4/2018, 11:07:19 |
מועד מילואים | |
סטודנטים המעוניינים לגשת למועד מילואים, נא ליצור קשר עם אוהד בהקדם. חג שמח! |
פורסם ב-1/4/2018, 11:05:25 Created on 1/4/2018, 11:05:25 Создано1/4/2018, 11:05:25 تم النشر ب-1/4/2018, 11:05:25 |
ציוני מועד ב' | |
ציוני מועד ב' הועלו לאתר. הסריקות יעלו בימים הקרובים. ערעורים יש להגיש לתא של אוהד בקומה 5 (תא מס' 100) עד יום ראשון 1.4 בשעה 12:30. |
פורסם ב-25/3/2018, 10:08:55 Created on 25/3/2018, 10:08:55 Создано25/3/2018, 10:08:55 تم النشر ب-25/3/2018, 10:08:55 |
מיקום מועד ב' | |
היי לכולם, מועד ב' ייערך ביום חמישי 15.3 בשעה 9:00 בטאוב בחדרים 4,5,6,7,8,9. כל מי שקיבל שיבוץ לכיתה שהיא לא אחת מהכיתות האלה, מתבקש להגיע לכיתות האלה ולהתמקם בהן על בסיס מקום פנוי. בהצלחה, צוות הקורס |
פורסם ב-12/3/2018, 12:49:19 Created on 12/3/2018, 12:49:19 Создано12/3/2018, 12:49:19 تم النشر ب-12/3/2018, 12:49:19 |
ערעורי מועד א' ושעות קבלה לקראת מועד ב' | |
+ הערעורים למועד א' נבדקו, ויועברו מחר למזכירות, הציונים המעודכנים אמורים להיות זמינים באתר הקורס. + מועד ב' יתקיים ביום חמישי בשבוע הבא (15.3) בשעה 9:00. לקראת המועד ב', סגל הקורס יעביר שעות קבלה: אבי - יום א' 11.3, 12:30, טאוב 201 יובל - יום א' 11.3, 14:00, טאוב 525 אלי - יום א' 11.3, 17:00, טאוב 520 מיכל - יום ב' 12.3, 16:30, טאוב 201 אוהד - יום ג' 13.3, 15:30, טאוב 201 סתיו - יום ד' 14.3, 16:30, טאוב 201 בהצלחה, צוות הקורס |
עדכון אחרון ב-7/3/2018, 14:22:47 Last updated on 7/3/2018, 14:22:47 Последняя модификация7/3/2018, 14:22:47 تمت الحتلنة الأخيرة ب-7/3/2018, 14:22:47 |
ציוני מועד א' | |
ציוני מועד א' זמינים באתר. המבחנים יעברו מחר למזכירות לצורך סריקה. ניתן להגיש ערעורים עד יום שני 5.3 לתא של אוהד (תא 100) בקומה 5, אין צורך לצרף את הסריקות. |
עדכון אחרון ב-26/2/2018, 18:28:29 Last updated on 26/2/2018, 18:28:29 Последняя модификация26/2/2018, 18:28:29 تمت الحتلنة الأخيرة ب-26/2/2018, 18:28:29 |
החזרת תרגילי בית, מועד א' ושעות קבלה למועד א' | |
היי לכולם, תרגילי בית 5 ו-6 נבדקו והוחזרו לתאים. ביום ראשון 18.2 ייערך מועד א'. המבחן יערך בשעה 9:00 באולמן קומות 5 ו6. החומר למבחן כולל את כל החומר שנלמד בהרצאות, תרגולים. במבחן יופיעו לפחות 25 נק' של דברים דומים לדברים שנראו בהרצאות, תרגולים וש"ב. החומר למבחן כולל את החומרים שנראו בסוף הקורס - מערכות הוכחה אינטראקטיביות, מכונות טיורינג הסתברותיות, הוכחות אפס ידיעה, PCP וכו'. שאלות שיעסקו בנושאים אלה יתבססו בעיקר על שימוש בהגדרות ודוגמאות שנראו בהרצאות/תרגולים. לקראת המבחן יערכו שעות קבלה בשבוע הבא: מיכל - יום ב' 16:30, טאוב 301 אבי - יום ג' 10:30, טאוב 301 סתיו - יום ד' 17:00, טאוב 401 יובל - יום ה' 13:00, טאוב 525 אוהד - יום ה' 15:30, טאוב 401 אנא השתדלו לשלוח שאלות מראש אם אתם מעוניינים שייפתרו בשעות הקבלה, אם יישלחו הרבה שאלות נבחר את השאלות הטובות יותר לדעתנו. בהצלחה, צוות הקורס |
עדכון אחרון ב-10/2/2018, 17:17:48 Last updated on 10/2/2018, 17:17:48 Последняя модификация10/2/2018, 17:17:48 تمت الحتلنة الأخيرة ب-10/2/2018, 17:17:48 |
התרגול של אוהד יועבר היום ב17:30! | |
התרגול של אוהד היום בשעה 14:30 בוטל, ויועבר היום ב17:30 בטאוב 301. סליחה על אי הנוחות, וההתראה הקצרה. |
פורסם ב-21/1/2018, 11:15:23 Created on 21/1/2018, 11:15:23 Создано21/1/2018, 11:15:23 تم النشر ب-21/1/2018, 11:15:23 |
תרגיל בית 5 תוקן! | |
בשאלה 3 סעיף 3 נפלה טעות (יש צורך להניח גם ש-G קשיר). התרגיל תוקן, וגרסה עדכנית שלו הועלתה לאתר. |
פורסם ב-15/1/2018, 18:37:57 Created on 15/1/2018, 18:37:57 Создано15/1/2018, 18:37:57 تم النشر ب-15/1/2018, 18:37:57 |
תרגיל בית 6 פורסם ועוד.. | |
+ תרגיל בית 6 פורסם, וניתן להגישו עד היום האחרון של הסמסטר. שימו לב שתרגיל זה מבוסס בחלקו על תרגול 12, ועל כן כדאי להתחיל לפתור אותו (אולי פרט לשאלה הראשונה), לאחר תרגול 12. + תרגילים 5 ו6, שניהם ניתנים להגשה עד יום חמישי 18.1 ו-25.1 בהתאמה, עד 23:59 (תיקון של 12:30 שהיה קודם לתרגיל בית 5). + בשבועות האחרונים חלה ירידה גדולה בכמות האנשים שמגיעים לסדנאות. שימו לב שהסדנאות הן ההזדמנות שלכם להסתנכרן על החומר ולקבל משוב אנושי בהקשר של החומר הנלמד ותרגילי הבית. לא חלה חובה לפתור דווקא את תרגילי הבית הנוכחיים בסדנא, אלא כל מה שתרצו ולכן מומלץ מאוד לנסות להגיע בשבועיים הקרובים ולהיעזר בסדנאות. שבוע טוב, צוות הקורס |
עדכון אחרון ב-13/1/2018, 21:20:41 Last updated on 13/1/2018, 21:20:41 Последняя модификация13/1/2018, 21:20:41 تمت الحتلنة الأخيرة ب-13/1/2018, 21:20:41 |
הציונים לבוחן השני פורסמו! | |
הבחנים יועברו למזכירות היום לצורך סריקות המבחנים. ערעורים ניתן להגיש לאוהד לתא (תא 100 בקומה 5) עד יום רביעי 17.1. |
פורסם ב-10/1/2018, 11:37:15 Created on 10/1/2018, 11:37:15 Создано10/1/2018, 11:37:15 تم النشر ب-10/1/2018, 11:37:15 |
שינויים בשעות הסדנא היום | |
הסדנא של סתיו תימשך באופן חד פעמי עד 18:30 (כלומר תיארך שעה אחת ולא שעתיים). שאר הסדנאות ייערכו כרגיל |
פורסם ב-8/1/2018, 14:19:41 Created on 8/1/2018, 14:19:41 Создано8/1/2018, 14:19:41 تم النشر ب-8/1/2018, 14:19:41 |
תרגילי בית 4,5,6 | |
+ תרגיל בית 4 הועבר למזכירות והוחזר לתאים (למי שהגיש אחרי ה24.12). + תרגיל בית 5 הועלה לאתר, מועד ההגשה שלו הוא ליום חמישי 18.1. + תרגיל בית 6 יפורסם ביום חמישי 18.1, והגשתו תהיה לסוף הסמסטר. |
עדכון אחרון ב-7/1/2018, 19:11:01 Last updated on 7/1/2018, 19:11:01 Последняя модификация7/1/2018, 19:11:01 تمت الحتلنة الأخيرة ب-7/1/2018, 19:11:01 |
הבוחן יתקיים בטאוב 5,6,7,8,9 | |
הבוחן יתקיים היום ב17:30, בחדרים טאוב 5,6,7,8,9 ובמקרה הצורך טאוב 3,4. בהצלחה! צוות הקורס |
פורסם ב-31/12/2017, 16:25:55 Created on 31/12/2017, 16:25:55 Создано31/12/2017, 16:25:55 تم النشر ب-31/12/2017, 16:25:55 |
הבהרה בנוגע לחומר לבוחן, הוכחת משפט קוק | |
החומר לבוחן לא כולל את הוכחת משפט קוק (שעדיין לא ראו בהרצאה של יום ראשון), ולא את תרגול 9. בנוסף, הועלתה לאתר תחת 'חומר הקורס' הוכחה אלטרנטיבית למשפט קוק (שונה קצת ממה שראיתם/תראו בהרצאות), אבל רשומה בצורה מסודרת. שבת שלום, צוות הקורס |
פורסם ב-28/12/2017, 12:28:43 Created on 28/12/2017, 12:28:43 Создано28/12/2017, 12:28:43 تم النشر ب-28/12/2017, 12:28:43 |
הערעורים לבוחן הראשון נבדקו! | |
הערעורים יועברו למזכירות בימים הקרובים. השינויים (אם קיימים) עודכנו במערכת GR++. |
פורסם ב-27/12/2017, 13:34:34 Created on 27/12/2017, 13:34:34 Создано27/12/2017, 13:34:34 تم النشر ب-27/12/2017, 13:34:34 |
תרגילי בית 3 ו-4 הוחזרו למזכירות | |
תרגילי בית 3 ו-4 (לאלו שהגישו עד ראשון 24.12), הוחזרו בדוקים למזכירות. כמה הערות על התרגילים הבדוקים: 1. בתרגיל בית 3 בשאלה 4, נדרש מכם לעשות רדוקציה משפה A (שאינה בRE) לשפה L_10^A - שפת קידודי המכונות שמקבלות לפחות 10 מילים מתוך A. בפתרונות שחלק מכם נתנו, הרדוקציה הגדירה כל מילה x מכונה Mx, והמכונה הזאת בחרה 9 מילים מתוך A ששונות מ-x לקבל פרט ל-x. הרעיון מאחורי הרדוקציה הזאת הוא נכון, אבל הביצוע קצת פחות. שימו לב שהמכונה Mx לא יכולה לבחור מילים מתוך A, כי אין שום מכונה שעוזרת לה להחליט מה זה מילה מ-A ומה לא. אבל עדיין ניתן למצוא 9 מילים מתוך A שאינן x, הפתרון לזה הוא שניתן להגדיר מכונה Mx שיודעת מראש רשימה של 10 מילים כלשהן w1,...,w10, לכל קבוצה כזאת של 10 מילים. ובפרט, נוכל להגדיר מכונה שיודעת מראש 10 מילים w1,...,w10 שהן כולן מילים בA. פרט ל10 המילים האלה, המכונה Mx לא יודעת שום דבר על A, ולהשתמש בהן לצורך הרדוקציה. שימו לב, אם קשה לכם להבין את הפתרון הזה, שימו לב שאם ניקח קבוצה של 10 מילים כלשהן, w1,...,w10 ב-A השפה המוגדרת על ידי המילים האלה היא שפה סופית ובפרט יש מכונה M10 שמכריעה אותה. והמכונה Mx יכולה להשתמש בM10, ולמעשה לחפש 9 מילים שונות מתוך w1,...,w10 ששונות מ-x בשלב הראשון, ובשלב השני לבדוק האם הקלט w הוא אחת מ-9 המילים האלה או ש-w הוא למעשה x. מכיוון שM10 מקבלת 10 מילים ועוצרת לכל מילה, התהליך תמיד יסתיים בזמן סופי, ונוכל להוכיח כי המכונה מקבלת את x ועוד 9 מילים מתוך A, ומזה תנבע התקפות של הרדוקציה. 2. בתרגיל בית 4 חלקכם טענו שעבור פסוק CNF, נסמנו ב-phi, השלילה שלו not(phi) היא גם כן פסוק CNF, אבל זה לא נכון. בפרט, בשאלה 5 סעיף 5, מדובר למעשה בשפת פסוקי הCNF שהם טאוטולוגיות, והפתרון של רדוקציה מSAT גג שלוקחת פסוק ועושה עליו not לא יעבוד, כי L5 דורשת שהפסוקים בשפה שלה יהיו טאוטולוגיות בפורמט CNF. [על מנת לפתור את הסעיף, חשבו מה מאפיין טאוטולוגיה, המורכבת מפסוקית אחת בלבד] בנוסף, הועלה לאתר תחת 'חומר הקורס' דף העזר לבוחן השני. בהצלחה, צוות הקורס |
עדכון אחרון ב-26/12/2017, 16:01:49 Last updated on 26/12/2017, 16:01:49 Последняя модификация26/12/2017, 16:01:49 تمت الحتلنة الأخيرة ب-26/12/2017, 16:01:49 |
בוחן 2 | |
הבוחן השני יערך ביום ראשון בעוד שבוע (31.12). החומר הרלווונטי לבוחן כולל סיווג של שפות למחלקות חישוביות (R,RE,CORE), וכל החומר שנלמד עד כה בחלק של סיבוכיות - חסמי זמן ריצה, המחלקות P ו-NP, מכונות א"ד, רדוקציות פולינומיות, ו-NP שלמות. הבוחן יהיה דומה במבנה לבוחן הקודם - 50% שאלות דומות או זהות לדברים מהרצאות/תרגולים/תרגילי בית (הרלוונטיים לבוחן הם תרגילים 3 ו4), ו50% של שאלות חדשות בנושאים הרלוונטיים. בהצלחה, צוות הקורס |
פורסם ב-23/12/2017, 20:15:22 Created on 23/12/2017, 20:15:22 Создано23/12/2017, 20:15:22 تم النشر ب-23/12/2017, 20:15:22 |
תרגיל בית 4 ושינויים בלו"ז | |
+ תרגיל בית 4 פורסם, וההגשה שלו היא עד יום א' 31.12 בשעה 12:30. שימו לב, שניתן להגיש את התרגילים עד יום א' ה24.12 בשעה 12:30, ולקבל את הגליונות הבדוקים לפני בוחן האמצע השני (שייערך ב31.12). + הסדנא של מיכל השבוע - יום חמישי 14.12 מבוטלת. התרגול באותו יום יתקיים כרגיל. +שבוע הבא - חופש חנוכה, כל הסדנאות, תרגולים והרצאות לא יתקיימו. שבוע טוב, צוות הקורס |
פורסם ב-10/12/2017, 15:51:04 Created on 10/12/2017, 15:51:04 Создано10/12/2017, 15:51:04 تم النشر ب-10/12/2017, 15:51:04 |
תרגיל בית 3 | |
ניתן להגיש את התרגילים עד יום ראשון ב12:30. בהצלחה, צוות הקורס |
פורסם ב-5/12/2017, 22:44:27 Created on 5/12/2017, 22:44:27 Создано5/12/2017, 22:44:27 تم النشر ب-5/12/2017, 22:44:27 |
פורסמו ציונים לבוחן הראשון! | |
לבוחן ניתנו 7 נקודות פקטור. סריקות יעלו בימים הקרובים. ערעורים יש להגיש לתא של אוהד בקומה 5 עד ה13.12. |
עדכון אחרון ב-5/12/2017, 13:48:45 Last updated on 5/12/2017, 13:48:45 Последняя модификация5/12/2017, 13:48:45 تمت الحتلنة الأخيرة ب-5/12/2017, 13:48:45 |
תרגיל בית 3 | |
פורסם תרגיל בית 3, ניתן להגישו עד יום חמישי 7.12 בשעה 12:30. שימו לב שזהו תרגיל יחסית ארוך, ומומלץ לפתור את כל השאלות בו (ולא רק את אלו להגשה). בהצלחה, צוות הקורס |
פורסם ב-26/11/2017, 13:07:03 Created on 26/11/2017, 13:07:03 Создано26/11/2017, 13:07:03 تم النشر ب-26/11/2017, 13:07:03 |
בדיקת תרגילי הבית, וטעויות נפוצות.. | |
תרגילי בית 1 ו-2 נבדקו והועברו למזכירות. שאלות, טענות והבהרות לגבי תרגילי הבית והבדיקה שלהם ניתן לשלוח במייל לאוהד. כמה הערות על תרגילי הבית: 1. בתרגיל בית 1, רבים ממכם הגדירו מכונת טיורינג באמצעות פונקצית המעברים. אין בזה שום דבר לא נכון, אבל שימו לב שהוכחנו שהמודל של מ"ט שקול למודל של מחשב רגיל, ולכן ניתן לתאר אלגוריתם עבור מ"ט (בהנחה שהוא סביר כמובן, הערה על זה בהמשך), ולא את פונקצית המעברים במפורש. 2. דוגמא לאלגוריתם לא סביר: הרץ את M על x, ואם M לא עצרה תחזיר 1, אחרת תחזיר 0. שימו לב שאלגוריתם כזה הוא אלגוריתם לא סביר, שכן אנחנו לא יודעים לבדוק באופן כללי האם מכונה עוצרת על קלט (כפי שראיתם בהרצאה). כאשר אתם כותבים אלגוריתם למ"ט שימו לב שכל אופן הפעולה של המכונה מוגדר היטב והגיוני. 3. כאשר אתם רוצים לעשות הרצה מבוקרת, יש לרשום את זה ולתאר כיצד עושים את זה - "נעבור על הקלטים במניה לקסיקוגרפית עם קדימות לאורך. באיטרציה i נריץ את M על i הקלטים הראשונים במניה למשך i צעדים כל אחד..." או כל ניסוח דומה. כמו כן, שימו לב שבאופן עקרוני שום דבר לא מונע מאיתנו תמיד לעשות הרצה מבוקרת, אבל בקורס אנו דורשים ממכם להבחין מתי חייבים לעשות הרצה מבוקרת ומתי לא, לכן השתמשו בזה רק כאשר חייבים להשתמש בזה - כלומר נדרש ממכם להבין מתי חייבים להשתמש בזה ומתי לא. 4. בשאלת המוודאים, הרבה מכם השתמשו בסעיפים הקודמים. אין בזה שום דבר לא בסדר, פשוט היה הרבה יותר קל לפתור את זה באמצעות ההגדרה של RE. בנוסף, בכיוון שבו נתון מוודא ורוצים לבנות מ"ט, הפתרון דרש למעשה לעבור עבור קלט x מסויים על כל ההוכחות pi האפשריות עבורו ולהריץ את המוודא עד שמתקבלת תשובה חיובית, חלקכם דחיתם אם התקבלה תשובה אחת שלילית ובמקרה הזה הפתרון לא נכון כי ייתכן שקיימת הוכחה אבל לא תגיעו אליה אף פעם (כי דחיתם בשלב מוקדם). שבוע טוב, צוות הקורס |
עדכון אחרון ב-21/11/2017, 10:48:46 Last updated on 21/11/2017, 10:48:46 Последняя модификация21/11/2017, 10:48:46 تمت الحتلنة الأخيرة ب-21/11/2017, 10:48:46 |
בוחן אמצע ועוד כמה הודעות | |
1. בוחן האמצע יתקיים ביום ראשון, 26.11 בשעה 17:30. אורכו של הבוחן יהיה שעתיים, והוא יכיל 50% של דברים שדומים לדברים שראיתם בהרצאה/תרגול/תרגילי בית ועוד 50% של שאלות שלא ראיתם. החומר לבוחן הוא כל החומר שנלמד בהרצאות בשבועות 1-5, תרגולים 1-4, ושני תרגילי הבית (אותם בתקווה נספיק להחזיר לפני הבוחן). 2. במהלך השבוע יפורסם תרגיל בית 3, עבורו יהיה מספיק זמן (בשביל להתחשב בלמידה לבוחן). 3. הסנדא של סתיו מחר (שני, 20.11) מבוטלת. מוזמנים להגיע לסנדאות האחרות- בשלישי, רביעי וחמישי. שבוע טוב ובהצלחה! צוות הקורס |
פורסם ב-19/11/2017, 12:15:14 Created on 19/11/2017, 12:15:14 Создано19/11/2017, 12:15:14 تم النشر ب-19/11/2017, 12:15:14 |
תיקון בש"ב 1, דחיית מטלות 1,2 | |
היי לכולם, בעקבות כמה הערות פורסמו הבהרות בנוגע לתרגיל 2 סעיף ג', ובנוסף תוקנה טעות הקלדה בתיאור המודל של סעיף ב' בשאלה 2 (הגדרת הפלט של המודל). תודה לכל מי שדאג להעיר על הדברים במייל. בנוסף, בעקבות פניות ניתן להגיש את ש"ב 1 עד יום ראשון 12.11 בשעה 12:30. תרגיל בית 2 נדחה גם הוא ליום ראשון 19.11 בשעה 12:30. בהצלחה! צוות הקורס |
פורסם ב-9/11/2017, 13:35:28 Created on 9/11/2017, 13:35:28 Создано9/11/2017, 13:35:28 تم النشر ب-9/11/2017, 13:35:28 |
HW2 is online! | |
HW2 are now online. Note that you need the material of this week lecture and tutorial to solve them. Good Luck, Course Staff |
פורסם ב-5/11/2017, 13:15:18 Created on 5/11/2017, 13:15:18 Создано5/11/2017, 13:15:18 تم النشر ب-5/11/2017, 13:15:18 |
Location change for Wednesday tutorial! | |
Ohad's tutorial on Wednesday has moved from Taub 6 to Taub 7. |
פורסם ב-29/10/2017, 11:41:12 Created on 29/10/2017, 11:41:12 Создано29/10/2017, 11:41:12 تم النشر ب-29/10/2017, 11:41:12 |
תרגיל בית 1, סדנאות | |
תרגיל בית 1 הועלה לאתר הקורס. למעוניינים, ניתן להגיש אותו עד ה9.11 לתא הקורס בקומה 1. הסדנאות יחלו להתקיים החל מיום שני (30.10), וכל הסדנאות יערכו בטאוב 201. שבוע טוב, צוות הקורס |
עדכון אחרון ב-28/10/2017, 20:35:56 Last updated on 28/10/2017, 20:35:56 Последняя модификация28/10/2017, 20:35:56 تمت الحتلنة الأخيرة ب-28/10/2017, 20:35:56 |
בחני אמצע, ש"ב, סדנאות | |
+ נקבעו תאריכי בחני האמצע - בוחן האמצע הראשון יערך ביום ראשון 26.11 בשעה 16:30, ובוחן האמצע השני יערך ביום ראשון, 31.12 בשעה 16:30. + ש"ב הראשונים של הקורס יפורסמו לקראת סוף השבוע. ש"ב הם ללא חובת הגשה, אך מומלץ לפתור אותם בעצמכם. כמו כן, ניתן להגיש חלק מהשאלות (יסומנו כשאלות להגשה) לבדיקה ללא ציון, על מנת להעריך את טיב הפתרונות שלכם. + לצורך פתרון שיעורי הבית, יועברו מדי שבוע, 4 סדנאות שבועיות, שבהן ניתן יהיה לפתור את ש"ב ולהעזר במתרגלים בתרגילים הקשים יותר והקשים פחות. השעות בהן יערכו הסנדאות מדי שבוע: סתיו, יום ב', 17:30-19:30 אבי, יום ג', 17:30-19:30 אוהד, יום ד', 15:30-17:30 מיכל, יום ה', 15:30-17:30 מיקומי הסדנאות יקבעו בהמשך השבוע (הסדנאות יחלו להתקיים רק משבוע הבא) בהצלחה, צוות הקורס |
פורסם ב-23/10/2017, 14:42:46 Created on 23/10/2017, 14:42:46 Создано23/10/2017, 14:42:46 تم النشر ب-23/10/2017, 14:42:46 |