The exam appeals and Moed C | |
The exam appeals have been answered. The grades will be submitted soon. All students who weren't able to attend the final exam due to reserve duty, should send an email to Gali before April 5th (even if you've already done that). Please include your id number, full name and a confirmation (for doing it in practice) from your unit. |
פורסם ב-28/3/2021, 19:43:49 Created on 28/3/2021, 19:43:49 Создано28/3/2021, 19:43:49 تم النشر ب-28/3/2021, 19:43:49 |
Moed B Exam grades and Final grades are now online | |
The scans should be available soon. If you want to appeal, please follow these guidelines: 1. Appeals may be submitted until Wednesday, 24.3.21 at 23:59. 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. |
פורסם ב-19/3/2021, 18:48:08 Created on 19/3/2021, 18:48:08 Создано19/3/2021, 18:48:08 تم النشر ب-19/3/2021, 18:48:08 |
Interviews | |
The following, please join the following Zoom room: https://technion.zoom.us/j/95341429574 204122246 209402056 319126769 322560517 315765974 212324313 |
פורסם ב-10/3/2021, 14:25:25 Created on 10/3/2021, 14:25:25 Создано10/3/2021, 14:25:25 تم النشر ب-10/3/2021, 14:25:25 |
The Exam File | |
Dear students, The exam was published under the 'Course Material' tab. The password will be given to you by your room supervisor. Good luck, The course staff |
פורסם ב-10/3/2021, 12:48:35 Created on 10/3/2021, 12:48:35 Создано10/3/2021, 12:48:35 تم النشر ب-10/3/2021, 12:48:35 |
The exam tomorrow | |
Dear students, Please join your room tomorrow around 12:15. If there are any issues, you can join the following Zoom room: https://technion.zoom.us/j/95341429574 Good luck, The course staff |
פורסם ב-9/3/2021, 17:44:21 Created on 9/3/2021, 17:44:21 Создано9/3/2021, 17:44:21 تم النشر ب-9/3/2021, 17:44:21 |
Moed B guidlines | |
Dear students, If you wish to attend the exam, please register as soon as possible (following the instructions published by undergraduate studies). The course staff is not in charge of the exam registration, and we won't be able to help you attend the exam if you aren't registered. Notice that if you are registered, you can eventually choose not to attend the exam. Additionally, please take a few moments to carefully read the logic-winter2021-info.pdf file, which appears under the 'Course Material' tab. Send all of your administrative questions via your semester representative. Individual questions will not be answered. Good luck, The course staff |
פורסם ב-4/3/2021, 10:06:12 Created on 4/3/2021, 10:06:12 Создано4/3/2021, 10:06:12 تم النشر ب-4/3/2021, 10:06:12 |
Moed B | |
Dear students, Moed B will be held online on Wednesday, March 10th, 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 - Wednesday 03/03 09:00-10:00. Link: https://technion.zoom.us/j/97579734876 Adar - Sunday 07/03 11:00-12:00. Link: https://technion.zoom.us/j/97045599742 Gali - Monday 08/03 09:30-10:30. Link: https://technion.zoom.us/j/91013989005 Omer - Tuesday 09/03 18:00-19:00. https://technion.zoom.us/j/96005322556 You are requested to send your questions by email in advance. Other questions will not be answered. Good luck, The course staff |
עדכון אחרון ב-9/3/2021, 18:00:25 Last updated on 9/3/2021, 18:00:25 Последняя модификация9/3/2021, 18:00:25 تمت الحتلنة الأخيرة ب-9/3/2021, 18:00:25 |
Moed A appeals | |
The exam appeals have been answered. The grades will be submitted soon. |
פורסם ב-19/2/2021, 19:01:24 Created on 19/2/2021, 19:01:24 Создано19/2/2021, 19:01:24 تم النشر ب-19/2/2021, 19:01:24 |
Moed A Exam grades and Final grades are now online | |
The scans should be available soon. If you want to appeal, please follow these guidelines: 1. Appeals may be submitted until Friday, 19.2.21 at 12:00 (noon). 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. |
פורסם ב-15/2/2021, 08:53:20 Created on 15/2/2021, 08:53:20 Создано15/2/2021, 08:53:20 تم النشر ب-15/2/2021, 08:53:20 |
Interviews | |
The following, please join the following Zoom room: https://technion.zoom.us/j/95341429574 205928211 206978140 207636663 208529479 209626076 212234140 308021054 315534743 316629070 318332087 321166621 329066526 |
פורסם ב-7/2/2021, 14:31:52 Created on 7/2/2021, 14:31:52 Создано7/2/2021, 14:31:52 تم النشر ب-7/2/2021, 14:31:52 |
The Exam File | |
Dear students, The exam was published under the 'Course Material' tab. The password will be given to you by your room supervisor. Good luck, The course staff |
פורסם ב-7/2/2021, 12:54:15 Created on 7/2/2021, 12:54:15 Создано7/2/2021, 12:54:15 تم النشر ب-7/2/2021, 12:54:15 |
The exam tomorrow | |
Dear students, Please take a few moments to carefully read the logic-winter2021-exam-A-info.pdf file again (it was published under 'Course Material'). Make sure you have a room assignment, and join your room tomorrow around 12:15. If there are any issues, you can join the following Zoom room: https://technion.zoom.us/j/95341429574 Good luck, The course staff |
פורסם ב-6/2/2021, 19:20:56 Created on 6/2/2021, 19:20:56 Создано6/2/2021, 19:20:56 تم النشر ب-6/2/2021, 19:20:56 |
Moed A reception hours | |
The updated schedule is as follows: 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 Waseem - Tuesday 02/02 11:30-12:30. Link: https://technion.zoom.us/j/96971992864 Gali - Wednesday 03/02 09:30-10:30. Link: https://technion.zoom.us/j/91013989005 Gali - Thursday 04/02 09:30-10:30. Link: https://technion.zoom.us/j/91013989005 Notice that you are requested to send your questions by email in advance. Other questions will not be answered. |
פורסם ב-28/1/2021, 15:45:53 Created on 28/1/2021, 15:45:53 Создано28/1/2021, 15:45:53 تم النشر ب-28/1/2021, 15:45:53 |
Moed A guidelines | |
Please take a few moments to carefully read the logic-winter2021-exam-A-info.pdf file, which appears under the 'Course Material' tab. Send all of your administrative questions via your semester representative. Individual questions will not be answered. If you have any questions regarding the exam registration, please contact Ortal (uortalamatcs.technion.ac.il). |
פורסם ב-28/1/2021, 13:04:39 Created on 28/1/2021, 13:04:39 Создано28/1/2021, 13:04:39 تم النشر ب-28/1/2021, 13:04:39 |
HW6 | |
HW6 and its 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. |
פורסם ב-27/1/2021, 15:30:25 Created on 27/1/2021, 15:30:25 Создано27/1/2021, 15:30:25 تم النشر ب-27/1/2021, 15:30:25 |
Lecture 13 recording | |
The recording for lecture 13 is available, and contains an additional refinement to the intuition for the non-definability that we saw (roughly at minute 46:00). |
פורסם ב-26/1/2021, 12:47:35 Created on 26/1/2021, 12:47:35 Создано26/1/2021, 12:47:35 تم النشر ب-26/1/2021, 12:47:35 |
Lecture 13 | |
In the "material" tab, you can find a file with a skeleton for taking notes for lecture 13. |
עדכון אחרון ב-24/1/2021, 09:24:02 Last updated on 24/1/2021, 09:24:02 Последняя модификация24/1/2021, 09:24:02 تمت الحتلنة الأخيرة ب-24/1/2021, 09:24:02 |
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 |