HW3 | |
|
HW3 was published under the 'Assignments' tab. The due date is Wednesday, May 31st, at 23:59. |
| פורסם ב-18/5/2023, 14:55:11 Created on 18/5/2023, 14:55:11 Создано18/5/2023, 14:55:11 تم النشر ب-18/5/2023, 14:55:11 |
Complementary tutorials on Wednesday, May 10th | |
|
Dear students, Here is the schedule on the upcoming Wednesday, 10/05: Idan will hold a complementary tutorial on Wednesday 10/05, at 13:30-14:30, at Taub 4. Maor's tutorial on Wednesday 10/05 will be held at 12:30-13:30 (instead of 15:30-16:30), at Taub 8. This is a one-time change. Maor's reception hour on Wednesday 10/05 will be held at 9:30-10:30 (instead of 16:30-17:30), at Taub 201. This is a one-time change. |
| פורסם ב-8/5/2023, 14:21:38 Created on 8/5/2023, 14:21:38 Создано8/5/2023, 14:21:38 تم النشر ب-8/5/2023, 14:21:38 |
HW2 | |
|
HW2 was published under the 'Assignments' tab. The due date is Wednesday, May 17th, at 23:59. |
| פורסם ב-4/5/2023, 15:45:51 Created on 4/5/2023, 15:45:51 Создано4/5/2023, 15:45:51 تم النشر ب-4/5/2023, 15:45:51 |
Complementary tutorials on Wednesday, May 3rd | |
|
Dear students, The following complementary tutorials will be held on the upcoming Wednesday 03/05 : Romy will hold a complementary tutorial on Wednesday 03/05, at 12:30-13:30, at Taub 4. Ishai will hold a complementary tutorial on Wednesday 03/05, at 12:30-13:30, at Taub 5. |
| פורסם ב-1/5/2023, 18:40:10 Created on 1/5/2023, 18:40:10 Создано1/5/2023, 18:40:10 تم النشر ب-1/5/2023, 18:40:10 |
The schedule next week | |
|
Dear Students, Sarai's lecture on Sunday next week, 23/04 is cancelled. Instead, Sarai will hold a complementary lecture on Sunday 30/04. On Sunday 30/04, between 14:30-16:30, she will hold a lecture for Week 04 and week 05. So you are requested to watch the video lectures until week 05 before the lecture on 30/04. Please note that Monday next week, 24/04, will be in the format of Thursday, and Idan's tutorial on Monday 24/04 is cancelled. |
| עדכון אחרון ב-20/4/2023, 18:45:11 Last updated on 20/4/2023, 18:45:11 Последняя модификация20/4/2023, 18:45:11 تمت الحتلنة الأخيرة ب-20/4/2023, 18:45:11 |
HW1 and Workshops | |
|
HW1 was published under the 'Assignments' tab. The due date is Wednesday, May 3rd, at 23:59. 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 the 'Staff' tab. Under the 'Syllabus' tab, you may find the course schedule, which includes the publication dates and due dates for the upcoming homework. |
| פורסם ב-20/4/2023, 18:35:10 Created on 20/4/2023, 18:35:10 Создано20/4/2023, 18:35:10 تم النشر ب-20/4/2023, 18:35:10 |
Complementary lecture and tutorials on Wednesday 19/4 | |
|
Dear students, Yakir will hold a complementary lecture on the coming Wednesday. On Wednesday 19/04, between 10:30-12:30, he will hold a lecture for Week 03 and week 04. So you are requested to watch the video lectures until week 04 before the coming Wednesday lecture. In addition, the following complementary tutorials will be held: Romy will hold a complementary tutorial on Wednesday 19/04, at 12:30-13:30, at Taub 4. Maor will hold a complementary tutorial on Wednesday 19/04, at 12:30-13:30, at Taub 6. Idan will hold a complementary tutorial on Wednesday 19/04, at 13:30-14:30, at Taub 4. Please note that Maor's tutorial on Wednesday 19/04 at 15:30-16:30 will be held as usual. Please note that Romy's tutorial tomorrow (Tuesday, 18/04) is cancelled due to the Memorial Ceremony. |
| עדכון אחרון ב-17/4/2023, 08:56:31 Last updated on 17/4/2023, 08:56:31 Последняя модификация17/4/2023, 08:56:31 تمت الحتلنة الأخيرة ب-17/4/2023, 08:56:31 |
Sarai's lectures-notes; first-tutorial recording | |
|
Dear students, The following link contains the notes that Sarai writes down during the lecture classes: https://technionmail-my.sharepoint.com/:o:/g/personal/surke_technion_ac_il/EspIJFldqyhEsEi9a-Ro4BQBS7JUJpV3KMGJW9LtdLUjYQ?e=4Ej0hc It can also be found under the "links" tab. In addition, the recording of the first tutorial was uploaded. The recording was taken from the previous semester, since Waseem's tutorial last Monday did not take place (due to the strike). |
| עדכון אחרון ב-1/4/2023, 17:34:24 Last updated on 1/4/2023, 17:34:24 Последняя модификация1/4/2023, 17:34:24 تمت الحتلنة الأخيرة ب-1/4/2023, 17:34:24 |
Tutorials | |
|
Dear students, Each week we will publish a "tutorial handout" containing the definitions, theorems and exercises that will be taught in the upcoming tutorial. You may see it at the 'course material' section, under the 'tutorials' folder. It is highly recommended to print out the handout before each tutorial and bring it to class. Waseem's toturials will be held via Zoom (and will NOT be held in the classroom). You may find the Zoom link under the "staff" tab. They will be recorded and uploaded each week only after the last tutorial of the relevant week is held, at Thursday. They will be uploaded to the following link (also can be found under the "links" tab): https://panoptotech.cloud.panopto.eu/Panopto/Pages/Sessions/List.aspx?folderID=c7e74512-eb3c-4390-b201-afd1015b7c6a The tutorials of the rest of TAs will be held in the classrooms, as specified under the "staff" tab. |
| עדכון אחרון ב-27/3/2023, 00:49:44 Last updated on 27/3/2023, 00:49:44 Последняя модификация27/3/2023, 00:49:44 تمت الحتلنة الأخيرة ب-27/3/2023, 00:49:44 |
Online Lectures | |
|
Dear students, The following link contains the online lectures: https://panoptotech.cloud.panopto.eu/Panopto/Pages/Sessions/List.aspx?folderID=c7e74512-eb3c-4390-b201-afd1015b7c6a Starting from the second lecture, videos for the relevant lecture will be uploaded via the link, and you are required to watch them before the attending the relevant lecture in the classroom. The relevant videos for the second-week lecture are already uploaded, and you may find them via the link. |
| עדכון אחרון ב-27/3/2023, 00:50:41 Last updated on 27/3/2023, 00:50:41 Последняя модификация27/3/2023, 00:50:41 تمت الحتلنة الأخيرة ب-27/3/2023, 00:50:41 |
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: - All the tutorials during this week are cancelled. - The turorials will start taking place starting from March 27th. 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 |
| פורסם ב-21/3/2023, 00:38:41 Created on 21/3/2023, 00:38:41 Создано21/3/2023, 00:38:41 تم النشر ب-21/3/2023, 00:38:41 |