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 , 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 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 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.
|עדכון אחרון ב- 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 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 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 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 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
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).
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|
|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 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 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|
|עדכון אחרון ב- 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|
|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 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)
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!
|פורסם ב- 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|
|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 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|
|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|
|The link for watching the online lectures is:|
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!
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|