
Moed A | |
Dear students, Moed A will be held online on Sunday, February 7th, at 13:00. Instead of a 2.5 hours exam, we cut it down to a 1.5 hours exam. The exam will not include a question from the home assignments. You can find the Daf Ezer for the exam under the Course Material tab. Notice that you cannot print the DAF EZER in advance. It will be attached to the exam. More exam details will be published soon. Please send all of your administrative questions via your semester representative. Individual questions will not be answered. We will hold special reception hours before the exam: Keren - Sunday 31/01 09:00-10:00. Link: https://technion.zoom.us/j/97579734876 Ron - Monday 01/02 11:30-12:30. Link: https://technion.zoom.us/j/91487434124 Gali - Tuesday 02/02 11:30-12:30. Link: https://technion.zoom.us/j/91013989005 Waseem - Wednesday 03/02 10:30-11:30. Link: https://technion.zoom.us/j/96971992864 Gali - Thursday 04/02 10:30-11:30. Link: https://technion.zoom.us/j/91013989005 You are requested to send your questions by email in advance. Other questions will not be answered. Good luck, The course staff |
עדכון אחרון ב- 22/1/2021, 10:23:37 Last updated on 22/1/2021, 10:23:37 Последняя модификация 22/1/2021, 10:23:37 تمت الحتلنة الأخيرة ب- 22/1/2021, 10:23:37 |

