End of Semester Schedule | |
| Hello all, Lecture 11 (Definability) is pre-recorded and can be found on Panopto. Lectures 12 and 13 will be given in class and Zoom (and will be recorded). Topics: Lecture 12 - Normal Forms, Satisfiability and the Resolution Proof System in Propositional Logic. Lecture 13 - Automated Reasoning: Satisfiability in First Order Logic and how Logic is used to create correct programs/systems. |
| פורסם ב- 11/6/2021, 11:45:19 Created on 11/6/2021, 11:45:19 Создано 11/6/2021, 11:45:19 تم النشر ب- 11/6/2021, 11:45:19 |
A complementary tutorial for Shir's group | |
| Shir's tutorial this week (June 10th) is cancelled. She will hold a complementary tutorial (via her regular zoom link) on Sunday, June 13th, at 16:30. This is a one time change. |
| פורסם ב- 7/6/2021, 13:54:30 Created on 7/6/2021, 13:54:30 Создано 7/6/2021, 13:54:30 تم النشر ب- 7/6/2021, 13:54:30 |
Online classes | |
| All lectures, tutorials and workshops will be held only via Zoom this week. Asaf's link: https://technion.zoom.us/j/5201760342 The rest of the links appear under 'Staff'. |
| פורסם ב- 30/5/2021, 15:18:02 Created on 30/5/2021, 15:18:02 Создано 30/5/2021, 15:18:02 تم النشر ب- 30/5/2021, 15:18:02 |
HW3 | |
| HW3 was published under the 'Assignments' tab. The due date is Thursday, June 17th, at 23:55. |
| פורסם ב- 27/5/2021, 08:32:36 Created on 27/5/2021, 08:32:36 Создано 27/5/2021, 08:32:36 تم النشر ب- 27/5/2021, 08:32:36 |
Shir's tutorial | |
| Shir's tutorial today is cancelled (there will be no need in a complementary tutorial). This is a one time change. |
| פורסם ב- 27/5/2021, 08:29:02 Created on 27/5/2021, 08:29:02 Создано 27/5/2021, 08:29:02 تم النشر ب- 27/5/2021, 08:29:02 |
Online tutorials and workshops | |
| Asaf's and Gali's tutorials and workshops will be held only via Zoom this week. Asaf's link: https://technion.zoom.us/j/5201760342 Gali's link: https://technion.zoom.us/j/96626727779 This is a one time change. Yakir's lecture will be held as usual. |
| עדכון אחרון ב- 24/5/2021, 09:59:33 Last updated on 24/5/2021, 09:59:33 Последняя модификация 24/5/2021, 09:59:33 تمت الحتلنة الأخيرة ب- 24/5/2021, 09:59:33 |
Tutorial cancellations | |
| All Tuesday and Wednesday tutorials this week are cancelled (there will be no need in complementary tutorials). Shir's tutorial on Thursday and all workshops will be held as usual. |
| פורסם ב- 17/5/2021, 22:59:39 Created on 17/5/2021, 22:59:39 Создано 17/5/2021, 22:59:39 تم النشر ب- 17/5/2021, 22:59:39 |
Gali's and Waseem's workshops this week | |
| Gali's workshop tomorrow (May 10th) is cancelled. She will hold a complementary workshop on Wednesday (May 12th), at 11:30. Waseem's workshop on Thursday (May 13th) is cancelled. He will hold a complementary workshop on Thursday (May 20th), at 11:30 (right after his regular workshop). Both changes are one time changes. |
| פורסם ב- 9/5/2021, 19:54:02 Created on 9/5/2021, 19:54:02 Создано 9/5/2021, 19:54:02 تم النشر ب- 9/5/2021, 19:54:02 |
HW2 | |
| HW2 was published under the 'Assignments' tab. The due date is Thursday, May 27th, at 23:55. |
| פורסם ב- 6/5/2021, 22:56:39 Created on 6/5/2021, 22:56:39 Создано 6/5/2021, 22:56:39 تم النشر ب- 6/5/2021, 22:56:39 |
Today's Lecture (May 3) | |
| Hello all, Zoom got disconnected today when we discussed the third question. If anyone has questions, please let me know and we can set a time to discuss it. Also, in general, if you would like to use the reception hour on Monday @ 15:30, please make sure to notify me by Sunday evening. See you next week! Yakir |
| פורסם ב- 3/5/2021, 17:45:03 Created on 3/5/2021, 17:45:03 Создано 3/5/2021, 17:45:03 تم النشر ب- 3/5/2021, 17:45:03 |
A complementary tutorial for Omer's group | |
| Omer's tutorial this week (April 28th) is cancelled. He will hold a complementary tutorial (via his regular zoom link) on Sunday, May 2nd, at 16:30. This is a one time change. |
| פורסם ב- 26/4/2021, 13:30:04 Created on 26/4/2021, 13:30:04 Создано 26/4/2021, 13:30:04 تم النشر ب- 26/4/2021, 13:30:04 |
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'. |
| פורסם ב- 22/4/2021, 19:31:26 Created on 22/4/2021, 19:31:26 Создано 22/4/2021, 19:31:26 تم النشر ب- 22/4/2021, 19:31:26 |
HW1 | |
| HW1 was published under the 'Assignments' tab. The due date is Thursday, May 6th, at 23:55. |
| פורסם ב- 22/4/2021, 19:25:39 Created on 22/4/2021, 19:25:39 Создано 22/4/2021, 19:25:39 تم النشر ب- 22/4/2021, 19:25:39 |
Asaf's complementary tutorial | |
| Asaf will hold his complementary tutorial on Wednesday (21/04), at 13:30. The tutorial will be fully frontal, and will be held at Taub 5. Registration is still via the 13/04 link. *The tutorial on Tuesday will be held as usual* |
| פורסם ב- 18/4/2021, 11:05:11 Created on 18/4/2021, 11:05:11 Создано 18/4/2021, 11:05:11 تم النشر ب- 18/4/2021, 11:05:11 |
Asaf's complementary tutorial | |
| Asaf's complementary tutorial on Sunday (18/04) is cancelled. A new one will be published soon (his tutorial on Tuesday will be held as usual). |
| פורסם ב- 15/4/2021, 16:23:10 Created on 15/4/2021, 16:23:10 Создано 15/4/2021, 16:23:10 تم النشر ب- 15/4/2021, 16:23:10 |
Complementary tutorials | |
| Asaf, Waseem, Omer and Shir will hold complementary tutorials, instead of the ones cancelled this week. (Yakir's lectures and Gali's tutorials are held as usual). Asaf: Sunday 18/04 16:30-17:30. Taub 3 (please register via the 13/04 link). Waseem: Sunday 18/04 16:30-17:30, via his regular zoom link. Omer: Sunday 18/04 17:30-18:30, via his regular zoom link. Shir: Wednesday 21/04 12:30-13:30, via her regular zoom link. |
| עדכון אחרון ב- 10/4/2021, 18:38:24 Last updated on 10/4/2021, 18:38:24 Последняя модификация 10/4/2021, 18:38:24 تمت الحتلنة الأخيرة ب- 10/4/2021, 18:38:24 |
Online Lectures | |
| The link for watching the online lectures is: https://panoptotech.cloud.panopto.eu/Panopto/Pages/Sessions/List.aspx?folderID=5f876e8d-791a-414a-b45d-acf500aa9d5d The uploaded lectures are organized by week numbers (we have already uploaded the lectures for the first two weeks). The recorded tutorials will also be uploaded, by the end of each week. |
| עדכון אחרון ב- 28/3/2021, 19:10:48 Last updated on 28/3/2021, 19:10:48 Последняя модификация 28/3/2021, 19:10:48 تمت الحتلنة الأخيرة ب- 28/3/2021, 19:10:48 |
A complementary tutorial for the Tuesday groups | |
| Gali will hold a complementary tutorial for both Tuesday groups (instead of the ones cancelled this Tuesday) on Wednesday (24/03) at 12:30, via the following zoom link: https://technion.zoom.us/j/96626727779 |
| פורסם ב- 21/3/2021, 11:39:52 Created on 21/3/2021, 11:39:52 Создано 21/3/2021, 11:39:52 تم النشر ب- 21/3/2021, 11:39:52 |
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. 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 |
| פורסם ב- 15/3/2021, 16:18:35 Created on 15/3/2021, 16:18:35 Создано 15/3/2021, 16:18:35 تم النشر ب- 15/3/2021, 16:18:35 |