Upcoming Lecture on Wednesday (23.4) | |
Hello all, We will cover the material of Weeks 3 and 4 in the upcoming lecture on Wednesday (23.4). Moreover, we will have a “Logic Programming” exercise in class, so please bring your laptops. You should have the following installed: 1. Visual Studio Code 2. Python 3. Jupyter Notebook |
פורסם ב-19/4/2025, 13:34:34 Created on 19/4/2025, 13:34:34 Создано19/4/2025, 13:34:34 تم النشر ب-19/4/2025, 13:34:34 |
תרגול ההשלמה לקבוצה של רומי | |
ערב טוב וחג שמח, תרגול ההשלמה של רומי יתקיים ביום ראשון הקרוב, ה-20.4, בשעה 16:30 בכיתה טאוב 7. |
פורסם ב-15/4/2025, 19:44:56 Created on 15/4/2025, 19:44:56 Создано15/4/2025, 19:44:56 تم النشر ب-15/4/2025, 19:44:56 |
דחיית התרגול של רומי מחר | |
לילה טוב, התרגול של רומי מחר לא יתקיים, ויושלם לאחר פסח. זמן ומיקום יעודכנו בהמשך. |
פורסם ב-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 |