שבועות 12-13 | |
|
בוקר טוב, בהתאם להנחיות החדשות: 1. הגדרת יחסים במבנה תרד מהחומר לבחינה ולא נעבור על נושא זה בתרגולים. 2. הקלטות עדכניות להרצאה הקרובה של יקיר נמצאות כעת באתר תחת לשונית "קישורים", אנו מודעים להתראה המאוחרת - אנא נסו להשלים אותן בזמן. 3. תרגול 12 יהיה על טרנספורמציית צייטין ומערכות הוכחה מבוססות רזולוציה. 4. תרגול והרצאה 13 יהוו חזרה על החומר. |
| פורסם ב-23/6/2025, 11:06:56 Created on 23/6/2025, 11:06:56 Создано23/6/2025, 11:06:56 تم النشر ب-23/6/2025, 11:06:56 |
מספר הודעות | |
|
אחר הצהריים טובים, 1. מועד הגשת גיליון 5 נדחה ל-13.7. שימו לב שלמי מכם שמעוניינים לקבל משוב בזמן רלוונטי לפני הבחינה, השארנו אפשרות להגיש במועד המקורי - נעשה מאמצים גם עבור מי שיגיש במועד המאוחר, אך זה עדיין עשוי להיות רק לאחר הבחינה עצמה. 2. בשבוע הבא נמשיך בהוראה מקוונת בזמנים הרגילים. קישורים לזום יפורסמו תחת לשונית "סגל" בקרוב. לאלו מכם שעדיין לא עשו זאת, אנא נסו להשלים את תרגול 10 לפני מועד התרגול הבא. 3. נכון לעכשיו אין שינוי באורך הסמסטר. במהלך שבוע הבא נפרסם מידע לגבי השבועיים האחרונים והתוכן שלהם. אנו זמינים עבורכם היכן שאפשר, ומזמינים אתכם להיעזר בנו בפיאצה ובשעות הקבלה בכל מקרה בו יעלה הצורך. סופ"ש רגוע ובטוח, צוות הקורס |
| עדכון אחרון ב-20/6/2025, 18:03:02 Last updated on 20/6/2025, 18:03:02 Последняя модификация20/6/2025, 18:03:02 تمت الحتلنة الأخيرة ب-20/6/2025, 18:03:02 |
קישור להרצאה של יקיר | |
|
אחר הצהריים שקטים, קישור להרצאה של יקיר מחר - https://technion.zoom.us/j/92125389840 |
| פורסם ב-17/6/2025, 17:22:00 Created on 17/6/2025, 17:22:00 Создано17/6/2025, 17:22:00 تم النشر ب-17/6/2025, 17:22:00 |
המשך התרגולים השבוע | |
|
לילה טוב, התרגולים של רומי ושל אסף לא יתקיימו השבוע. להלן קישורים לתרגולים של וידאד ומוסטפא: התרגול של וידאד - https://technion.zoom.us/j/98580048678 התרגול של מוסטפא - https://technion.zoom.us/j/98620562213 ההרצאה של יקיר ביום רביעי תתקיים, קישור יפורסם מחר. |
| עדכון אחרון ב-16/6/2025, 23:43:23 Last updated on 16/6/2025, 23:43:23 Последняя модификация16/6/2025, 23:43:23 تمت الحتلنة الأخيرة ب-16/6/2025, 23:43:23 |
מספר הודעות לגבי הימים הקרובים | |
|
ערב טוב, להלן מספר הודעות. 1. הלימודים מחר וביום ב' יתקיימו במתכונת מקוונת בלבד. ההרצאה של שרי מחר תתקיים בזום (https://us02web.zoom.us/my/sarai.braude?pwd=akxqR0U5RWpPUGlUdCthRkk4eHRTQT09), התרגול של אדם לא יתקיים – הקלטה מתאימה עלתה לאתר. 2. לגבי המשך השבוע אנו ממתינים להנחיות נוספות, אך נערכים להוראה מקוונת. 3. לאלו מכם שמעוניינים בהסחת הדעת, תרגיל 5 פתוח כעת, וכן פתחנו את רשימות והקלטת תרגול 11 בנוסף לתרגול 10. 4. משובים ופתרון לגיליון 4 יעלו לאתר בקרוב. מורכבות המצב ברורה לנו ואנו מודעים לקשיים שהימים האחרונים הביאו איתם. אנו זמינים במייל ובפיאצה, ומנסים לייצר המשך סמסטר מאפשר עד כמה שניתן. שבוע שקט ושפוי, סגל הקורס |
| פורסם ב-14/6/2025, 21:50:23 Created on 14/6/2025, 21:50:23 Создано14/6/2025, 21:50:23 تم النشر ب-14/6/2025, 21:50:23 |
ביטול שעת הקבלה של וידאד מחר | |
|
אחר הצהריים טובים, באופן חד פעמי שעת הקבלה של וידאד לא תתקיים מחר. במידת הצורך הנכם מוזמנים להיעזר בנו בפורום הפיאצה. |
| פורסם ב-10/6/2025, 17:10:33 Created on 10/6/2025, 17:10:33 Создано10/6/2025, 17:10:33 تم النشر ب-10/6/2025, 17:10:33 |
משובים לגיליון 3 ופתיחת גיליון 5 | |
|
שבוע טוב, ציונים ומשובים לגיליון 3 עלו לאתר. גיליון 5 יפורסם בהמשך, כשנכסה בכיתה את החומר הרלוונטי לתחילת העבודה עליו. |
| פורסם ב-8/6/2025, 14:47:49 Created on 8/6/2025, 14:47:49 Создано8/6/2025, 14:47:49 تم النشر ب-8/6/2025, 14:47:49 |
משובים לגיליון 2 | |
|
צוהריים טובים, משובים לגיליון 2 זמינים כעת באתר. שימו לב לשתי טעויות שחזרו על עצמן בהרבה פתרונות של שאלה 6: 1. שימוש ב"פסוק אינסופי" על מנת להפריד השמות. 2. שלילה לא נכונה של ההגדרה של קבוצה ניתנת להפרדה. שימו לב ששאלה 6 היא שאלה ממבחן עבר וזו הזדמנות טובה עבורכם להפיק לקחים מן המשוב שקיבלתם עליה! |
| פורסם ב-3/6/2025, 12:53:02 Created on 3/6/2025, 12:53:02 Создано3/6/2025, 12:53:02 تم النشر ب-3/6/2025, 12:53:02 |
משובים לגיליון 1 ופתיחת תרגיל 4 | |
|
צוהריים טובים, 1. משובים וציונים לגיליון 1 פורסמו, אנו ממליצים לעבור על המשוב שקיבלתם לעומק - זו עיקר מטרת תרגילי הבית. 2. למען מי שרוצים להתחיל לתרגל שלמות, תרגיל 4 נפתח לצפייה. שימו לב שעם שאלה 4 והלאה מומלץ לחכות לאחרי תרגול 8. |
| עדכון אחרון ב-22/5/2025, 14:01:48 Last updated on 22/5/2025, 14:01:48 Последняя модификация22/5/2025, 14:01:48 تمت الحتلنة الأخيرة ب-22/5/2025, 14:01:48 |
תיקונים בגיליון 3 | |
|
צוהריים טובים, שימו לב לתיקוני ניסוח בגיליון 3 שאלה 6. |
| עדכון אחרון ב-15/5/2025, 13:24:05 Last updated on 15/5/2025, 13:24:05 Последняя модификация15/5/2025, 13:24:05 تمت الحتلنة الأخيرة ب-15/5/2025, 13:24:05 |
אי-קיום התרגולים מחר | |
|
אחר הצהריים טובים, להזכירכם - מחר מתקיים יריד התעסוקה בטכניון ועל כן לא יתקיימו לימודים, ובפרט התרגולים של אסף ושל מוסטפא. |
| פורסם ב-12/5/2025, 17:10:04 Created on 12/5/2025, 17:10:04 Создано12/5/2025, 17:10:04 تم النشر ب-12/5/2025, 17:10:04 |
תרגיל בית 3 | |
|
צהריים טובים, לטובת מי שכבר סיימו עם תרגיל בית 2 ורוצים להתחיל לתרגל הוכחות פורמליות, אנו מפרסמים את גיליון 3 מבעוד מועד. מועד ההגשה שלו עדיין יתקיים בעוד שבועיים מיום ב' הקרוב, כלומר ב26.5. נזכיר כי ההגשה היא בזוגות או בשלשות. בהצלחה! |
| פורסם ב-9/5/2025, 11:12:52 Created on 9/5/2025, 11:12:52 Создано9/5/2025, 11:12:52 تم النشر ب-9/5/2025, 11:12:52 |
תזכורת - התרגול של רומי מחר לא יתקיים | |
| להזכירכם התרגול של רומי מחר לא יתקיים, ובמקומו יתקיים תרגול ביום ראשון הקרוב בשעה 16:30. |
| פורסם ב-7/5/2025, 16:42:03 Created on 7/5/2025, 16:42:03 Создано7/5/2025, 16:42:03 تم النشر ب-7/5/2025, 16:42:03 |
הרצאה של יקיר - 7.5 - עדכון | |
|
שלום לכולם, ההרצאה של יקיר ביום רביעי הקרוב תתקיים כסדרה. ההודעה הקודמת בנושא בטלה. |
| עדכון אחרון ב-5/5/2025, 11:42:24 Last updated on 5/5/2025, 11:42:24 Последняя модификация5/5/2025, 11:42:24 تمت الحتلنة الأخيرة ب-5/5/2025, 11:42:24 |
הרצאה של יקיר - 7.5 | |
|
שלום לכולם, השבוע לא תתקיים הרצאה ביום רביעי, ה-7.5. בשבוע שלאחר מכן (14.5), תועבר הרצאה של שעתיים (שבוע 5+6). |
| פורסם ב-2/5/2025, 15:33:32 Created on 2/5/2025, 15:33:32 Создано2/5/2025, 15:33:32 تم النشر ب-2/5/2025, 15:33:32 |
תרגיל 2 | |
|
בוקר טוב, תרגיל בית 2 עלה לאתר ולהגשה בעוד שבועיים. שימו לב כי ההגשה היא בזוגות או בשלשות, הגשות ביחידים לא יבדקו. |
| פורסם ב-28/4/2025, 10:58:55 Created on 28/4/2025, 10:58:55 Создано28/4/2025, 10:58:55 تم النشر ب-28/4/2025, 10:58:55 |
תיקון להודעה הקודמת | |
|
אחר הצהריים טובים, שימו לב לתיקון בהודעה הקודמת - השבוע אין לימודים ברביעי ובחמישי בעקבות יום הזיכרון ויום העצמאות. |
| פורסם ב-27/4/2025, 17:37:56 Created on 27/4/2025, 17:37:56 Создано27/4/2025, 17:37:56 تم النشر ب-27/4/2025, 17:37:56 |
תרגולי השלמה לקבוצה של רומי בשבועיים הקרובים | |
|
צהריים טובים, בשבוע הבא וזה שאחריו יתקיימו שני תרגולים לקבוצה של רומי בימי ראשון: - 4.5 בשעה 16:30-17:30 (טאוב 2) - 11.5 בשעה 16:30-17:30 (טאוב 9) השבוע ושבוע הבא לא יתקיים תרגול ביום חמישי. פירוט מסודר נמצא גם בקובץ הלו"ז המעודכן, תחת לשונית "סילבוס". |
| עדכון אחרון ב-27/4/2025, 17:38:30 Last updated on 27/4/2025, 17:38:30 Последняя модификация27/4/2025, 17:38:30 تمت الحتلنة الأخيرة ب-27/4/2025, 17:38:30 |
דחיית התרגול של רומי מחר | |
|
לילה טוב, התרגול של רומי מחר לא יתקיים, ויושלם לאחר פסח. זמן ומיקום יעודכנו בהמשך. |
| פורסם ב-9/4/2025, 21:41:45 Created on 9/4/2025, 21:41:45 Создано9/4/2025, 21:41:45 تم النشر ب-9/4/2025, 21:41:45 |
תרגיל בית 1 | |
|
אחר הצהריים טובים, 1. תרגיל בית 1 פורסם ולהגשה ב23.4. שימו לב להנחיות הגשת תרגילים המפורסמות בדף המידע של הקורס. נדגיש כי הגשות ביחידים לא יבדקו. 2. מועדי ומיקומי שעות קבלה יפורסמו בקרוב. 3. בהתאם לדף המידע של הקורס, סטודנטים המבצעים לפחות 3 ימי מילואים במהלך זמן העבודה על הגיליון (ממועד פרסומו ועד מועד ההגשה המאוחרת) פתורים מהגשתו ויקבלו עבורו את נקודת הבונוס ללא תלות בציון על ההגשה שלהם אם בחרו להגיש בכל זאת (הגישו טופס אישור מילואים יחד/במקום פתרונכם על מנת לקבל אותה). סטודנטים בקבוצות מילואים 2-3 זכאים להתאמה זו עבור כלל התרגילים במהלך הסמסטר. שימו לב שאם אתם מגישים בקבוצה בה רק חלק מהסטודנטים זכאים להתאמה, התאמה זו תחול רק על אותם סטודנטים. בכל מקרה מומלץ להגיש פתרון (אפילו חלקי) על מנת לקבל משוב כלשהו לפני הבחינה. |
| פורסם ב-4/4/2025, 17:22:35 Created on 4/4/2025, 17:22:35 Создано4/4/2025, 17:22:35 تم النشر ب-4/4/2025, 17:22:35 |
תרגול השלמה של מוסטפא ומיקום ההרצאה של שרי שבוע הבא | |
|
צהריים טובים, 1. תרגול ההשלמה של מוסטפא יתקיים ביום ראשון הקרוב (6.4) בשעה 16:30, באולמן 302. 2. שימו לב לשינוי חד פעמי במיקום ההרצאה הקרובה של שרי (6.4) - דייויס מכונות 250. |
| פורסם ב-1/4/2025, 12:06:09 Created on 1/4/2025, 12:06:09 Создано1/4/2025, 12:06:09 تم النشر ب-1/4/2025, 12:06:09 |
התרגול של מוסטפא | |
|
ערב טוב, התרגול של מוסטפא השבוע לא יתקיים, ויושלם ביום ראשון בשעה 16:30. כיתת ההשלמה תפורסם בהמשך. |
| פורסם ב-31/3/2025, 19:39:53 Created on 31/3/2025, 19:39:53 Создано31/3/2025, 19:39:53 تم النشر ب-31/3/2025, 19:39:53 |
הרצאות ותרגולים | |
|
אחר הצהריים טובים, 1. ההרצאות של שרי יתקיימו הסמסטר במתכונת רגילה (ולא כ"כיתה הפוכה"). ההרצאות של יקיר יתקיימו במתכונת כיתה הפוכה. פרטים נוספים בקובץ המידע תחת לשונית "סילבוס" - אנא ודאו כי קראתם קובץ זה בעיון, שכן יש בו מידע חשוב נוסף. 2. למעט התרגול של אדם שיתקיים באופן היברידי, התרגולים הינם פרונטליים. כמדי שבוע יעלו לאתר רשימות לתרגולים (תחת לשונית "חומר המקצוע") - זהו החומר המחייב לסמסטר מבחינת התרגולים. קישור לשיעור של אדם תוכלו למצוא תחת הלשונית "סגל". |
| עדכון אחרון ב-30/3/2025, 17:17:40 Last updated on 30/3/2025, 17:17:40 Последняя модификация30/3/2025, 17:17:40 تمت الحتلنة الأخيرة ب-30/3/2025, 17:17:40 |
חומר עזר להרצאות של שרי | |
|
אחר הצהריים טובים, 1. בלשונית "חומר הקורס" בתיקיית הרצאות תוכלו למצוא קובץ עזר להרצאה של שרי ביום ראשון. תוכלו למלא את החלקים החסרים במהלך ההרצאה. לאורך הסמסטר יפורסמו שלדים כנ"ל לקראת כל הרצאה. 2. בשבוע הבא יתקיימו ההרצאות והתרגולים הראשונים כסדרם. שימו לב שהתרגולים מניחים כי כבר נפגשתם עם ההגדרות (בהרצאה של שרי או בסרטוני הכיתה ההפוכה), על כן ודאו כי אתם אכן מגיעים לתרגול מוכנים וכי עברתם על החומר הרלוונטי מבעוד מועד. למי שבכיתה ההפוכה, הסרטונים הם הכנה מספקת עבור התרגול. |
| עדכון אחרון ב-27/3/2025, 15:40:17 Last updated on 27/3/2025, 15:40:17 Последняя модификация27/3/2025, 15:40:17 تمت الحتلنة الأخيرة ب-27/3/2025, 15:40:17 |
ברוכים הבאים לקורס "לוגיקה למדעי המחשב" | |
|
שלום לכולם וברוכים הבאים לקורס "לוגיקה למדעי המחשב - 234292". אנו בפתחו של סמסטר חדש, בתקופה מורכבת ומאתגרת. להלן מידע שיסייע לכם בהכנה ללימודים בקורס. באתר תמצאו את דף המידע של הקורס, ובו פרטים אודות מבנה הציון, החומר, הגשת התרגילים וכו'. אנא קראו אותו בעיון לפני תחילת הלימודים. כל ההודעות בנוגע לקורס יפורסמו דרך האתר. כל הסטודנטים הרשומים לקורס אמורים לקבל מייל עם ההודעה הזאת. במידה ולא קיבלתם את המייל אתם לא רשומים לקורס, או לא רשומים לרשימת התפוצה. לו"ז עקרוני לסמסטר נמצא תחת הלשונית "סילבוס". שאלות כלליות לגבי הקורס, ושאלות לגבי תרגילי הבית יש לשאול בפורום הקורס בפיאצה. ניתן להצטרף לפורום דרך הקישור הבא: https://piazza.com/technion.ac.il/spring2025/234292 ישנם מספר שינויים לעומת הסמסטרים האחרונים: 1. הוספת חומר לתרגולים (שלמות מערכות קשרים והוכחות פורמליות). 2. רשימות לקורס ובונוס לציון על מציאת טעויות - עוד מידע מופיע בדף המידע בלשונית "סילבוס". 3. אחת משאלות המבחן תהיה ברוח (דומה אך לא בהכרח זהה) שאלה משיעורי הבית או התרגולים. סיוע בהשפעות המלחמה (מילואים, בני/בנות זוג של משרתי מילואים, מפונים וכו'): הטכניון מפעיל מערך תמיכה מסודר כדי שתוכלו להפיק את המירב מהסמסטר. בנוסף, אתם מוזמנים לפנות אלינו עם מקרים פרטניים הדורשים התייחסות של סגל הקורס, ונשמח לעזור בכל מה שנוכל. זוהי תקופה מורכבת עבור כולנו - נעשה את מירב המאמצים על מנת לאפשר את התקדמותכם בלימודים בצורה השפויה ביותר. מאחלים לכם סמסטר פורה ומחכים לראותכם, סגל הקורס |
| עדכון אחרון ב-26/3/2025, 18:19:38 Last updated on 26/3/2025, 18:19:38 Последняя модификация26/3/2025, 18:19:38 تمت الحتلنة الأخيرة ب-26/3/2025, 18:19:38 |