Idan's complementary tutorials | |
| This Wednesday (May 25th), at 12:30-14:30, Idan will hold two complementary tutorials (tutorials 7-8). The tutorials will be held at Taub 8. |
| פורסם ב- 22/5/2022, 15:32:55 Created on 22/5/2022, 15:32:55 Создано 22/5/2022, 15:32:55 تم النشر ب- 22/5/2022, 15:32:55 |
HW3 | |
| HW3 was published under the 'Assignments' tab. The due date is Wednesday, June 1st, at 23:59. |
| פורסם ב- 18/5/2022, 14:32:37 Created on 18/5/2022, 14:32:37 Создано 18/5/2022, 14:32:37 تم النشر ب- 18/5/2022, 14:32:37 |
Idan's tutorial and workshop tomorrow | |
| Idan's tutorial and workshop tomorrow are cancelled. A complementary tutorial will be announced soon. |
| פורסם ב- 16/5/2022, 18:40:01 Created on 16/5/2022, 18:40:01 Создано 16/5/2022, 18:40:01 تم النشر ب- 16/5/2022, 18:40:01 |
The course schedule for the next two weeks | |
| The schedule for the next two weeks is as follows: Sarai: Today, 14:30-15:30, Taub 2 (lecture 8, as usual) Sunday 22/05, 14:30-15:30, Taub 2 (lecture 9, as usual) Yakir: Wednesday 18/05, 10:30-11:30, Taub 7 (lecture 7, as usual) Wednesday 18/05, 11:30-12:30, Taub 7 (lecture 8, a complementary lecture) Wednesday 25/05, 10:30-11:30, Taub 7 (lecture 9, as usual) Shir: Tuesday 17/05, 09:30-10:30, Taub 3 (tutorial 7, as usual) Wednesday 18/05, 12:30-13:30, Taub 4 (tutorial 8, a complementary tutorial) Idan: Tuesday 17/05, 12:30-13:30, Taub 7 (tutorial 7, as usual) Wednesday 25/05, 12:30-13:30, Taub 8 (tutorial 8, a complementary tutorial) Gal: Wednesday 18/05, 09:30-10:30, Taub 9 (tutorial 6, as usual) Sunday 22/05, 16:30-17:30, Taub 8 (tutorial 7, a complementary tutorial) Wednesday 25/05, 09:30-10:30, Taub 9 (tutorial 8, as usual) Omer: Wednesday 18/05, 15:30-16:30, Taub 5 (tutorial 7, as usual) Wednesday 25/05, 15:30-16:30, Taub 5 (tutorial 8, as usual) Ishai: Thursday 19/05, 12:30-13:30, Ulman 802 (tutorial 7, as usual) Tuesday 24/05, 12:30-13:30, Ulman 802 (tutorial 8, Thursday's format) |
| פורסם ב- 15/5/2022, 09:45:20 Created on 15/5/2022, 09:45:20 Создано 15/5/2022, 09:45:20 تم النشر ب- 15/5/2022, 09:45:20 |
Gal's workshop today | |
| Gal's workshop today is cancelled. |
| פורסם ב- 10/5/2022, 09:24:30 Created on 10/5/2022, 09:24:30 Создано 10/5/2022, 09:24:30 تم النشر ب- 10/5/2022, 09:24:30 |
Sarai's lecture tomorrow will be held via Zoom as well | |
| Sarai's lecture tomorrow will be held at Taub 2 and via Zoom. Link: https://technion.zoom.us/my/sarai.sheinvald This is a one time change. |
| פורסם ב- 7/5/2022, 09:16:38 Created on 7/5/2022, 09:16:38 Создано 7/5/2022, 09:16:38 تم النشر ب- 7/5/2022, 09:16:38 |
Additional updates | |
| Omer's tutorial and workshop tomorrow will only be held via Zoom. Link: https://technion.zoom.us/j/9566863034 Idan's workshop on Tuesday will only be held via Zoom. Link: https://technion.zoom.us/j/95405187213 These are one-time changes. |
| פורסם ב- 1/5/2022, 20:58:40 Created on 1/5/2022, 20:58:40 Создано 1/5/2022, 20:58:40 تم النشر ب- 1/5/2022, 20:58:40 |
HW2 | |
| HW2 was published under the 'Assignments' tab. The due date is Wednesday, May 18th, at 23:59. |
| פורסם ב- 1/5/2022, 19:47:39 Created on 1/5/2022, 19:47:39 Создано 1/5/2022, 19:47:39 تم النشر ب- 1/5/2022, 19:47:39 |
Sarai's lecture next week | |
| Sarai's lecture on Sunday (01/05, 14:30-15:30) will be held only via Zoom. Link: https://technion.zoom.us/my/sarai.sheinvald This is a one time change. |
| עדכון אחרון ב- 28/4/2022, 12:34:43 Last updated on 28/4/2022, 12:34:43 Последняя модификация 28/4/2022, 12:34:43 تمت الحتلنة الأخيرة ب- 28/4/2022, 12:34:43 |
Next week's schedule | |
| The course schedule for next week is as follows: Sarai: Sunday 01/05, 14:30-15:30, Taub 2 (as usual) Gal: Monday 02/05, 09:30-10:30, Taub 9 (Wednesday's format) Yakir: Monday 02/05, 10:30-11:30, Taub 7 (Wednesday's format) Idan: Monday 02/05, 12:30-13:30, Taub 4 (a complementary tutorial) Omer: Monday 02/05, 15:30-16:30, Taub 5 (Wednesday's format) Shir: Tuesday 03/05, 09:30-10:30, Taub 3 (as usual) |
| פורסם ב- 26/4/2022, 11:53:29 Created on 26/4/2022, 11:53:29 Создано 26/4/2022, 11:53:29 تم النشر ب- 26/4/2022, 11:53:29 |
Today's Lecture will be held via Zoom as well | |
| Today's Lecture will be held at Taub 2 and via Zoom. Link: https://technion.zoom.us/my/sarai.sheinvald This is a one time change. |
| פורסם ב- 10/4/2022, 10:46:41 Created on 10/4/2022, 10:46:41 Создано 10/4/2022, 10:46:41 تم النشر ب- 10/4/2022, 10:46:41 |
HW1 and workshops | |
| HW1 was published under the 'Assignments' tab. This HW is NOT for submission, and we are not going to check it. However, it is highly recommended that you solve it. ---------------------------------------------------------------------------------------------- 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'. |
| פורסם ב- 7/4/2022, 16:03:25 Created on 7/4/2022, 16:03:25 Создано 7/4/2022, 16:03:25 تم النشر ب- 7/4/2022, 16:03:25 |
Omer's tutorial on Wednesday | |
| Omer's tutorial on Wednesday (30/03 at 15:30) will be held via zoom. Link: https://technion.zoom.us/s/3415933311 This is a one time change. |
| פורסם ב- 28/3/2022, 14:44:48 Created on 28/3/2022, 14:44:48 Создано 28/3/2022, 14:44:48 تم النشر ب- 28/3/2022, 14:44:48 |
Sarai's lecture today | |
| Sarai's lecture today will be held at 15:30-16:30 (instead of 14:30-15:30). This is a one time change. Please make sure you watch the videos for lecture 2 before attending the lecture. We realize this is a short notice, and apologize for any inconvenience caused. |
| פורסם ב- 27/3/2022, 12:38:27 Created on 27/3/2022, 12:38:27 Создано 27/3/2022, 12:38:27 تم النشر ب- 27/3/2022, 12:38:27 |
Online Lectures | |
| The link for watching the online lectures is: https://panoptotech.cloud.panopto.eu/Panopto/Pages/Sessions/List.aspx?folderID=4174200a-c219-4063-99a6-ae6100ad26a5 The uploaded lectures are organized by week numbers. |
| פורסם ב- 27/3/2022, 10:31:15 Created on 27/3/2022, 10:31:15 Создано 27/3/2022, 10:31:15 تم النشر ب- 27/3/2022, 10:31:15 |
Today's Lecture will be on Zoom as well | |
| Due to a few requests, today's lecture will be on Zoom (as well as in class): https://technion.zoom.us/j/92214964614 |
| פורסם ב- 23/3/2022, 10:27:01 Created on 23/3/2022, 10:27:01 Создано 23/3/2022, 10:27:01 تم النشر ب- 23/3/2022, 10:27:01 |
Sarai's lectures | |
| From now on, Sarai's lectures will be held on Sunday, 14:30-15:30, at Taub 2. |
| פורסם ב- 21/3/2022, 20:10:42 Created on 21/3/2022, 20:10:42 Создано 21/3/2022, 20:10:42 تم النشر ب- 21/3/2022, 20:10:42 |
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. First week announcements: - Sarai's first lecture will be held on Sunday, 20/03, 14:30-16:30, at Taub 2. - Yakir's first lecture will be held on Wednesday, 23/03, 10:30-12:30, at Taub 7. - The first tutorial will take place after Yakir's first lecture: * Both tutorials on Tuesday, 22/03, and Gal's tutorial on Wednesday (23/03 at 9:30) are cancelled. * Omer's tutorial on Wednesday (23/03 at 15:30) and Ishai's tutorial on Thursday (24/03 at 12:30) will be held as usual. 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/3/2022, 17:29:52 Last updated on 17/3/2022, 17:29:52 Последняя модификация 17/3/2022, 17:29:52 تمت الحتلنة الأخيرة ب- 17/3/2022, 17:29:52 |