תרגיל בית 6
|
תרגיל בית 6 עלה לאתר. ציון עובר בתרגיל זה יתן בונוס של נקודה 1 לציון הסופי. שימו לב כי רק שאלה 1 היא להגשה, אבל שאלה 2 חיונית ומומלץ לפתור אותה. |
| פורסם ב-19/1/2026, 21:47:29 Created on 19/1/2026, 21:47:29 Создано19/1/2026, 21:47:29 تم النشر ب-19/1/2026, 21:47:29 |
בוחן אמצע
| את הבחנים הבדוקים ניתן לראות במטלה המתאימה באתר. ערעורים יש לבצע באמצעות טופס הערעורים המופיע באתר תחת "חומר הקורס" - יש לעקוב במדויק אחר הוראות הטופס, ולהגיש למטלה המתאימה ("בוחן אמצע - ערעורים", ולא "בוחן אמצע") עד מוצ"ש. |
| עדכון אחרון ב-19/1/2026, 21:41:34 Last updated on 19/1/2026, 21:41:34 Последняя модификация19/1/2026, 21:41:34 تمت الحتلنة الأخيرة ب-19/1/2026, 21:41:34 |
תרגיל בית 5
| תרגיל בית 5 עלה לאתר. ציון עובר בתרגיל זה יתן בונוס של נקודה 1 לציון הסופי. |
| פורסם ב-13/1/2026, 11:26:53 Created on 13/1/2026, 11:26:53 Создано13/1/2026, 11:26:53 تم النشر ب-13/1/2026, 11:26:53 |
הסדנה של היום
| הסדנה של דוד היום לא תתקיים. |
| פורסם ב-5/1/2026, 15:46:47 Created on 5/1/2026, 15:46:47 Создано5/1/2026, 15:46:47 تم النشر ب-5/1/2026, 15:46:47 |
תרגילי בית
|
נערך השינוי הבא במתכונת תרגילי הבית: יהיו רק עוד 3 תרגילים (כלומר 6 סך הכל), אבל שלושת התרגילים הנותרים ייתנו בונוס כפול, כך שסה"כ הבונוס שניתן לקבל נשמר. להבהרה, היקף כל תרגיל לא יעלה על המתוכנן במקור. כמו כן, עלה לאתר תרגיל בית 4 - כאמור, ציון עובר בתרגיל זה יתן בונוס של נקודה 1. שימו לב כי רק שאלה 3 היא להגשה, אבל מומלץ לפתור את כל השאלות. |
| עדכון אחרון ב-5/1/2026, 15:39:21 Last updated on 5/1/2026, 15:39:21 Последняя модификация5/1/2026, 15:39:21 تمت الحتلنة الأخيرة ب-5/1/2026, 15:39:21 |
הרצאת העשרה מחברת StarkWare
|
שלום כולם, ראו הודעה לגבי הרצאת העשרה מטעם קשרי חוץ בפקולטה: ביום רביעי ה7.1 נארח בפקולטה את חברת StarkWare למפגש מקצועי המיועד בעיקר לסטודנטים לתארים מתקדמים וגם לסטודנטים לתואר ראשון בקורסים רלוונטיים. ההרצאה תעסוק בנושא Proof Systems ותתמקד בגישור הפער שבין התיאוריה ליישום בעולם האמיתי (בהובלת ד"ר גיל בן שחר וסתיו בנו). להרשמה: https://forms.gle/MFJxNxgZozsrxEvu8 |
| פורסם ב-31/12/2025, 12:09:10 Created on 31/12/2025, 12:09:10 Создано31/12/2025, 12:09:10 تم النشر ب-31/12/2025, 12:09:10 |
הסדנאות של דוד השבוע
|
הסדנה של דוד היום תתקיים במתכונת של שעת קבלה לקראת הבוחן במקום המתכונת הרגילה של סיוע בתרגילי בית. הסדנה מחר לא תתקיים. |
| פורסם ב-28/12/2025, 12:57:08 Created on 28/12/2025, 12:57:08 Создано28/12/2025, 12:57:08 تم النشر ب-28/12/2025, 12:57:08 |
הבחנות על מחשב
| נבחנים על מחשב (בבוחן, ובהמשך במבחנים) - אנא בצעו את ההגשה במייל, למיילים של נטע ושל שאול המופיעים באתר. |
| פורסם ב-28/12/2025, 12:53:13 Created on 28/12/2025, 12:53:13 Создано28/12/2025, 12:53:13 تم النشر ب-28/12/2025, 12:53:13 |
הרדוקציה הפולינומית מ-VC ל-DHC (תרגול 8)
|
בתרגול 8 תראו שרשרת רדוקציות פולינומיות שקשורות לגרפים המילטוניים, שהאחרונה בהן היא מ-VC ל-DHC. ברוב התרגולים הרדוקציה לא תוצג כי היא מסובכת יותר משאר הרדוקציות ולוקחת זמן. בלינק הבא ניתן לראות וידאו של עידו שמציג ומוכיח את הרדוקציה. ללמוד את הרדוקציה זו לא חובה רשמית כחלק מהחומר אבל זה בהחלט ב-scope של הקורס ומומלץ לצפות בוידאו (או לקרוא על הרדוקציה בדפים) כדי לקבל תרגול נוסף של רדוקציות פולינומיות (אחרי שלמדתם את תרגול 8). https://panoptotech.cloud.panopto.eu/Panopto/Pages/Viewer.aspx?id=821383fc-1810-4db7-9c0a-b2f30069b371 |
| פורסם ב-23/12/2025, 12:35:29 Created on 23/12/2025, 12:35:29 Создано23/12/2025, 12:35:29 تم النشر ب-23/12/2025, 12:35:29 |
בוחן אמצע
|
הבוחן ייערך ב-29.12 בשעה 17:30 וייארך שעתיים (לא כולל הארכת זמן). החומר לבוחן הוא כל חלק א' של הקורס (כלומר הרצאות ותרגולים 1-6 ותרגילי בית 1-3). כל השאלות בבוחן יהיו חדשות. על מנת ללמוד לבוחן מומלץ לוודא שמבינים את כל התרגילים וההוכחות מהתרגולים וההרצאות ויודעים לפתור לבד את כל תרגילי הבית. באתר ניתן לראות את דף השער של הבוחן עם ההנחיות - אנא הקדישו דקה כדי לקרוא אותן - ואת דף העזר שיחולק עם הבוחן. בהצלחה! |
| פורסם ב-23/12/2025, 12:27:43 Created on 23/12/2025, 12:27:43 Создано23/12/2025, 12:27:43 تم النشر ب-23/12/2025, 12:27:43 |
הקלטת הרצאת ההשלמה של גדי
|
הקלטת ההרצאה מהיום נמצאת בלינק הבא: https://panoptotech.cloud.panopto.eu/Panopto/Pages/Viewer.aspx?id=726e36bb-b045-4486-b1b7-b27800f64075 |
| פורסם ב-15/12/2025, 11:42:10 Created on 15/12/2025, 11:42:10 Создано15/12/2025, 11:42:10 تم النشر ب-15/12/2025, 11:42:10 |
הרצאת השלמה של גדי
| גדי יקיים הרצאת השלמה מחר (שני) ב-8:30-10:30, בטאוב 4. |
| פורסם ב-14/12/2025, 11:14:09 Created on 14/12/2025, 11:14:09 Создано14/12/2025, 11:14:09 تم النشر ب-14/12/2025, 11:14:09 |
תרגיל בית 3 עלה לאתר
| ציון עובר בתרגיל זה יתן בונוס של 1 נקודה לציון הסופי. |
| פורסם ב-12/12/2025, 16:40:05 Created on 12/12/2025, 16:40:05 Создано12/12/2025, 16:40:05 تم النشر ب-12/12/2025, 16:40:05 |
תרגולי השלמה של יואב ועידו
|
יתקיימו תרגולי ההשלמה הבאים: - יואב - 24.12 ב-12:30 (אחרי התרגול הרגיל) בטאוב 3. - עידו - 24.12 ב-14:30, באולמן 504. |
| פורסם ב-10/12/2025, 10:54:44 Created on 10/12/2025, 10:54:44 Создано10/12/2025, 10:54:44 تم النشر ب-10/12/2025, 10:54:44 |
הקלות למשרתי מילואים בתרגילי בית
|
ניתנות ההקלות הבאות: 1. הארכות בהגשות - ניתן לפנות לנטע ולקבל באופן פרטני בתרגילים בהם יש צורך. בכל מקרה יינתן לפחות יום הארכה אחד על כל יום מילואים שנפל על הזמן שניתן לתרגיל, אבל משך ההארכה גמיש וניתן לקבל גם יותר במידת הצורך. 2. אם ביצעתם מילואים לפחות בחצי מהימים שניתנו לתרגיל, ניתן לקבל את הבונוס על התרגיל בלי להגיש אותו. 3. אם אתם מקיימים את 2 עבור תרגיל שכבר הגשתם נכון ליום פרסום הודעה זו (כלומר תרגילים 1 או 2), ניתן לקבל את הבונוס החינמי בנוסף על הבונוס שמתקבל על התרגיל (כלומר 0.5 נקודה בכל מקרה, ונקודה 1 אם קיבלתם ציון עובר על התרגיל). 4. סטודנטים השייכים לקבוצות 2/3 ולא מצליחים להגיש גם תרגילים שזמן ההגשה שלהם לא נופל ספציפית על המילואים - אנא פנו לנטע ותטופלו באופן פרטני. |
| עדכון אחרון ב-9/12/2025, 22:00:00 Last updated on 9/12/2025, 22:00:00 Последняя модификация9/12/2025, 22:00:00 تمت الحتلنة الأخيرة ب-9/12/2025, 22:00:00 |
תרגיל בית 2 עלה לאתר
|
ציון עובר בתרגיל זה יתן בונוס של 0.5 נקודות לציון הסופי. שימו לב כי רק שאלות 2,3 הן להגשה. |
| פורסם ב-27/11/2025, 16:21:17 Created on 27/11/2025, 16:21:17 Создано27/11/2025, 16:21:17 تم النشر ب-27/11/2025, 16:21:17 |
תשובה לשאלה מההרצאה -- שפות שאין אליהן רדוקציה מבעיית העצירה
|
בהרצאה של שאול נשאלה השאלה הבאה: האם יש שפות ב RE אבל לא ב R, שאין אליהן רדוקציה מבעיית העצירה? מי ששאל את השאלה קלע לדעת גדולים -- אותה השאלה נשאלה ע"י אמיל פוסט, אחד מגדולי חוקרי החישוביות. אז קודם כל - התשובה היא שיש שפות כאלו. באופן כללי, כפי שנראה בהמשך הקורס, שפות שיש אליהן רדוקציה מכל שפה במחלקה מסויימת נקראות "קשות" עבור המחלקה הזו. השאלה היא בעצם האם יש שפה ב RE שהיא *לא* קשה עבור RE. קצת מסובך להראות שיש שפות כאלו, ובאופן מעט אירוני שפות כאלו נקראות Simple sets. אפשר להתחיל לקרוא עליהן למשל מכאן: https://stackoverflow.com/questions/37402697/are-there-any-recursively-enumerable-problems-that-are-not-re-hard |
| פורסם ב-26/11/2025, 10:19:46 Created on 26/11/2025, 10:19:46 Создано26/11/2025, 10:19:46 تم النشر ب-26/11/2025, 10:19:46 |
שינוי מיקום התרגול של אדם
| התרגול (ימי שני) עובר לאולמן 507. |
| פורסם ב-24/11/2025, 13:54:22 Created on 24/11/2025, 13:54:22 Создано24/11/2025, 13:54:22 تم النشر ب-24/11/2025, 13:54:22 |
כיתות לסדנאות
|
הסדנאות יתקיימו בכיתות הבאות: ימי ראשון - טאוב 201 שני - טאוב 9 שלישי - טאוב 201 |
| פורסם ב-23/11/2025, 13:48:46 Created on 23/11/2025, 13:48:46 Создано23/11/2025, 13:48:46 تم النشر ب-23/11/2025, 13:48:46 |
סדנאות
|
אנחנו מתחילים בעריכת סדנאות, שמטרתן לסייע בפתרון תרגילי הבית. החל משבוע הבא יתקיימו הסדנאות השבועיות הבאות: - דוד - ימי ראשון ב-15:30. - דוד - ימי שני ב-16:30. - נטע - ימי שלישי ב-15:30. הכיתות לסדנאות יפורסמו בהמשך. |
| פורסם ב-18/11/2025, 19:18:54 Created on 18/11/2025, 19:18:54 Создано18/11/2025, 19:18:54 تم النشر ب-18/11/2025, 19:18:54 |
תרגיל בית 1
|
תרגיל בית 1 עלה לאתר. ציון עובר בתרגיל זה יתן בונוס של 0.5 נקודות לציון הסופי. נזכיר כי את תרגילי הבית יש להגיש ביחידים ו***מוקלדים בלבד***. |
| פורסם ב-18/11/2025, 19:16:01 Created on 18/11/2025, 19:16:01 Создано18/11/2025, 19:16:01 تم النشر ب-18/11/2025, 19:16:01 |
פורום הקורס בפיאצה
|
הפורום נמצא בלינק הבא: https://piazza.com/class/mi4to1o8lmb5gy# שאלות *מקצועיות*, כלומר העוסקות בתרגילי בית/שאלות ממבחנים/שאלות כלליות על חומר הקורס, יש לשאול רק בפיאצה ולא לשלוח במייל. שאלות *מנהלתיות* יש לשלוח לנטע במייל. כמובן שאנחנו מעודדים אתכם גם לענות על שאלות של אחרים ולפתח דיון כמה שרק אפשר. |
| פורסם ב-18/11/2025, 19:11:20 Created on 18/11/2025, 19:11:20 Создано18/11/2025, 19:11:20 تم النشر ب-18/11/2025, 19:11:20 |
הזזה נוספת של התרגול של עידו
| התרגול יתקיים (באופן קבוע) באולמן 601. |
| פורסם ב-5/11/2025, 11:58:32 Created on 5/11/2025, 11:58:32 Создано5/11/2025, 11:58:32 تم النشر ب-5/11/2025, 11:58:32 |
שינוי כיתת התרגול של עידו
| התרגול של עידו (יום חמישי) יתקיים (באופן קבוע) בטאוב 8. |
| פורסם ב-3/11/2025, 09:25:02 Created on 3/11/2025, 09:25:02 Создано3/11/2025, 09:25:02 تم النشر ب-3/11/2025, 09:25:02 |
ברוכים הבאים לקורס תורת החישוביות!
|
- באתר הקורס בלשונית 'סילבוס' נמצא קובץ התקנות של הקורס, המכיל פרטים חשובים אודות ההרצאות, התרגולים, תרגילי הבית, הבוחן, המבחן והסדנאות. הנכם מתבקשים להקדיש מס' דקות ולקרוא את קובץ התקנות. - מטעמי סנכרון בין ההרצאות והתרגולים, ההרצאה הראשונה של גדי (רביעי) *לא תתקיים* וכך גם *כל התרגולים בשבוע הראשון פרט לשלישי*. כלומר, ביום שלישי הבא יתקיימו ההרצאה והתרגול הראשונים, ומשם והלאה השיעורים יתקיימו כרגיל. - סטודנטים שמתכוונים להגיע לתרגולים בימי שלישי: שימו לב שאתם מגיעים לפני כן גם להרצאות של ימי שלישי, מכיוון שהתרגולים מתבססים לרוב על חומר שנלמד בהרצאות ואחרת יהיה לכם קשה לעקוב (בהמשך לנקודה הקודמת, יום שלישי יקדים את שאר הימים מבחינת חומר הקורס לאורך הסמסטר). - שימו לב כי (כמופיע בסילבוס) את תרגילי הבית הסמסטר יש *להקליד בלבד*. - בתיקיית "חומר עזר לתרגולים" נמצא תרגול 0 (מיועד לקריאה עצמית, לא יועבר פרונטלית), המהווה חומר רקע לקורס. מומלץ מאוד למי שצריך לרענן את הזכרון בתחומים של תורת הקבוצות, לוגיקה ואוטומטים, לקרוא את התרגול לפני ההרצאה הראשונה. |
| פורסם ב-28/10/2025, 12:34:23 Created on 28/10/2025, 12:34:23 Создано28/10/2025, 12:34:23 تم النشر ب-28/10/2025, 12:34:23 |