שאלון לעבודה עצמית שבוע 6 | |
שלום לכולם, בלינק המצורף תוכלו למצוא שאלון לעבודה עצמית עבור שבוע 6. יש צורך בלוגין טכניוני. השאלון אנונימי, ותוכלו למלא אותו מספר פעמים כרצונכם. https://forms.office.com/r/UqFpi7Adpf קרן |
| פורסם ב- 1/12/2021, 13:58:35 Created on 1/12/2021, 13:58:35 Создано 1/12/2021, 13:58:35 تم النشر ب- 1/12/2021, 13:58:35 |
HW2 | |
| HW2 was published under the 'Assignments' tab. The due date is Sunday, December 12th, at 23:55. |
| פורסם ב- 25/11/2021, 11:43:00 Created on 25/11/2021, 11:43:00 Создано 25/11/2021, 11:43:00 تم النشر ب- 25/11/2021, 11:43:00 |
שאלון לעבודה עצמית שבוע 5 | |
שלום לכולם, בלינק המצורף תוכלו למצוא שאלון לעבודה עצמית עבור שבוע 5. יש צורך בלוגין טכניוני. השאלון אנונימי, ותוכלו למלא אותו מספר פעמים כרצונכם. https://forms.office.com/r/nAK4EeWyHe קרן |
| פורסם ב- 16/11/2021, 11:54:02 Created on 16/11/2021, 11:54:02 Создано 16/11/2021, 11:54:02 تم النشر ب- 16/11/2021, 11:54:02 |
Workshops | |
| Each week, we will give workshops instead of the TAs' office hours. In the workshop you can consult a TA regarding your homework. You are encouraged to attend at least one workshop per week. The workshops details appear under 'Staff'. |
| פורסם ב- 14/11/2021, 17:25:29 Created on 14/11/2021, 17:25:29 Создано 14/11/2021, 17:25:29 تم النشر ب- 14/11/2021, 17:25:29 |
HW1 | |
| HW1 was published under the 'Assignments' tab. The due date is Thursday, November 25th, at 23:55. |
| פורסם ב- 14/11/2021, 17:18:05 Created on 14/11/2021, 17:18:05 Создано 14/11/2021, 17:18:05 تم النشر ب- 14/11/2021, 17:18:05 |
שאלון לעבודה עצמית שבוע 4 | |
שלום לכולם, בלינק המצורף תוכלו למצוא שאלון לעבודה עצמית עבור שבוע 4. יש צורך בלוגין טכניוני. השאלון אנונימי, ותוכלו למלא אותו מספר פעמים כרצונכם. https://forms.office.com/r/YjmzqqHgzq קרן |
| פורסם ב- 14/11/2021, 08:26:09 Created on 14/11/2021, 08:26:09 Создано 14/11/2021, 08:26:09 تم النشر ب- 14/11/2021, 08:26:09 |
שאלון לעבודה עצמית שבוע 3 | |
| בשאלה 3 נפלה שגיאה והיא תוקנה עכשיו, מוזמנים לעבור עליה שוב. .תודה לסטודנט שהביא לתשומת ליבי את השגיאה |
| פורסם ב- 3/11/2021, 16:43:19 Created on 3/11/2021, 16:43:19 Создано 3/11/2021, 16:43:19 تم النشر ب- 3/11/2021, 16:43:19 |
שאלון לעבודה עצמית שבוע 3 | |
| שלום לכולם, בלינק המצורף תוכלו למצוא שאלון לעבודה עצמית עבור שבוע 3. יש צורך בלוגין טכניוני. השאלון אנונימי, ותוכלו למלא אותו מספר פעמים כרצונכם. https://forms.office.com/r/zpnSTDHQsA קרן |
| פורסם ב- 3/11/2021, 10:45:27 Created on 3/11/2021, 10:45:27 Создано 3/11/2021, 10:45:27 تم النشر ب- 3/11/2021, 10:45:27 |
קשר מרכזי בפסוק | |
| הבהרה לגבי המונח "קשר מרכזי" בפסוק: משפט הקריאה היחידה (סרטון מספר 8 בשבוע 2) אומר שלכל פסוק אלפא, מתקיים בדיוק אחד מתוך שלושה תנאים. למעט אם אלפא הוא אטום, התנאי המתאים לאלפא מתייחס לקשר כלשהו, וזהו הקשר המרכזי באלפא. |
| פורסם ב- 2/11/2021, 16:34:48 Created on 2/11/2021, 16:34:48 Создано 2/11/2021, 16:34:48 تم النشر ب- 2/11/2021, 16:34:48 |
Gali's tutorial | |
| Gali's tutorial (Monday, 12:30-13:30) was moved to Ulman 701. This change is permanent. |
| עדכון אחרון ב- 1/11/2021, 09:34:30 Last updated on 1/11/2021, 09:34:30 Последняя модификация 1/11/2021, 09:34:30 تمت الحتلنة الأخيرة ب- 1/11/2021, 09:34:30 |
שאלון לעבודה עצמית | |
| שבוע טוב, בלינק המצורף תוכלו למצוא שאלון לעבודה עצמית. יש צורך בלוגין טכניוני. השאלון אנונימי, ותוכלו למלא אותו מספר פעמים כרצונכם. https://forms.office.com/r/73KZnikeVg קרן |
| פורסם ב- 31/10/2021, 07:53:41 Created on 31/10/2021, 07:53:41 Создано 31/10/2021, 07:53:41 تم النشر ب- 31/10/2021, 07:53:41 |
הקלטה שבוע 1 | |
לצערי, בשל תקלות הרשת האלחוטית היום, ההקלטה של השבוע הראשון אינה תקינה. במקום זה אתם מוזמנים לצפות בהקלטה מסמסטר אחר, שהחומר המועבר בה זהה. שימו לב שההנחיות לגבי ימי ושעות הפעילות בתחילת ההקלטה אינן עבור הסמסטר הנוכחי. ההנחיות עבור הסמסטר הנוכחי: יש לצפות בחומר של כל שבוע לפני שעת ההרצאה של אותו שבוע. ניפגש בשעה 10:30 (בימי שני או שלישי לפי הקבוצה שלכם) לשיעור יחיד של למידה פעילה. שיעור הלמידה הפעילה יועבר בזום אך לא יוקלט. אני ממליצה להגיע לכיתה באופן פיזי. קרן |
| פורסם ב- 26/10/2021, 18:21:42 Created on 26/10/2021, 18:21:42 Создано 26/10/2021, 18:21:42 تم النشر ب- 26/10/2021, 18:21:42 |
דוגמה לאי שייכות לקבוצה אינדוקטיבית | |
בלשונית של חומר הקורס תוכלו למצוא הוכחה מפורשת של הדוגמה לאי שייכות של איבר לקבוצה אינדוקטיבית שלא הספקנו לכתוב בצורה פורמלית בגלל בעיות הרשת האלחוטית. קרן |
| פורסם ב- 26/10/2021, 12:47:54 Created on 26/10/2021, 12:47:54 Создано 26/10/2021, 12:47:54 تم النشر ب- 26/10/2021, 12:47:54 |
Online Lectures | |
| The link for watching the online lectures is: https://panoptotech.cloud.panopto.eu/Panopto/Pages/Sessions/List.aspx?folderID=2f47ef9e-63e4-4e15-a3b0-ac4e007f9823 The uploaded lectures are organized by week numbers. The recorded tutorials will also be uploaded, by the end of each week. |
| פורסם ב- 25/10/2021, 15:35:41 Created on 25/10/2021, 15:35:41 Создано 25/10/2021, 15:35:41 تم النشر ب- 25/10/2021, 15:35:41 |
Gali's tutorial today | |
| Gali's tutorial today (12:30-13:30) will be held at Ullman 801. This is a one time change. |
| פורסם ב- 25/10/2021, 09:18:00 Created on 25/10/2021, 09:18:00 Создано 25/10/2021, 09:18:00 تم النشر ب- 25/10/2021, 09:18:00 |
Slides for lecture 1 | |
You are welcome to download the slides for lecture 1 from the ' course material' tab. This is a template that we will fill in together during class. See you in class, Keren |
| פורסם ב- 25/10/2021, 08:59:31 Created on 25/10/2021, 08:59:31 Создано 25/10/2021, 08:59:31 تم النشر ب- 25/10/2021, 08:59:31 |
The Monday Lecture | |
| The Monday lecture (10:30-12:30) was moved to Amado 233. This change is permanent. |
| פורסם ב- 24/10/2021, 22:45:06 Created on 24/10/2021, 22:45:06 Создано 24/10/2021, 22:45:06 تم النشر ب- 24/10/2021, 22:45:06 |
Welcome to Logic for CS! | |
| Dear students, Welcome to the course "Logic for CS" (234292). All course announcements will be published on the course site and through this mailing list. Each student registered to the course should have gotten this mail. Those who haven't gotten it are probably not registered, or are not on the mailing list. Please take a few moments to carefully read the info page that can be found under the 'Syllabus' section of the website. The first tutorial will take place after the first lecture: - The tutorial on Sunday, October 24th, is cancelled. The first Sunday tutorial will be held on October 31th. - If you wish to attend one of the Monday tutorials, please attend the Monday lecture. Each week we will give workshops instead of the TAs' office hours. In the workshop you can consult a TA regarding your homework. You are encouraged to attend at least one workshop per week. There will be no workshops before the publication of the first home assignment. Please send all of your administrative questions via your semester representative. Individual questions will not be answered. We wish you a fruitful and enjoyable semester, The course staff |
| עדכון אחרון ב- 17/10/2021, 12:30:40 Last updated on 17/10/2021, 12:30:40 Последняя модификация 17/10/2021, 12:30:40 تمت الحتلنة الأخيرة ب- 17/10/2021, 12:30:40 |