
Moed A appeals | |
The exam appeals have been answered. The grades will be submitted soon. |
פורסם ב- 8/8/2022, 11:43:54 Created on 8/8/2022, 11:43:54 Создано 8/8/2022, 11:43:54 تم النشر ب- 8/8/2022, 11:43:54 |
Moed A scans | |
Moed A scans are now available. If you want to appeal, please follow these guidelines: 1. Appeals may be submitted until Thursday, 04/08/22 at 18:30. No appeals will be accepted after this date. 2. Send your appeal by email to usheffigaatgmail.com, as a plain text (avoid text files, Word files, PDFs and scans). There's no need to attach a copy of the exam. Remember to include your name and id number. 3. In the appeal, you should write, for each question you wish to appeal for, the reason of the appeal. Appeal only if you think we deducted points for a correct answer. Do not appeal if your answer is missing information or is not clear enough, since we used the same grading key for all students. Remember that in any case, we might recheck your entire exam. 4. An announcement will be published after ALL appeals are checked and answered. Please do not inquire about your appeal before you see such an announcement. |
עדכון אחרון ב- 31/7/2022, 18:06:34 Last updated on 31/7/2022, 18:06:34 Последняя модификация 31/7/2022, 18:06:34 تمت الحتلنة الأخيرة ب- 31/7/2022, 18:06:34 |
Moed A Exam grades and Final grades are now online | |
The scans will be available next week. |
פורסם ב- 28/7/2022, 14:17:06 Created on 28/7/2022, 14:17:06 Создано 28/7/2022, 14:17:06 تم النشر ب- 28/7/2022, 14:17:06 |
Moed A | |
Moed A will be held on Tuesday, 19/07, 13:00-16:00. The exam covers all material taught during the course. We will hold special reception hours before the exam (you are requested to send your questions by email in advance. Other questions will not be answered): Ishai - Tuesday 12/07 11:30-12:30. Taub 4. Idan - Wednesday 13/07 10:30-11:30. Taub 5. Yakir - Thursday 14/07 10:00-11:00. Taub 601. Sarai - Sunday 17/07 10:30-11:30. Zoom link: https://technion.zoom.us/my/sarai.sheinvald Shir - Sunday 17/07 12:30-13:30. Taub 5. Omer - Monday 18/07 12:30-13:30. Taub 642. You can find the Daf Ezer for the exam under the Course Material tab. The Daf Ezer will be included in the exam (do not bring it with you) and is the only material you are allowed to have with you during the exam. Send all of your administrative questions via your semester representative. Individual questions will not be answered. Good luck, Course staff |
עדכון אחרון ב- 18/7/2022, 12:12:53 Last updated on 18/7/2022, 12:12:53 Последняя модификация 18/7/2022, 12:12:53 تمت الحتلنة الأخيرة ب- 18/7/2022, 12:12:53 |
HW6 | |
HW6 and a partial solution were 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. |
פורסם ב- 1/7/2022, 10:01:38 Created on 1/7/2022, 10:01:38 Создано 1/7/2022, 10:01:38 تم النشر ب- 1/7/2022, 10:01:38 |
Yakir's lecture tomorrow | |
Yakir's lecture tomorrow, June 22nd, will be from 10:30 to 12:30. |
פורסם ב- 21/6/2022, 20:41:20 Created on 21/6/2022, 20:41:20 Создано 21/6/2022, 20:41:20 تم النشر ب- 21/6/2022, 20:41:20 |
Gal's workshop tomorrow | |
Gal will hold his workshop tomorrow (21/06) at 15:00 (instead of 18:00). This is a one time change. |
עדכון אחרון ב- 20/6/2022, 10:36:39 Last updated on 20/6/2022, 10:36:39 Последняя модификация 20/6/2022, 10:36:39 تمت الحتلنة الأخيرة ب- 20/6/2022, 10:36:39 |
HW5 | |
HW5 was published under the 'Assignments' tab. The due date is Wednesday, June 29th, at 23:59. |
פורסם ב- 19/6/2022, 20:06:35 Created on 19/6/2022, 20:06:35 Создано 19/6/2022, 20:06:35 تم النشر ب- 19/6/2022, 20:06:35 |
Omer's workshop tomorrow | |
Omer's workshop tomorrow (15/06) will be held at 14:30 instead of 16:30. His tutorial will be held as usual. This is a one time change. |
פורסם ב- 14/6/2022, 20:49:50 Created on 14/6/2022, 20:49:50 Создано 14/6/2022, 20:49:50 تم النشر ب- 14/6/2022, 20:49:50 |
Sarai's last lectures | |
Sarai will hold her last two lectures (lectures 12-13) this Sunday (19/06), at 14:30-16:30. Please make sure you watch the videos for lectures 12-13 before attending class. Sarai's lecture on 26/06 is cancelled. |
פורסם ב- 14/6/2022, 20:42:43 Created on 14/6/2022, 20:42:43 Создано 14/6/2022, 20:42:43 تم النشر ب- 14/6/2022, 20:42:43 |
Shir's workshop today | |
Shir's workshop today will be held only via Zoom. Link: https://technion.zoom.us/j/95744485324 This is a one time change. |
פורסם ב- 13/6/2022, 09:10:00 Created on 13/6/2022, 09:10:00 Создано 13/6/2022, 09:10:00 تم النشر ب- 13/6/2022, 09:10:00 |
Gal's next two workshops | |
Gal's next two workshops (on 07/06 and 14/06) will be held only via Zoom. Link: https://technion.zoom.us/j/95113997709 His tutorials will be held as usual (at Taub 9) |
פורסם ב- 6/6/2022, 19:41:04 Created on 6/6/2022, 19:41:04 Создано 6/6/2022, 19:41:04 تم النشر ب- 6/6/2022, 19:41:04 |
HW4 | |
HW4 was published under the 'Assignments' tab. The due date is Wednesday, June 15th, at 23:59. |
פורסם ב- 1/6/2022, 12:30:53 Created on 1/6/2022, 12:30:53 Создано 1/6/2022, 12:30:53 تم النشر ب- 1/6/2022, 12:30:53 |
Omer's workshop tomorrow | |
Omer's workshop tomorrow (24/05) will be held at 14:30 instead of 16:30. His tutorial will be held as usual. This is a one time change. |
פורסם ב- 24/5/2022, 15:51:27 Created on 24/5/2022, 15:51:27 Создано 24/5/2022, 15:51:27 تم النشر ب- 24/5/2022, 15:51:27 |
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 |