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 Wednesday (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. |
פורסם ב-25/10/2021, 16:15:17 Created on 25/10/2021, 16:15:17 Создано25/10/2021, 16:15:17 تم النشر ب-25/10/2021, 16:15:17 |
Moed B Exam grades and Final grades are now online | |
The scans will be available soon. If you want to appeal, please follow these guidelines: 1. Appeals may be submitted until Monday, 25/10/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. |
עדכון אחרון ב-19/10/2021, 11:02:21 Last updated on 19/10/2021, 11:02:21 Последняя модификация19/10/2021, 11:02:21 تمت الحتلنة الأخيرة ب-19/10/2021, 11:02:21 |
MOED MEYUHAD | |
All those who believe they are entitled to a MOED MEYUHAD, please follow Technion's instructions, as they appear in the following link: https://ugportal.technion.ac.il/forms/ |
פורסם ב-13/10/2021, 09:49:31 Created on 13/10/2021, 09:49:31 Создано13/10/2021, 09:49:31 تم النشر ب-13/10/2021, 09:49:31 |
Moed B | |
Moed B will be held on Tuesday 12/10, 13:00-15:30. The exam covers all material taught during the course, excluding lectures 12-13. Note that we decided not to include a bonus question about SAT. 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): Yakir - Wednesday 06/10 10:00-11:00. Taub 627. Shir - Thursday 07/10 09:30-10:30. Zoom link: https://technion.zoom.us/j/95744485324 Asaf - Thursday 07/10 16:00-17:00. Taub 641. Waseem - Sunday 10/10 10:00-11:00. Zoom link: https://technion.zoom.us/j/92248542516 Gali - Monday 11/10 11:00-12:00. Zoom link: https://technion.zoom.us/j/96626727779 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 |
פורסם ב-30/9/2021, 10:56:42 Created on 30/9/2021, 10:56:42 Создано30/9/2021, 10:56:42 تم النشر ب-30/9/2021, 10:56:42 |
Moed A appeals | |
The exam appeals have been answered. The grades will be submitted soon. |
פורסם ב-7/8/2021, 11:50:24 Created on 7/8/2021, 11:50:24 Создано7/8/2021, 11:50:24 تم النشر ب-7/8/2021, 11:50:24 |
Moed A Exam grades and Final grades are now online | |
The scans will be available next week. If you want to appeal, please follow these guidelines: 1. Appeals may be submitted until Sunday, 01/08/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. |
פורסם ב-22/7/2021, 17:19:57 Created on 22/7/2021, 17:19:57 Создано22/7/2021, 17:19:57 تم النشر ب-22/7/2021, 17:19:57 |
HW3 Grades | |
HW3 has been checked. Your grades are now visible on GR, and you can download your graded sheets with feedback via the HW tab. We wish you all good luck in the exams, and have a nice week. |
פורסם ב-10/7/2021, 15:26:50 Created on 10/7/2021, 15:26:50 Создано10/7/2021, 15:26:50 تم النشر ب-10/7/2021, 15:26:50 |
Moed A | |
Moed A will be held on Friday 16/07, 9:00-11:30. The exam covers all material taught during the course, excluding lectures 12-13. Note that we decided not to include a bonus question about SAT. 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): Shir - Thursday 08/07 09:30-10:30. Zoom link: https://technion.zoom.us/j/95744485324 Yakir - Monday 12/07 11:00-12:00. Taub 627. Asaf - Monday 12/07 16:00-17:00. Taub 646. Gali - Tuesday 13/07 11:00-12:00. Zoom link: https://technion.zoom.us/j/96626727779 Waseem - Wednesday 14/07 09:30-10:30. Zoom link: https://technion.zoom.us/j/92248542516 Omer - Thursday 15/07 17:00-18:00. Zoom link: https://technion.zoom.us/j/96005322556 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 |
עדכון אחרון ב-12/7/2021, 09:11:56 Last updated on 12/7/2021, 09:11:56 Последняя модификация12/7/2021, 09:11:56 تمت الحتلنة الأخيرة ب-12/7/2021, 09:11:56 |
HW5 | |
HW5 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. |
פורסם ב-1/7/2021, 15:08:49 Created on 1/7/2021, 15:08:49 Создано1/7/2021, 15:08:49 تم النشر ب-1/7/2021, 15:08:49 |
Gali's complementary workshop | |
Gali will hold her complementary workshop today at 14:30. |
פורסם ב-29/6/2021, 13:55:12 Created on 29/6/2021, 13:55:12 Создано29/6/2021, 13:55:12 تم النشر ب-29/6/2021, 13:55:12 |
Gali's workshop | |
Gali's workshop today is cancelled. A complementary workshop will be announced soon. |
פורסם ב-28/6/2021, 10:30:08 Created on 28/6/2021, 10:30:08 Создано28/6/2021, 10:30:08 تم النشر ب-28/6/2021, 10:30:08 |
Waseem's workshop | |
Waseem's workshop next week (July 1st) is cancelled. He will hold a complementary workshop tomorrow (June 24th), at 11:30 (right after his regular workshop). |
פורסם ב-23/6/2021, 20:18:18 Created on 23/6/2021, 20:18:18 Создано23/6/2021, 20:18:18 تم النشر ب-23/6/2021, 20:18:18 |
HW4 | |
HW4 was published under the 'Assignments' tab. The due date is Thursday, July 1st, at 23:55. |
פורסם ב-18/6/2021, 00:49:38 Created on 18/6/2021, 00:49:38 Создано18/6/2021, 00:49:38 تم النشر ب-18/6/2021, 00:49:38 |
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 |