Romy's reception hoyr today - Correction | |
|
Dear students, Romy's reception hour today will be held between 14:00-15:00 (NOT between 12:00-13:00, as previously published). It will be held at Taub 6. |
| פורסם ב-26/9/2023, 08:56:06 Created on 26/9/2023, 08:56:06 Создано26/9/2023, 08:56:06 تم النشر ب-26/9/2023, 08:56:06 |
Moed B | |
|
Dear students, Moed B will be held on Thursday, 28/09, 13:00-16:00. The exam covers all material taught throughout the course, except for the following material: Definability of Relations inside a Model (גדירות של יחסים במבנה). We will hold special reception hours before the exam: Sarai - Wednesday 20/09 10:00-11:00. Taub 9. Idan - Thursday 21/09 10:00-11:00. Taub 301. Romy - Tuesday 26/09 12:00-13:00. Taub 6. Waseem - Wednesday 27/09 9:00-10:00. zoom link: https://technion.zoom.us/j/91895997720 . Maor - Wednesday 27/09 15:00-16:00. Taub 6. You are requested to send your questions by email in advance (before the reception hour). Otherwise, your questions will not be answered. 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. Please send all of your administrative questions via your semester representative. Individual questions will not be answered. Good luck, Course staff |
| פורסם ב-18/9/2023, 20:40:00 Created on 18/9/2023, 20:40:00 Создано18/9/2023, 20:40:00 تم النشر ب-18/9/2023, 20:40:00 |
Moed A appeals | |
|
The exam appeals have been answered. The grades were updated accordingly. |
| פורסם ב-13/8/2023, 19:43:48 Created on 13/8/2023, 19:43:48 Создано13/8/2023, 19:43:48 تم النشر ب-13/8/2023, 19:43:48 |
Moed A - Appeals - Updated Instructions | |
|
If you would like to submit an appeal, please follow the instructions below (disregard previous instructions). The scans are available online. Instructions for appealing: - Appeals are submitted per question, and must be submitted as a separate PDF file under the "Assignments" tab using the appeal form (can be found under Material). If you appeal on multiple sections of a question, they can be included in the same PDF file. - Type your answer exactly as it appeared on the test, then explain why points were unnecessarily deducted. Make sure to type rather than scan your answer. Scans will be ignored. - Do not appeal the amount of points deducted. The points were deducted according to a specific scale. - In the case of an incorrect grade, there is no need to type your answer. It is sufficient to state your grade and the grade you think you should receive. Appeals of this type can be submitted to the appeal assignment of question 1. - Appeals should not be discussed with course staff. - All appeals must be submitted by 23:59 on 07.08. - Appeals that do not meet the above requirements will not be considered. course staff |
| עדכון אחרון ב-1/8/2023, 17:27:36 Last updated on 1/8/2023, 17:27:36 Последняя модификация1/8/2023, 17:27:36 تمت الحتلنة الأخيرة ب-1/8/2023, 17:27:36 |
Moed A Exam grades and Final grades are now online | |
|
Dear students, Moed A grades and final grades are now online. The graded scans can be found under the assignments tab. If you want to appeal, please follow these guidelines: 1. Appeals may be submitted until Friday, 04/08/23 at 19:00. No appeals will be accepted after this date. 2. Send your appeal by email to uwaseemmakhoulatgmail.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 for 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/2023, 19:01:41 Created on 31/7/2023, 19:01:41 Создано31/7/2023, 19:01:41 تم النشر ب-31/7/2023, 19:01:41 |
Waseem's reception hour tomorrow - Correction | |
|
Dear students, Waseem's reception hour tomorrow, 17/07 will be held at 10:30-11:30, via zoom: https://technion.zoom.us/j/99488262261 Contrary to the previous message, It will NOT be held at 12:30 at Taub 6. |
| עדכון אחרון ב-16/7/2023, 16:15:59 Last updated on 16/7/2023, 16:15:59 Последняя модификация16/7/2023, 16:15:59 تمت الحتلنة الأخيرة ب-16/7/2023, 16:15:59 |
Moed A | |
|
Dear students, Moed A will be held on Friday, 21/07, 9:00-12:00. The exam covers all material taught throughout the course, except for the following material: Definability of Relations inside a Model (גדירות של יחסים במבנה). We will hold special reception hours before the exam: Romy - Sunday 16/07 12:00-13:00. Taub 6. Yakir - Sunday 16/07 13:00-14:00. Taub 6. Waseem - Monday 17/07 12:30-13:30. Taub 6. Ishai - Monday 17/07 15:30-16:30. Taub 6. Idan - Tuesday 18/07 10:00-11:00. Taub 4. Sarai - Wednesday 19/07 10:30-11:30. Taub 4. Maor - Thursday 20/07 10:30-11:30. Taub 201. You are requested to send your questions by email in advance (before the reception hour). Otherwise, your questions will not be answered. 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. Please send all of your administrative questions via your semester representative. Individual questions will not be answered. Good luck, Course staff |
| עדכון אחרון ב-13/7/2023, 08:28:38 Last updated on 13/7/2023, 08:28:38 Последняя модификация13/7/2023, 08:28:38 تمت الحتلنة الأخيرة ب-13/7/2023, 08:28:38 |
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. |
| פורסם ב-5/7/2023, 12:24:05 Created on 5/7/2023, 12:24:05 Создано5/7/2023, 12:24:05 تم النشر ب-5/7/2023, 12:24:05 |
Reception Hours Tomorrow | |
|
Dear students, Waseem's reception hour tomorrow (14:30-15:30) is cancelled. This is a one-time change. Romy's reception hour tomorrow is moved to 17:30-18:30 (instead of 18:30-19:30), at Taub 301. This is a one-time change. |
| פורסם ב-26/6/2023, 16:00:47 Created on 26/6/2023, 16:00:47 Создано26/6/2023, 16:00:47 تم النشر ب-26/6/2023, 16:00:47 |
HW5 | |
|
HW5 was published under the 'Assignments' tab. The due date is Wednesday, July 5th, at 23:59. |
| פורסם ב-22/6/2023, 14:09:40 Created on 22/6/2023, 14:09:40 Создано22/6/2023, 14:09:40 تم النشر ب-22/6/2023, 14:09:40 |
Complementary Tutorial for Romy - Tomorrow | |
|
Dear students, Romy will hold a complementary tutorial tomorrow, Wednesday 14/06, between 12:30-13:30, at Taub 6. Regards, The course staff |
| פורסם ב-13/6/2023, 14:24:47 Created on 13/6/2023, 14:24:47 Создано13/6/2023, 14:24:47 تم النشر ب-13/6/2023, 14:24:47 |
Idan's Tutorial This Week | |
|
Dear students, Idan's tutorial this week on Thursday 08/06 is cancelled. Instead, Idan will hold a complementary tutorial this week on Wednesday 07/06, at 13:30-14:30, at Ulman 502. This is a one-time change. Idan's reception hour this week on Thursday 08/06 is cancelled. This is a one-time change. |
| פורסם ב-5/6/2023, 23:13:21 Created on 5/6/2023, 23:13:21 Создано5/6/2023, 23:13:21 تم النشر ب-5/6/2023, 23:13:21 |
Complementary Lecture - June 7 | |
|
Dear all, Since the strike is now over, we will hold a complementary lecture on the coming Wednesday @ 10:30 (two hours). Please make sure to watch the lectures for weeks 8 and 9. See you Wednesday! Yakir |
| פורסם ב-5/6/2023, 08:49:20 Created on 5/6/2023, 08:49:20 Создано5/6/2023, 08:49:20 تم النشر ب-5/6/2023, 08:49:20 |
HW4 | |
|
HW4 was published under the 'Assignments' tab. The due date is Wednesday, June 21st, at 23:59. |
| פורסם ב-1/6/2023, 22:25:11 Created on 1/6/2023, 22:25:11 Создано1/6/2023, 22:25:11 تم النشر ب-1/6/2023, 22:25:11 |
Ishai's Tutorial - Cancellation | |
|
Dear students, Ishai's tutorial this week, on Tuesday 30/05 is cancelled. This is a one-time change. Students of Ishai's group may attend the tutorials of other TAs this week. In addition, Ishai's reception hour tomorrow, on 29/05, is cancelled. This is one-time change. |
| פורסם ב-28/5/2023, 19:53:45 Created on 28/5/2023, 19:53:45 Создано28/5/2023, 19:53:45 تم النشر ب-28/5/2023, 19:53:45 |
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 |