Omer will hold a complementary tutorial | |
Omer will hold a complementary tutorial on Wednesday, January 27th, at 17:30. |
פורסם ב- 21/1/2021, 14:31:33 Created on 21/1/2021, 14:31:33 Создано 21/1/2021, 14:31:33 تم النشر ب- 21/1/2021, 14:31:33 |
Gali's tutorial on Wednesday | |
Gali will hold a complementary tutorial (for her Wednesday group) on Wednesday, January 20th, at 11:30 (right after the regular tutorial, which will be held as usual). |
עדכון אחרון ב- 17/1/2021, 17:08:01 Last updated on 17/1/2021, 17:08:01 Последняя модификация 17/1/2021, 17:08:01 تمت الحتلنة الأخيرة ب- 17/1/2021, 17:08:01 |
Lecture 12 | |
In the "material" tab, you can find a file with a skeleton for taking notes for lecture 12. |
פורסם ב- 17/1/2021, 09:53:06 Created on 17/1/2021, 09:53:06 Создано 17/1/2021, 09:53:06 تم النشر ب- 17/1/2021, 09:53:06 |
HW5 | |
HW5 was published under the 'Assignments' tab. The due date is Tuesday, January 26th, at 23:55. |
פורסם ב- 13/1/2021, 21:07:08 Created on 13/1/2021, 21:07:08 Создано 13/1/2021, 21:07:08 تم النشر ب- 13/1/2021, 21:07:08 |
Gali's workshop | |
Gali's workshop tomorrow (12/01) is cancelled. She will give a two hour workshop on Wednesday (13/01, at 14:30-16:30), instead. This is a one time change. |
פורסם ב- 11/1/2021, 09:30:35 Created on 11/1/2021, 09:30:35 Создано 11/1/2021, 09:30:35 تم النشر ب- 11/1/2021, 09:30:35 |
Gali's workshop | |
Gali's workshop tomorrow is cancelled. She will give a two hour workshop today (16:30-18:30), instead. This is a one time change. |
פורסם ב- 5/1/2021, 11:32:50 Created on 5/1/2021, 11:32:50 Создано 5/1/2021, 11:32:50 تم النشر ب- 5/1/2021, 11:32:50 |
הרצאות בשבועות 12-13 | |
שלום לכולם, מתכונת ההרצאות בשבועות 12-13 תהיה בצורה רגילה בזום (כמו בשבוע 1), כלומר החומר לא יוקלט מראש אלא יילמד בין השעות 10:30-12:30 בימים א׳,ב׳ בלינקים הרגילים. ההרצאות תוקלטנה ולאחר השיעור יועלה הוידאו ללינק הפנופטו הרגיל. שבוע 11 (השבוע הבא) מתנהל עדיין במתכונת של שבועות 2-10 והחומר כבר זמין לצפיה מזה מספר ימים. שימו לב שבתרגיל האחרון בחומר לצפיה בשבוע 11, צריך גם לטפל בנפרד במקרה k=1 , ולא רק במקרה k=0. אני משאירה לכם להשלים את הפרטים וכמובן מוזמנים לשאול בזום. בברכה, קרן |
פורסם ב- 3/1/2021, 14:22:25 Created on 3/1/2021, 14:22:25 Создано 3/1/2021, 14:22:25 تم النشر ب- 3/1/2021, 14:22:25 |
HW4 | |
HW4 was published under the 'Assignments' tab. The due date is Wednesday, January 13th, at 23:55. |
פורסם ב- 30/12/2020, 22:38:36 Created on 30/12/2020, 22:38:36 Создано 30/12/2020, 22:38:36 تم النشر ب- 30/12/2020, 22:38:36 |
Complementary tutorial and workshop for Ron's group | |
Ron's tutorial and workshop on Sunday, January 3rd, are cancelled. He will hold a complementary tutorial on Thursday, January 7th, at 13:30-14:30, and a complementary workshop on Thursday, January 7th, at 14:30-15:30. This is a one time change. |
פורסם ב- 29/12/2020, 17:59:41 Created on 29/12/2020, 17:59:41 Создано 29/12/2020, 17:59:41 تم النشر ب- 29/12/2020, 17:59:41 |
Ron will give a complementary workshop tomorrow | |
Ron will give a complementary workshop tomorrow (December 24th) at 12:30. Zoom link: https://technion.zoom.us/j/91487434124 |
פורסם ב- 23/12/2020, 13:31:44 Created on 23/12/2020, 13:31:44 Создано 23/12/2020, 13:31:44 تم النشر ب- 23/12/2020, 13:31:44 |
Ron's workshop | |
Ron's workshop today (15:30-16:30) is cancelled. A complementary workshop will be announced soon. This is a one time change. |
פורסם ב- 20/12/2020, 14:32:43 Created on 20/12/2020, 14:32:43 Создано 20/12/2020, 14:32:43 تم النشر ب- 20/12/2020, 14:32:43 |
HW3 | |
HW3 was published under the 'Assignments' tab. The due date is Wednesday, December 30th, at 23:55. |
פורסם ב- 10/12/2020, 08:52:27 Created on 10/12/2020, 08:52:27 Создано 10/12/2020, 08:52:27 تم النشر ب- 10/12/2020, 08:52:27 |
Gali's workshop | |
Gali's workshop tomorrow is cancelled. She will give a two hour workshop today (16:30-18:30), instead. This is a one time change. |
פורסם ב- 1/12/2020, 14:26:32 Created on 1/12/2020, 14:26:32 Создано 1/12/2020, 14:26:32 تم النشر ب- 1/12/2020, 14:26:32 |
Waseem's tutorial today | |
Gali will hold Waseem's tutorial today (at 12:30), using her regular zoom link: https://technion.zoom.us/j/91013989005 Notice that Adar's tutorial and both workshops will be given as usual, and that this is a one time change. |
פורסם ב- 23/11/2020, 09:08:01 Created on 23/11/2020, 09:08:01 Создано 23/11/2020, 09:08:01 تم النشر ب- 23/11/2020, 09:08:01 |
HW2 | |
HW2 was published under the 'Assignments' tab. The due date is Wednesday, December 9th, at 23:55. |
פורסם ב- 19/11/2020, 00:05:07 Created on 19/11/2020, 00:05:07 Создано 19/11/2020, 00:05:07 تم النشر ب- 19/11/2020, 00:05:07 |
The tutorials today | |
Waseem will hold both tutorials today (his regular tutorial at 12:30 and Adar's tutorial at 15:30), using his regular zoom link: https://technion.zoom.us/j/99185555780 Notice that both workshops will be given as usual, and that this is a one time change. |
פורסם ב- 16/11/2020, 08:37:53 Created on 16/11/2020, 08:37:53 Создано 16/11/2020, 08:37:53 تم النشر ب- 16/11/2020, 08:37:53 |
HW1 | |
HW1 was published under the 'Assignments' tab. The due date is Wednesday, November 18th, at 23:55. The workshops details appear under 'Staff'. The first workshop will be held on Sunday (08/11). |
פורסם ב- 4/11/2020, 19:09:56 Created on 4/11/2020, 19:09:56 Создано 4/11/2020, 19:09:56 تم النشر ب- 4/11/2020, 19:09:56 |
Online Lectures | |
The link for watching the online lectures is: https://panoptotech.cloud.panopto.eu/Panopto/Pages/Sessions/List.aspx#folderID=%222f47ef9e-63e4-4e15-a3b0-ac4e007f9823%22 The uploaded lectures are organized by week numbers (we have already uploaded the lectures for the first two weeks). Inside each folder, you can use the 'Order' button in order to watch the lecture segments in the right order. |
פורסם ב- 26/10/2020, 17:58:54 Created on 26/10/2020, 17:58:54 Создано 26/10/2020, 17:58:54 تم النشر ب- 26/10/2020, 17:58:54 |
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 (there will be no tutorials on Wednesday, October 21st). 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. We wish you a fruitful and enjoyable semester, The course staff |
פורסם ב- 12/10/2020, 19:12:27 Created on 12/10/2020, 19:12:27 Создано 12/10/2020, 19:12:27 تم النشر ب- 12/10/2020, 19:12:27 |