משרתי המילואים הזכאים להתאמות | |
|
שלום לכולכם, הסטודנטים הזכאים להתאמות למילואים, הזכאים להקלה של חומר פתוח במבחן מחר (קבוצות 2,3) , הינכם מתבקשים להביא איתכם למחר טופס 3010 שמפרט את מספר ימי שירות במילואים. על-מנת להיות זכאים להקלת החומר הפתוח, האישור צריך לכלול לפחות 21 ימי שירות בין 27.5 עד 22.8 . שיהיה בהצלחה! |
| עדכון אחרון ב-5/9/2024, 15:02:49 Last updated on 5/9/2024, 15:02:49 Последняя модификация5/9/2024, 15:02:49 تمت الحتلنة الأخيرة ب-5/9/2024, 15:02:49 |
שעת קבלה של וסים | |
|
שלום לכולכם, שעת קבלה חלופית של וסים (במקום שעת הקבלה שבוטלה אתמול, ביום שני 2.9 , עקב השביתה), תתקיים מחר (יום רביעי, 4.9) , בשעה 10:00-11:00 בזום, בקישור: https://technion.zoom.us/j/93095172135 בשעת הקבלה ייפתרו שאלות שכבר נשלחו במייל לפני יום שני , ובנוסף, ניתן לפתור עוד שאלות שנשלחו במייל לאחר מכן, במידה ויהיה זמן. |
| עדכון אחרון ב-3/9/2024, 13:26:59 Last updated on 3/9/2024, 13:26:59 Последняя модификация3/9/2024, 13:26:59 تمت الحتلنة الأخيرة ب-3/9/2024, 13:26:59 |
דף שער , וביטול שעות הקבלה | |
|
שלום לכולכם, דף השער של מבחן מועד א פורסם באתר הקורס, תחת הלשונית course material . באפשרותכם לראות את מבנה המבחן בדף השער. בנוסף, בעקבות השביתה, שעות הקבלה שאמורות להתקיים מחר (יום שני) מבוטלות. תישלח הודעה בהמשך על מועד חלופי לשעות הקבלה המבוטלות. |
| פורסם ב-2/9/2024, 00:51:23 Created on 2/9/2024, 00:51:23 Создано2/9/2024, 00:51:23 تم النشر ب-2/9/2024, 00:51:23 |
התאמות למשרתי מילואים במבחן | |
|
שלום לכולכם, כל מי שמשרת במילואים ונמצא בקבוצות 2,3 : זכאי להיבחן עם חומר פתוח! שימו לב, שכל מי שלא שייך לקבוצות 2,3 , אינו זכאי להיבחן עם חומר פתוח. במקרה זה, החומר עזר היחיד שמותר להשתמש בו הוא (כפי שצוין בהודעה הקודמת) דפי העזר (שנמצאים תחת הלשונית course material ), והם יחולקו לכל הסטודנטים במהלך המבחן. |
| פורסם ב-29/8/2024, 09:39:59 Created on 29/8/2024, 09:39:59 Создано29/8/2024, 09:39:59 تم النشر ب-29/8/2024, 09:39:59 |
מועד א - שעות קבלה | |
|
שלום לכולכם, מועד א בלוגיקה יתקיים ביום שישי 6.9 בשעה 9:00-12:00 . כל החומר שלמדנו במהלך הסמסטר כלול במבחן. אנחנו נקיים את שעות הקבלה הבאות לפני המבחן: יום ראשון 1.9 : איתי - בשעה 13:00-14:00 , טאוב 9 יום שני 2.9 : יקיר- בשעה 10:00-11:00 , טאוב 9 וסים - בשעה 12:00-13:00 , דרך הזום: https://technion.zoom.us/j/93095172135 יום שלישי 3.9 : רומי - בשעה 12:00-13:00 , טאוב 9 יום רביעי 4.9 : שרי - בשעה 12:00-13:00 , טאוב 9 חמישי 5.9 : אדם - בשעה 13:00-14:00 , טאוב 9 הינכם מתבקשים לשלוח את השאלות שלכם במייל לפני שעת הקבלה, אחרת השאלות שלכם לא ייענו. באפשרותכם לראות את ה "דף עזר" באתר הקורס, הוא יחולק לכם במבחן (אין צורך להביא את זה איתכם). זה חומר העזר היחידי שמותר לכם להשתמש בו במבחן. בקרוב תקבלו מידע בנוגע להתאמות למשרתי מילואים בקבוצות 2,3 . ובקרוב תקבלו מידע בנוגע למבנה המבחן. שיהיה בהצלחה! |
| עדכון אחרון ב-28/8/2024, 00:18:09 Last updated on 28/8/2024, 00:18:09 Последняя модификация28/8/2024, 00:18:09 تمت الحتلنة الأخيرة ب-28/8/2024, 00:18:09 |
תרגול השלמה של רומי, ושעת קבלה של אדם | |
|
שלום לכולכם, ביום רביעי הקרוב, 21.8 , יתקיים תרגול השלמה לקבוצה של רומי (תרגול 12), והוא יועבר בשעה 12:30-13:30 , באולמן 802. שימו לב שביום ראשון 25.8, יתקיימו לימודים במתכונת יום שלישי, אבל לא יתקיים תרגול של רומי ב 25.8 , משום שהתרגול האחרון של רומי יועבר ב 21.8 . בנוסף, אדם לא יוכל לקיים את שעת הקבלה שלו ביום רביעי הקרוב, והוא יקיים אותה מחר (שלישי , 20.8) , בשעה 12:30-13:30 . |
| עדכון אחרון ב-19/8/2024, 17:57:53 Last updated on 19/8/2024, 17:57:53 Последняя модификация19/8/2024, 17:57:53 تمت الحتلنة الأخيرة ب-19/8/2024, 17:57:53 |
תרגיל בית 5 | |
|
שלום לכולכם, תרגיל בית 5 נמצא באתר. הוא אינו להגשה, אבל מומלץ בחום לפתור אותו. בנוסף, כל הפתרונות של תרגילי הבית מופיעים באתר, פרט לפתרון של תרגיל בית 4 , שיפורסם לאחר סיום ההגשה של תרגיל בית 4. |
| פורסם ב-15/8/2024, 17:57:49 Created on 15/8/2024, 17:57:49 Создано15/8/2024, 17:57:49 تم النشر ب-15/8/2024, 17:57:49 |
תרגולי השלמה לקבוצות של וסים ורומי ביום רביעי הקרוב | |
|
שלום לכולכם, ביום רביעי הקרוב (14.8), יתקיים תרגול השלמה עבור הקבוצה של רומי (תרגול 10) בשעה 12:30-13:30, באולמן 708. בנוסף, גם ביום רביעי הקרוב (14.8), יתקיים תרגול השלמה עבור הקבוצה של וסים (תרגול 10) בשעה 13:30-14:30, דרך הזום: https://technion.zoom.us/j/93095172135 להזכירכם, מחר (יום שלישי 13.8) אין לימודים, לכן התרגול של רומי מחר מבוטל. בנוסף, ביום חמישי הקרוב (15.8) , יועבר תרגול 11 עבור הקבוצה של וסים , בשעה הרגילה (12:30-13:30), דרך הזום (אותו הקישור). |
| עדכון אחרון ב-12/8/2024, 22:04:02 Last updated on 12/8/2024, 22:04:02 Последняя модификация12/8/2024, 22:04:02 تمت الحتلنة الأخيرة ب-12/8/2024, 22:04:02 |
תרגולי השלמה לקבוצה של איתי | |
|
שלום לכולם, לפי התשובות שלכם בסקר, נשלים את התרגולים השבוע: – יום שני 12:30 עד 14:30, אולמן 803 – תרגולים 10,11 (שימו לב שעברנו כיתה) – יום רביעי 12:30 עד 13:30, אולמן 802 – תרגול 12 (ואחרון) |
| פורסם ב-11/8/2024, 09:28:51 Created on 11/8/2024, 09:28:51 Создано11/8/2024, 09:28:51 تم النشر ب-11/8/2024, 09:28:51 |
קביעת תרגולי השלמה לקבוצה של איתי | |
|
שלום לכולם, ביום שני 19.8 התרגול של איתי לא יתקיים. תרגול 10 יתקיים כרגיל ביום שני הבא 12.8. כדי לקבוע את מועדי ההשלמה של תרגולים 11 ו־12, אתם מתבקשים להשיב על הסקר הבא עד סוף השבוע: https://forms.gle/BfXSY4E6Y9q2yx269 |
| עדכון אחרון ב-5/8/2024, 15:12:20 Last updated on 5/8/2024, 15:12:20 Последняя модификация5/8/2024, 15:12:20 تمت الحتلنة الأخيرة ب-5/8/2024, 15:12:20 |
תרגול השלמה של אדם השבוע | |
|
שלום לכולכם, תרגול השלמה (תרגול מספר 9) לקבוצה של אדם יתקיים ביום רביעי הקרוב, 7.8 , בשעה 13:30-14:30 , באולמן 801. תרגול 10 יתקיים באותו יום בשעה הרגילה. |
| פורסם ב-4/8/2024, 23:14:31 Created on 4/8/2024, 23:14:31 Создано4/8/2024, 23:14:31 تم النشر ب-4/8/2024, 23:14:31 |
תרגיל בית 4 | |
|
שלום לכולכם, תרגיל בית 4 נמצא כבר באתר. מועד ההגשה הוא 15.08.2024. שיהיה בהצלחה! |
| פורסם ב-1/8/2024, 23:26:00 Created on 1/8/2024, 23:26:00 Создано1/8/2024, 23:26:00 تم النشر ب-1/8/2024, 23:26:00 |
הרצאה של יקיר - 31.7 | |
|
שלום לכולם, היום (רביעי, 31.7) לא תתקיים ההרצאה של יקיר. במקום, בשבוע הבא (7.8) תתקיים הרצאה כפולה (שבוע 9+10). המשך יום טוב. |
| עדכון אחרון ב-31/7/2024, 08:37:49 Last updated on 31/7/2024, 08:37:49 Последняя модификация31/7/2024, 08:37:49 تمت الحتلنة الأخيرة ب-31/7/2024, 08:37:49 |
תרגיל בית 3 | |
|
שלום לכולכם, תרגיל בית 3 נמצא כבר באתר. מועד ההגשה הוא 01.08.2024. שיהיה בהצלחה! |
| פורסם ב-18/7/2024, 18:48:56 Created on 18/7/2024, 18:48:56 Создано18/7/2024, 18:48:56 تم النشر ب-18/7/2024, 18:48:56 |
התאמות למשרתי מילואים ותרגילי בית | |
|
שלום לכולכם, אנחנו מקבלים פניות מסטודנטים משרתי מילואים שמעוניינים לדעת אילו התאמות הם זכאים לקבל. לכן אנחנו שולחים מייל על-מנת להבהיר את ההתאמות שמשרתי המילואים מקבלים בנוגע לתרגילי הבית. הסטודנטים שמשרתים במילואים חלק ניכר מהסמסטר, כלומר הסטודנטים ששייכים לקבוצות 2,3 , יקבלו את ההתאמות הבאות בנוגע תרגילי הבית: סטודנטים השייכים לקבוצה 3 יקבלו את מלוא הבונוס על תרגילי הבית (4 נקודות בונוס). סטודנטים השייכים לקבוצה 2 שהחמיצו עד שלושה תרגילי בית יקבלו בונוס על תרגילי בית אלה, כאילו הגישו אותם ועברו בהם. לכן, אם אתם שייכים לקבוצות 2,3 , אז לא צריך לדאוג אם אתם מחמיצים חלק מהתרגילים :) המשך שבוע נעים! |
| עדכון אחרון ב-8/7/2024, 13:15:41 Last updated on 8/7/2024, 13:15:41 Последняя модификация8/7/2024, 13:15:41 تمت الحتلنة الأخيرة ب-8/7/2024, 13:15:41 |
הרצאה של שרי 14.7 | |
|
שלום לכולם, ב-14.7 לא תתקיים ההרצאה של שרי. הרצאת השלמה תתקיים ב-21.7 על ידי מפגש של שעתיים: 14:30-16:30. תודה |
| פורסם ב-8/7/2024, 06:55:55 Created on 8/7/2024, 06:55:55 Создано8/7/2024, 06:55:55 تم النشر ب-8/7/2024, 06:55:55 |
תרגיל בית 2 | |
|
שלום לכולכם, תרגיל בית 2 נמצא כבר באתר. מועד ההגשה הוא 18.07.2024. שיהיה בהצלחה! |
| פורסם ב-4/7/2024, 20:50:52 Created on 4/7/2024, 20:50:52 Создано4/7/2024, 20:50:52 تم النشر ب-4/7/2024, 20:50:52 |
תרגולים השבוע | |
|
שלום לכולכם, מחר (יום שני, 01.07 ) יהיה במתכונת יום ה, ויועבר תרגול עבור הקבוצה של וסים בשעה 12:30-13:30 (תרגול 3), באותו הקישור בזום: https://technion.zoom.us/j/93095172135 ביום רביעי (03.07), יתקיים תרגול השלמה עבור הקבוצה של רומי (תרגול 4) בשעה 12:30-13:30 , באולמן 703. בנוסף, ביום רביעי (03.07), יתקיים גם תרגול השלמה עבור הקבוצה של איתי (תרגול 4), בשעה 18:30-19:30 , והוא יועבר בזום דרך הקישור: https://technion.zoom.us/my/itay.h שאר התרגולים השבוע יתקיימו כרגיל: ביום שלישי 02.07 יתקיים התרגול השלישי עבור הקבוצה של רומי, וביום רביעי 03.07 יתקיים התרגול הרביעי עבור הקבוצה של אדם, וביום חמישי 04.07 יתקיים התרגול הרביעי עבור הקבוצה של וסים. שבוע טוב! |
| פורסם ב-30/6/2024, 14:17:33 Created on 30/6/2024, 14:17:33 Создано30/6/2024, 14:17:33 تم النشر ب-30/6/2024, 14:17:33 |
אין העברת ציוני תרגילי בית מסמסטרים קודמים | |
|
שלום לכולכם, בעקבות שאלות ששאלתם בנוגע להעברת ציוני תרגילי בית, ברצוננו לציין כי לא ניתן להעביר את הבונוס של תרגילי בית מסמסטרים קודמים. במידה והייתם רשומים לקורס בעבר ונרשמתם מחדש, יש להגיש מחדש את תרגילי הבית על-מנת לקבל את הבונוס. דף המידע של הקורס עודכן בהתאם. |
| עדכון אחרון ב-24/6/2024, 23:33:39 Last updated on 24/6/2024, 23:33:39 Последняя модификация24/6/2024, 23:33:39 تمت الحتلنة الأخيرة ب-24/6/2024, 23:33:39 |
תרגולים השבוע | |
|
שלום לכולכם, התרגול רומי השבוע (יום שלישי) מבוטל, ויתקיים תרגול השלמה בשבוע הבא. בנוסף התרגול של וסים השבוע (יום חמישי) מבוטל, בגלל יום יום הסטודנט, ותרגול השלמה יתקיים בשבוע הבא. בנוסף, שימו לב שהלו''ז עודכן . שבוע טוב |
| פורסם ב-23/6/2024, 14:14:42 Created on 23/6/2024, 14:14:42 Создано23/6/2024, 14:14:42 تم النشر ب-23/6/2024, 14:14:42 |
תרגיל בית 1 | |
|
שלום לכולכם, תרגיל בית 1 נמצא כבר באתר. מועד ההגשה הוא 04.07.2024. בנוסף, מועדי שעות הקבלה של המתרגלים עודכנו באתר. שעות הקבלה יתקיימו במשרדים של המתרגלים. הם יתחילו להתקיים החל מהשבוע הבא. במידה ואתם מעוניינים להגיע לשעת קבלה של מתרגל מסוים - יש להודיע על כך מראש למתרגל יום לפני שעת הקבלה. שיהיה בהצלחה! |
| פורסם ב-20/6/2024, 18:07:40 Created on 20/6/2024, 18:07:40 Создано20/6/2024, 18:07:40 تم النشر ب-20/6/2024, 18:07:40 |
Encoding Sudoku using Propositional Logic | |
|
Dear students, The Jupyter notebook for Sudoku appears in the Material section (Lectures -> Week 03). Try to complete the implementation following the slides. There were a few suggestions in class about how the encoding of the problem can be improved. As a small exercise, try to think how the suggestions brought up in class can be formally checked using Logic. We will discuss this next week. Yakir |
| עדכון אחרון ב-19/6/2024, 12:05:42 Last updated on 19/6/2024, 12:05:42 Последняя модификация19/6/2024, 12:05:42 تمت الحتلنة الأخيرة ب-19/6/2024, 12:05:42 |
Tomorrow's Lecture (Wednesday) | |
|
Hello all, For tomorrow's lecture, please bring your laptops with you (for some "hands-on" experience with Logic - if time permits :] ) Yakir |
| פורסם ב-18/6/2024, 22:19:42 Created on 18/6/2024, 22:19:42 Создано18/6/2024, 22:19:42 تم النشر ب-18/6/2024, 22:19:42 |
לוח זמנים עבור הסמסטר | |
|
שלום לכולכם, באתר הקורס ניתן למצוא את הלו''ז עבור הסמסטר, תחת הלשונית Syllabus . שבוע טוב! |
| עדכון אחרון ב-16/6/2024, 10:47:00 Last updated on 16/6/2024, 10:47:00 Последняя модификация16/6/2024, 10:47:00 تمت الحتلنة الأخيرة ب-16/6/2024, 10:47:00 |
ביטול התרגול של איתי השבוע | |
|
שלום לכולם, התרגול של איתי ביום שני 17/6 מבוטל, כדי להישאר בסנכרון עם ההרצאות. תרגול השלמה בזום יתקיים בהמשך, ותצא לגביו הודעה נפרדת. |
| פורסם ב-15/6/2024, 20:26:31 Created on 15/6/2024, 20:26:31 Создано15/6/2024, 20:26:31 تم النشر ب-15/6/2024, 20:26:31 |
התרגול של אדם מחר | |
|
שלום לכולכם, התרגול של אדם מחר יתקיים בשעה 12:30-13:30 באולמן 503. השינוי הוא חד-פעמי. |
| פורסם ב-4/6/2024, 18:53:04 Created on 4/6/2024, 18:53:04 Создано4/6/2024, 18:53:04 تم النشر ب-4/6/2024, 18:53:04 |
שינוי קבוע בכיתה של ההרצאה של שרי | |
|
שלום לכולכם, ההרצאה של שרי (שמתקיימת בימי ראשון באמאדו 223) עוברת באופן קבוע לטאוב 8. |
| פורסם ב-3/6/2024, 18:57:49 Created on 3/6/2024, 18:57:49 Создано3/6/2024, 18:57:49 تم النشر ب-3/6/2024, 18:57:49 |
שינוי כיתה | |
|
שלום לכולם, ההרצאות בימי רביעי (הקבוצה של יקיר) יועברו החל מהשבוע בטאוב 3 (במקום אולמן 702). |
| פורסם ב-3/6/2024, 11:00:04 Created on 3/6/2024, 11:00:04 Создано3/6/2024, 11:00:04 تم النشر ب-3/6/2024, 11:00:04 |
שינוי קבוע בכיתת התרגול של איתי | |
|
שלום לכולם, התרגול של איתי בימי שני ב־12:30 יתקיים באופן קבוע באולמן 701. |
| פורסם ב-2/6/2024, 12:57:56 Created on 2/6/2024, 12:57:56 Создано2/6/2024, 12:57:56 تم النشر ب-2/6/2024, 12:57:56 |
עדכונים | |
|
שלום לכולכם, תחת הקישור links ניתן למצוא: - את המחברת ששרי תכתוב עליה בכיתה ההפוכה. - את הקישור להקלטות של ההרצאות והתרגולים בסמסטר הנוכחי בפנופטו. ההקלטות של של ההרצאות עבור השבועיים הראשונים כבר נמצאות בפנופטו. ההקלטות של התרגולים יועלו מדי שבוע. לכל תרגול יש קובץ handout שמכיל את ההגדרות והמשפטים עבור התרגול הרלוונטי. מוזמנים להדפיס את ה handout לפני כל תרגול ולהביא אותו איתכם לתרגול, ולרשום עליו את התשובות לשאלות. ניתן למצוא את קובץ ה handout עבור התרגול הראשון תחת הלשונית material . שימו לב שהמועדים של התרגולים של וסים ואדם התחלפו באופן קבוע: התרגולים של אדם יתקיימו בימי רביעי ב- 15:30-16:30 . והתרגולים של וסים יתקיימו בימי חמישי ב- 12:30-13:30 . המידע המעודכן נמצא תחת הלשונית staff . שבוע טוב! |
| פורסם ב-2/6/2024, 04:38:35 Created on 2/6/2024, 04:38:35 Создано2/6/2024, 04:38:35 تم النشر ب-2/6/2024, 04:38:35 |
ברוכים הבאים לקורס "לוגיקה למדעי המחשב" | |
|
שלום לכולם וברוכים הבאים לקורס "לוגיקה למדעי המחשב - 234292". אנו בפתחו של סמסטר חדש, בתקופה מורכבת ומאתגרת. להלן מידע שיסייע לכם בהכנה ללימודים בקורס. באתר תמצאו את דף המידע של הקורס, ובו פרטים אודות מבנה הציון, החומר, הגשת התרגילים וכו'. אנא קראו אותו בעיון לפני תחילת הלימודים. כל ההודעות בנוגע לקורס יפורסמו דרך האתר. כל הסטודנטים הרשומים לקורס אמורים לקבל מייל עם ההודעה הזאת. במידה ולא קיבלתם את המייל, אז אתם לא רשומים לקורס, או לא רשומים לרשימת התפוצה. בפורום הקורס בפיאצה ניתן לשאול שאלות כלליות לגבי הקורס, ושאלות לגבי תרגילי הבית. ניתן להצטרף לפורום דרך הקישור הבא: https://piazza.com/technion.ac.il/spring2024/234292 התרגול הראשון יתקיים אחרי ההרצאה הראשונה, כלומר: -כל התרגולים במהלך השבוע הראשון מבוטלים. -התרגולים יתחילו להתקיים החל מ- 03.06.2024 . בכל שבוע במהלך הסמסטר יתקיימו סדנאות במקום שעות קבלה של המתרגלים. בסדנאות ניתן לשאול את המתרגלים לגבי עבודת הבית. אנחנו מעודדים אתכם להגיע לפחות לאחת הסדנאות במהלך השבוע. הסדנאות יתחילו להתקיים רק לאחר פרסום תרגיל הבית הראשון. בקרוב יפורסם לו''ז משוער עבור הקורס ושעות קבלה לצוות הקורס. סיוע בהשפעות המלחמה (מילואים, בני/בנות זוג של משרתי מילואים, מפונים וכו'): הטכניון מפעיל מערך תמיכה מסודר כדי שתוכלו להפיק את המירב מהסמסטר. באתר הקורס נמצא דף עם קישורים למוקדי התמיכה השונים. בנוסף, אתם מוזמנים לפנות אלינו עם מקרים פרטניים הדורשים התייחסות של סגל הקורס, ונשמח לעזור בכל מה שנוכל. מאחלים לכם סמסטר פורה ומחכים לראותכם, סגל הקורס |
| עדכון אחרון ב-26/5/2024, 13:10:21 Last updated on 26/5/2024, 13:10:21 Последняя модификация26/5/2024, 13:10:21 تمت الحتلنة الأخيرة ب-26/5/2024, 13:10:21 |